plutus.json

{
  "preamble": {
    "title": "aiken-lang/aquariumv3",
    "description": "Aiken contracts for project 'aiken-lang/aquariumv3'",
    "version": "0.0.0",
    "plutusVersion": "v3",
    "compiler": {
      "name": "Aiken",
      "version": "v1.1.2+7047c77"
    },
    "license": "Apache-2.0"
  },
  "validators": [
    {
      "title": "parameters.parameters.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/parameters~1DatumParameters"
        }
      },
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/parameters~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "tx0",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "index0",
          "schema": {
            "$ref": "#/definitions/Int"
          }
        }
      ],
      "compiledCode": "5905c501010032323232323232232232253330063232323232323232323232323232323232325333018300a00d1323232330040121533301b300a301c375400226464a66603a6018603c6ea80044c8c94ccc07cc038c080dd500089919299981099b8748010c088dd5000899912999811980918121baa0011323232323232533302c302f002153330293018302a3754002264646464a666060606600426601800626464a66605e603c00226464a666068606e00426464a666066604400226464a66607060760042660280022a0082c6072002606a6ea800c54ccc0ccc0940044c8c8c8c8c8c94ccc0f0c0fc0085402058dd6981e800981e8011bad303b001303b002375a6072002606a6ea800c58c0ccdd50010a8020b181a80098189baa0031533302f302100115333032303137540062a0042c2c605e6ea80084c94ccc0b8c080c0bcdd5000899299981799baf301930313754603260626ea8048c064c0c4dd50080a99981799baf301b30313754603260626ea8048c06cc0c4dd50080a99981799198008009bac3035303630363036303630363036303630363032375405244a66606800229404c94ccc0c8cdc79bae303700201714a2266006006002606e002260426660406eacc064c0c4dd5180c98189baa0120014890a706172616d65746572730014a029405281bae3033303037540022c6032605e6ea8c064c0bcdd5180b98179baa0101630310013031002302f001302b37540022c2c605a002605a0046eb8c0ac004c0ac008dd6981480098129baa00116223253330243013001132325333029302c0021500416375c6054002604c6ea800c54ccc090c0580044c8c94ccc0a4c0b00085401058dd7181500098131baa0031630243754004604c60466ea800458c040c088dd5000981218109baa001163300b3758601c60406ea805d20003022301f37540022c6600e6eb0c020c078dd500a8019bae3005301d37546040603a6ea800458c07cc080008c078004c068dd50070a99980c180380689919801008099299980d1804980d9baa00113232533301c300b301d37546600e6eb0c020c078dd500a9808198101ba901a33020375003097ae01533301c3375e6010603c6ea8c020c078dd5001000899299980e9807991980080099299980f980898101baa00114bd6f7b63009bab302430213754002660226eacc008c080dd500b8031129998110008a4000266e0120023300200230250011533301d300f33300e3756600e603e6ea800c0152210a706172616d6574657273001300f33300e37566002603e6ea80580152210a706172616d65746572730014a029408c088c08cc08cc08cc08c0045280b19ba548008cc07cdd4801a5eb80c07cc070dd50008b198031bac3009301b375402490001bae301d301a375401c2c44a666032601060346ea80084c8c94ccc078c0840085400c58dd6980f800980d9baa002162301c301d00122323300100100322533301c00114c0103d87a800013232533301b3375e600e603a6ea80080144c03ccc07c0092f5c02660080080026040004603c002460340026002002444a6660300042980103d87a800013232533301730060031300b3301b0024bd70099980280280099b8000348004c07000cc068008dc3a40004602c602e602e00244464a666026600a60286ea8004520001375a6030602a6ea8004c94ccc04cc014c050dd50008a6103d87a80001323300100137566032602c6ea8008894ccc060004530103d87a80001323232325333019337220100042a66603266e3c0200084c034cc074dd4000a5eb80530103d87a8000133006006003375a60340066eb8c060008c070008c068004cc01400c008dc3a400444646600200200644a666028002298103d87a800013232323253330153372200e0042a66602a66e3c01c0084c024cc064dd3000a5eb80530103d87a80001330060060033756602c0066eb8c050008c060008c058004dd2a400060186ea8004c03cc040008c038004c038008c030004c020dd50008a4c26cac6eb4004dd7000ab9a5573aaae7955cfaba05742ae881",
      "hash": "58e39d5b140c694e7dbd831e9c27be0d1d7d2fb8a9dca85ba08481c6"
    },
    {
      "title": "parameters.parameters.mint",
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/parameters~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "tx0",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "index0",
          "schema": {
            "$ref": "#/definitions/Int"
          }
        }
      ],
      "compiledCode": "5905c501010032323232323232232232253330063232323232323232323232323232323232325333018300a00d1323232330040121533301b300a301c375400226464a66603a6018603c6ea80044c8c94ccc07cc038c080dd500089919299981099b8748010c088dd5000899912999811980918121baa0011323232323232533302c302f002153330293018302a3754002264646464a666060606600426601800626464a66605e603c00226464a666068606e00426464a666066604400226464a66607060760042660280022a0082c6072002606a6ea800c54ccc0ccc0940044c8c8c8c8c8c94ccc0f0c0fc0085402058dd6981e800981e8011bad303b001303b002375a6072002606a6ea800c58c0ccdd50010a8020b181a80098189baa0031533302f302100115333032303137540062a0042c2c605e6ea80084c94ccc0b8c080c0bcdd5000899299981799baf301930313754603260626ea8048c064c0c4dd50080a99981799baf301b30313754603260626ea8048c06cc0c4dd50080a99981799198008009bac3035303630363036303630363036303630363032375405244a66606800229404c94ccc0c8cdc79bae303700201714a2266006006002606e002260426660406eacc064c0c4dd5180c98189baa0120014890a706172616d65746572730014a029405281bae3033303037540022c6032605e6ea8c064c0bcdd5180b98179baa0101630310013031002302f001302b37540022c2c605a002605a0046eb8c0ac004c0ac008dd6981480098129baa00116223253330243013001132325333029302c0021500416375c6054002604c6ea800c54ccc090c0580044c8c94ccc0a4c0b00085401058dd7181500098131baa0031630243754004604c60466ea800458c040c088dd5000981218109baa001163300b3758601c60406ea805d20003022301f37540022c6600e6eb0c020c078dd500a8019bae3005301d37546040603a6ea800458c07cc080008c078004c068dd50070a99980c180380689919801008099299980d1804980d9baa00113232533301c300b301d37546600e6eb0c020c078dd500a9808198101ba901a33020375003097ae01533301c3375e6010603c6ea8c020c078dd5001000899299980e9807991980080099299980f980898101baa00114bd6f7b63009bab302430213754002660226eacc008c080dd500b8031129998110008a4000266e0120023300200230250011533301d300f33300e3756600e603e6ea800c0152210a706172616d6574657273001300f33300e37566002603e6ea80580152210a706172616d65746572730014a029408c088c08cc08cc08cc08c0045280b19ba548008cc07cdd4801a5eb80c07cc070dd50008b198031bac3009301b375402490001bae301d301a375401c2c44a666032601060346ea80084c8c94ccc078c0840085400c58dd6980f800980d9baa002162301c301d00122323300100100322533301c00114c0103d87a800013232533301b3375e600e603a6ea80080144c03ccc07c0092f5c02660080080026040004603c002460340026002002444a6660300042980103d87a800013232533301730060031300b3301b0024bd70099980280280099b8000348004c07000cc068008dc3a40004602c602e602e00244464a666026600a60286ea8004520001375a6030602a6ea8004c94ccc04cc014c050dd50008a6103d87a80001323300100137566032602c6ea8008894ccc060004530103d87a80001323232325333019337220100042a66603266e3c0200084c034cc074dd4000a5eb80530103d87a8000133006006003375a60340066eb8c060008c070008c068004cc01400c008dc3a400444646600200200644a666028002298103d87a800013232323253330153372200e0042a66602a66e3c01c0084c024cc064dd3000a5eb80530103d87a80001330060060033756602c0066eb8c050008c060008c058004dd2a400060186ea8004c03cc040008c038004c038008c030004c020dd50008a4c26cac6eb4004dd7000ab9a5573aaae7955cfaba05742ae881",
      "hash": "58e39d5b140c694e7dbd831e9c27be0d1d7d2fb8a9dca85ba08481c6"
    },
    {
      "title": "parameters.parameters.else",
      "parameters": [
        {
          "title": "tx0",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "index0",
          "schema": {
            "$ref": "#/definitions/Int"
          }
        }
      ],
      "compiledCode": "5905c501010032323232323232232232253330063232323232323232323232323232323232325333018300a00d1323232330040121533301b300a301c375400226464a66603a6018603c6ea80044c8c94ccc07cc038c080dd500089919299981099b8748010c088dd5000899912999811980918121baa0011323232323232533302c302f002153330293018302a3754002264646464a666060606600426601800626464a66605e603c00226464a666068606e00426464a666066604400226464a66607060760042660280022a0082c6072002606a6ea800c54ccc0ccc0940044c8c8c8c8c8c94ccc0f0c0fc0085402058dd6981e800981e8011bad303b001303b002375a6072002606a6ea800c58c0ccdd50010a8020b181a80098189baa0031533302f302100115333032303137540062a0042c2c605e6ea80084c94ccc0b8c080c0bcdd5000899299981799baf301930313754603260626ea8048c064c0c4dd50080a99981799baf301b30313754603260626ea8048c06cc0c4dd50080a99981799198008009bac3035303630363036303630363036303630363032375405244a66606800229404c94ccc0c8cdc79bae303700201714a2266006006002606e002260426660406eacc064c0c4dd5180c98189baa0120014890a706172616d65746572730014a029405281bae3033303037540022c6032605e6ea8c064c0bcdd5180b98179baa0101630310013031002302f001302b37540022c2c605a002605a0046eb8c0ac004c0ac008dd6981480098129baa00116223253330243013001132325333029302c0021500416375c6054002604c6ea800c54ccc090c0580044c8c94ccc0a4c0b00085401058dd7181500098131baa0031630243754004604c60466ea800458c040c088dd5000981218109baa001163300b3758601c60406ea805d20003022301f37540022c6600e6eb0c020c078dd500a8019bae3005301d37546040603a6ea800458c07cc080008c078004c068dd50070a99980c180380689919801008099299980d1804980d9baa00113232533301c300b301d37546600e6eb0c020c078dd500a9808198101ba901a33020375003097ae01533301c3375e6010603c6ea8c020c078dd5001000899299980e9807991980080099299980f980898101baa00114bd6f7b63009bab302430213754002660226eacc008c080dd500b8031129998110008a4000266e0120023300200230250011533301d300f33300e3756600e603e6ea800c0152210a706172616d6574657273001300f33300e37566002603e6ea80580152210a706172616d65746572730014a029408c088c08cc08cc08cc08c0045280b19ba548008cc07cdd4801a5eb80c07cc070dd50008b198031bac3009301b375402490001bae301d301a375401c2c44a666032601060346ea80084c8c94ccc078c0840085400c58dd6980f800980d9baa002162301c301d00122323300100100322533301c00114c0103d87a800013232533301b3375e600e603a6ea80080144c03ccc07c0092f5c02660080080026040004603c002460340026002002444a6660300042980103d87a800013232533301730060031300b3301b0024bd70099980280280099b8000348004c07000cc068008dc3a40004602c602e602e00244464a666026600a60286ea8004520001375a6030602a6ea8004c94ccc04cc014c050dd50008a6103d87a80001323300100137566032602c6ea8008894ccc060004530103d87a80001323232325333019337220100042a66603266e3c0200084c034cc074dd4000a5eb80530103d87a8000133006006003375a60340066eb8c060008c070008c068004cc01400c008dc3a400444646600200200644a666028002298103d87a800013232323253330153372200e0042a66602a66e3c01c0084c024cc064dd3000a5eb80530103d87a80001330060060033756602c0066eb8c050008c060008c058004dd2a400060186ea8004c03cc040008c038004c038008c030004c020dd50008a4c26cac6eb4004dd7000ab9a5573aaae7955cfaba05742ae881",
      "hash": "58e39d5b140c694e7dbd831e9c27be0d1d7d2fb8a9dca85ba08481c6"
    },
    {
      "title": "staker.staker.spend",
      "datum": {
        "title": "_datum",
        "schema": {
          "$ref": "#/definitions/staker~1Datum"
        }
      },
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/staker~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "params_contract_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_asset",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590711010100323232323232322322322322533300832323232323232323232323232323232323232533301b300800e132323233004013132533301f30083020375400226464a666042601c60446ea80044c8c8c94ccc090c044c094dd50008a501325333025300e30263754002264a66604c601e604e6ea80044c94ccc09d4ccc09cc040ccc04cdd5980918149baa30123029375401000c00226602e6eb0c060c0a4dd500f0008a5014a2266e1cccc04cdd5980c98149baa01e0060013370490008029bae302b302837540022c6054604e6ea8004528181498131baa001300e30253754601a604a6ea8c038c094dd5002191998008009bac300d3025375403490001112999814001080089998018019815801299981299baf300f302737546020604e6ea8c0a8008c03cc09cdd5180818139baa006133700002900108009bae3026302337540022c601460446ea8c028c088dd5180598111baa0013024302137540022c64660020026eb0c024c084dd500b1129998118008a6103d87a80001323253330223375e601860486ea80080184c044cc0980092f5c0266008008002604e004604a002604460460046042002603a6ea803c54ccc06cc0100384c8cc0080444c8c8c94ccc07cc020c080dd50008991919299981119b8748010c08cdd50008992999811980618121baa0011323232323232533302c302f00213301000113232533302b3014302c3754002264a666058602a605a6ea80044c94ccc0b4c058c0b8dd5000899192999817980c18181baa00113232323232325333035533303530223001330043756604e606e6ea80b006854ccc0d4cdc41998109bab30273037375405803401090000998129bac30263037375405801029405280a51153330353375e603e606e6ea801801454ccc0d4cdc48061998109bab30203037375400c06205e2a66606a60446002660086eacc09cc0dcdd501600d0a99981a98111998109bab30203037375400c0340102a66606a60446660426eacc09cc0dcdd501600d0040a99981a998129bac302630373754058010260446660426eacc080c0dcdd51810181b9baa0160334890a706172616d65746572730014a029405280a5014a029408c008004c004004894ccc0dc00452000133700900119801001181d0009119299981a1810981a9baa00114bd6f7b63009bab30393036375400266042004002603e6606866e95200233034375202a97ae033034301b30323754603460646ea80952f5c0606860626ea800458cc044dd6180718181baa02548000dd7181918179baa001163031302e37540022c6060605a6ea800458c054c0b0dd5180a18161baa01f375a602660566ea801c58c0b4004c0b4008dd7181580098158011bad3029001302537540022c604e60486ea800458c004c08cdd5180618119baa00223026302730270013024302137540022c660026eb0c024c080dd500aa40006002002444a6660440042980103d87a8000132325333021300a00313010330250024bd70099980280280099b8000348004c09800cc090008dd71810180e9baa00f1622533301c3005301d375400426464a666042604800426600a0022a0062c6044002603c6ea800858894ccc06cc010c070dd50010991919192999811181280109980380189919299981098050008991929998131814801099192999812980700089919299981518168010998078008a8020b181580098139baa0031533302530120011323232323232533302e30310021500816375a605e002605e0046eb4c0b4004c0b4008dd6981580098139baa00316302537540042a0082c604e00260466ea800c54ccc084c03800454ccc090c08cdd50018a8010b0b18109baa0021500516302300130230023021001301d37540042c4464a666036600800226464a66604060460042a0082c6eb8c084004c074dd50018a99980d980400089919299981018118010a8020b1bae3021001301d37540062c60366ea8008dc3a40004603800246036603800244464a666030600a60326ea8004520001375a603a60346ea8004c94ccc060c014c064dd50008a60103d87a8000132330010013756603c60366ea8008894ccc074004530103d87a8000132323232533301e337220100042a66603c66e3c0200084c034cc088dd4000a5eb80530103d87a8000133006006003375a603e0066eb8c074008c084008c07c004cc01400c008dc3a400444646600200200644a666032002298103d87a8000132323232533301a3372200e0042a66603466e3c01c0084c024cc078dd3000a5eb80530103d87a8000133006006003375660360066eb8c064008c074008c06c004dd2a400044646600200200644a66602e00229404c94ccc054cdc79bae301a00200414a226600600600260340024602a602c602c602c602c602c602c602c602c00246028602a602a602a602a002601c6ea8004c044c048008c040004c040008c038004c028dd50008a4c26cac6eb8004dd70009bae0015734aae7555cf2ab9f5740ae855d11",
      "hash": "b3eac9bb4c3d0cc7f0c43df417566f14449b6b334633bff9fc9ab535"
    },
    {
      "title": "staker.staker.mint",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/staker~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "params_contract_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_asset",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590711010100323232323232322322322322533300832323232323232323232323232323232323232533301b300800e132323233004013132533301f30083020375400226464a666042601c60446ea80044c8c8c94ccc090c044c094dd50008a501325333025300e30263754002264a66604c601e604e6ea80044c94ccc09d4ccc09cc040ccc04cdd5980918149baa30123029375401000c00226602e6eb0c060c0a4dd500f0008a5014a2266e1cccc04cdd5980c98149baa01e0060013370490008029bae302b302837540022c6054604e6ea8004528181498131baa001300e30253754601a604a6ea8c038c094dd5002191998008009bac300d3025375403490001112999814001080089998018019815801299981299baf300f302737546020604e6ea8c0a8008c03cc09cdd5180818139baa006133700002900108009bae3026302337540022c601460446ea8c028c088dd5180598111baa0013024302137540022c64660020026eb0c024c084dd500b1129998118008a6103d87a80001323253330223375e601860486ea80080184c044cc0980092f5c0266008008002604e004604a002604460460046042002603a6ea803c54ccc06cc0100384c8cc0080444c8c8c94ccc07cc020c080dd50008991919299981119b8748010c08cdd50008992999811980618121baa0011323232323232533302c302f00213301000113232533302b3014302c3754002264a666058602a605a6ea80044c94ccc0b4c058c0b8dd5000899192999817980c18181baa00113232323232325333035533303530223001330043756604e606e6ea80b006854ccc0d4cdc41998109bab30273037375405803401090000998129bac30263037375405801029405280a51153330353375e603e606e6ea801801454ccc0d4cdc48061998109bab30203037375400c06205e2a66606a60446002660086eacc09cc0dcdd501600d0a99981a98111998109bab30203037375400c0340102a66606a60446660426eacc09cc0dcdd501600d0040a99981a998129bac302630373754058010260446660426eacc080c0dcdd51810181b9baa0160334890a706172616d65746572730014a029405280a5014a029408c008004c004004894ccc0dc00452000133700900119801001181d0009119299981a1810981a9baa00114bd6f7b63009bab30393036375400266042004002603e6606866e95200233034375202a97ae033034301b30323754603460646ea80952f5c0606860626ea800458cc044dd6180718181baa02548000dd7181918179baa001163031302e37540022c6060605a6ea800458c054c0b0dd5180a18161baa01f375a602660566ea801c58c0b4004c0b4008dd7181580098158011bad3029001302537540022c604e60486ea800458c004c08cdd5180618119baa00223026302730270013024302137540022c660026eb0c024c080dd500aa40006002002444a6660440042980103d87a8000132325333021300a00313010330250024bd70099980280280099b8000348004c09800cc090008dd71810180e9baa00f1622533301c3005301d375400426464a666042604800426600a0022a0062c6044002603c6ea800858894ccc06cc010c070dd50010991919192999811181280109980380189919299981098050008991929998131814801099192999812980700089919299981518168010998078008a8020b181580098139baa0031533302530120011323232323232533302e30310021500816375a605e002605e0046eb4c0b4004c0b4008dd6981580098139baa00316302537540042a0082c604e00260466ea800c54ccc084c03800454ccc090c08cdd50018a8010b0b18109baa0021500516302300130230023021001301d37540042c4464a666036600800226464a66604060460042a0082c6eb8c084004c074dd50018a99980d980400089919299981018118010a8020b1bae3021001301d37540062c60366ea8008dc3a40004603800246036603800244464a666030600a60326ea8004520001375a603a60346ea8004c94ccc060c014c064dd50008a60103d87a8000132330010013756603c60366ea8008894ccc074004530103d87a8000132323232533301e337220100042a66603c66e3c0200084c034cc088dd4000a5eb80530103d87a8000133006006003375a603e0066eb8c074008c084008c07c004cc01400c008dc3a400444646600200200644a666032002298103d87a8000132323232533301a3372200e0042a66603466e3c01c0084c024cc078dd3000a5eb80530103d87a8000133006006003375660360066eb8c064008c074008c06c004dd2a400044646600200200644a66602e00229404c94ccc054cdc79bae301a00200414a226600600600260340024602a602c602c602c602c602c602c602c602c00246028602a602a602a602a002601c6ea8004c044c048008c040004c040008c038004c028dd50008a4c26cac6eb8004dd70009bae0015734aae7555cf2ab9f5740ae855d11",
      "hash": "b3eac9bb4c3d0cc7f0c43df417566f14449b6b334633bff9fc9ab535"
    },
    {
      "title": "staker.staker.else",
      "parameters": [
        {
          "title": "params_contract_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "fldt_asset",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590711010100323232323232322322322322533300832323232323232323232323232323232323232533301b300800e132323233004013132533301f30083020375400226464a666042601c60446ea80044c8c8c94ccc090c044c094dd50008a501325333025300e30263754002264a66604c601e604e6ea80044c94ccc09d4ccc09cc040ccc04cdd5980918149baa30123029375401000c00226602e6eb0c060c0a4dd500f0008a5014a2266e1cccc04cdd5980c98149baa01e0060013370490008029bae302b302837540022c6054604e6ea8004528181498131baa001300e30253754601a604a6ea8c038c094dd5002191998008009bac300d3025375403490001112999814001080089998018019815801299981299baf300f302737546020604e6ea8c0a8008c03cc09cdd5180818139baa006133700002900108009bae3026302337540022c601460446ea8c028c088dd5180598111baa0013024302137540022c64660020026eb0c024c084dd500b1129998118008a6103d87a80001323253330223375e601860486ea80080184c044cc0980092f5c0266008008002604e004604a002604460460046042002603a6ea803c54ccc06cc0100384c8cc0080444c8c8c94ccc07cc020c080dd50008991919299981119b8748010c08cdd50008992999811980618121baa0011323232323232533302c302f00213301000113232533302b3014302c3754002264a666058602a605a6ea80044c94ccc0b4c058c0b8dd5000899192999817980c18181baa00113232323232325333035533303530223001330043756604e606e6ea80b006854ccc0d4cdc41998109bab30273037375405803401090000998129bac30263037375405801029405280a51153330353375e603e606e6ea801801454ccc0d4cdc48061998109bab30203037375400c06205e2a66606a60446002660086eacc09cc0dcdd501600d0a99981a98111998109bab30203037375400c0340102a66606a60446660426eacc09cc0dcdd501600d0040a99981a998129bac302630373754058010260446660426eacc080c0dcdd51810181b9baa0160334890a706172616d65746572730014a029405280a5014a029408c008004c004004894ccc0dc00452000133700900119801001181d0009119299981a1810981a9baa00114bd6f7b63009bab30393036375400266042004002603e6606866e95200233034375202a97ae033034301b30323754603460646ea80952f5c0606860626ea800458cc044dd6180718181baa02548000dd7181918179baa001163031302e37540022c6060605a6ea800458c054c0b0dd5180a18161baa01f375a602660566ea801c58c0b4004c0b4008dd7181580098158011bad3029001302537540022c604e60486ea800458c004c08cdd5180618119baa00223026302730270013024302137540022c660026eb0c024c080dd500aa40006002002444a6660440042980103d87a8000132325333021300a00313010330250024bd70099980280280099b8000348004c09800cc090008dd71810180e9baa00f1622533301c3005301d375400426464a666042604800426600a0022a0062c6044002603c6ea800858894ccc06cc010c070dd50010991919192999811181280109980380189919299981098050008991929998131814801099192999812980700089919299981518168010998078008a8020b181580098139baa0031533302530120011323232323232533302e30310021500816375a605e002605e0046eb4c0b4004c0b4008dd6981580098139baa00316302537540042a0082c604e00260466ea800c54ccc084c03800454ccc090c08cdd50018a8010b0b18109baa0021500516302300130230023021001301d37540042c4464a666036600800226464a66604060460042a0082c6eb8c084004c074dd50018a99980d980400089919299981018118010a8020b1bae3021001301d37540062c60366ea8008dc3a40004603800246036603800244464a666030600a60326ea8004520001375a603a60346ea8004c94ccc060c014c064dd50008a60103d87a8000132330010013756603c60366ea8008894ccc074004530103d87a8000132323232533301e337220100042a66603c66e3c0200084c034cc088dd4000a5eb80530103d87a8000133006006003375a603e0066eb8c074008c084008c07c004cc01400c008dc3a400444646600200200644a666032002298103d87a8000132323232533301a3372200e0042a66603466e3c01c0084c024cc078dd3000a5eb80530103d87a8000133006006003375660360066eb8c064008c074008c06c004dd2a400044646600200200644a66602e00229404c94ccc054cdc79bae301a00200414a226600600600260340024602a602c602c602c602c602c602c602c602c00246028602a602a602a602a002601c6ea8004c044c048008c040004c040008c038004c028dd50008a4c26cac6eb8004dd70009bae0015734aae7555cf2ab9f5740ae855d11",
      "hash": "b3eac9bb4c3d0cc7f0c43df417566f14449b6b334633bff9fc9ab535"
    },
    {
      "title": "tank.tank.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/tank~1Datum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/tank~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "stakingContract",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "params_contract_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590cd20101003232323232323223223225333006323232323253323300c3001300d3754004264646464646464664464a66602c600e0022646464646464a66603e604400426601200a2a0102c6eb4c080004c080008dd6980f000980f001180e000980c1baa00d15333016300b0011323232323232533301f30220021330090051500816375a604000260400046eb4c078004c078008c070004c060dd50068a99980b18020008a99980c980c1baa00d1500216153330163370e9003000899191919299980e98100010998048008a8030b180f000980f0011bad301c0013018375401a2c602c6ea8030894ccc054c018c058dd500109919191919191919299981018118010a8048b1bad30210013021002375a603e002603e0046eb8c074004c074008dd7180d800980b9baa00216132323253330163007301737540022646464a666032601c60346ea80044c8c8c94ccc070c044c074dd5007099299980e9809180f1baa00114a0264a66603c601e603e6ea80044c94ccc07cc040c080dd50008998029bac3004302137540306eb8c090c084dd50008b181198101baa00114a06044603e6ea8004c014c078dd51804980f1baa3005301e375400c2646464646464646464646464646464646464a6466605e60400242646464646464a66606a604c606c6ea80044c8c8c94ccc0e0c0a4c0e4dd500089919299981d1815981d9baa001132323232533303e3010302b304037540122a66607c6602a6eb0c0acc100dd50110070a99981f19299981f980c1bab30283041375400e2a66607e66e24cdc099b8100200433704906046db8098108060008a99981f99baf301a30413754605060826ea8028c068c104dd5003899baf302c3041375400e605860826ea8c0a0c104dd50050a5014a02940ccc050dd5981398201baa0064881004881001533303e33333301600400200300e30273040375404401626603806e6eb0c064c100dd50110a5014a029405281998099bab3026303f375400e9101004881003330123756604a607c6ea8008dd71814981f1baa00c375c604a607c6ea8030dd6980a981e9baa034303f303c37540022c660186eb0c050c0ecdd5019180d803981e981d1baa001163300a3758602460726ea80c0014c07cc0e0dd5000981d181b9baa00116330073300937586042606c6ea80b406c008dd6981c181c8011bad3037001303700230350013031375404c2a66605e60480242646464646464a66606a604c606c6ea80044c8c8c94ccc0e0c0a4c0e4dd5000899191919299981e18071814981f1baa0071533303c337120020062a666078660266eb0c0a4c0f8dd50100060a99981e19999980a0020010018061812981f1baa02000913301a0353758602e607c6ea80805280a5014a02940ccc044dd59812181e9baa005489004881003330103756604660786ea8008dd71813981e1baa00a375c604660786ea8028dd69809981d9baa032303d303a37540022c660146eb0c048c0e4dd5018002980f981c1baa001303a303737540022c6600e660126eb0c084c0d8dd501680d8011bad30383039002375a606e002606e004606a00260626ea809854ccc0bcc0740484cc0380a0c060c0c4dd500989919191929998199812181a1baa00113232533303530263036375400226464a66606e605060706ea80044c8c94ccc0e4c0a8c0e8dd500089919299981d9814981e1baa001132533303c302d303d37540022646464646464a66608a609000426606200226464a666088606a608a6ea80044c8c8c8c8c8c94ccc128c0ecc12cdd50008992999825981e18261baa001132533304c303d304d3754002264a66609a603e6074609e6ea80604c94ccc138cccc00406c018c01cc140dd50191829982a182a182a182a18281baa0321533304e333300100a0083009305037540640182a66609c6605808e6eb0c0a4c140dd50190a99982719192999828182298289baa0011337100046eb4c154c148dd50008a50303c30513754607860a26ea8c150c154c154c154c154c154c154c154c144dd50241bad3028305037540642a66609c660686eb0c0ccc140dd50238010a99982719baf303730503754607660a06ea8c0dcc140dd500b981b98281baa01d1533304e30433330243756606e60a06ea8c0dcc140dd500b826001098219998121bab303730503754606e60a06ea80541292210a706172616d65746572730014a029405280a5014a029405281111299982899b87375a605860a66ea800800c54ccc144cdd7981f18299baa0040011302a3756607460a66ea80105280a5014a06eb8c144c138dd50008b182818269baa00116304f304c37540022c606460966ea8060ccc078dd5981898251baa015375c606a60946ea8c004c128dd50161bae3031304a3754600260946ea80b08c134c138c138c138c138c138004ccc070dd5981798241baa002375c606660906ea8c004c120dd50151bae302f30483754600260906ea80a88c12cc130c130c130c130c130c130004c124c118dd50008b1980b1bac301e30453754078604a026603a60886ea801c58c118004c118008dd7182200098220011bad3042001303e37540022c6080607a6ea800458c054c0f0dd51811981e1baa001303e303b37540022c660166eb0c084c0e8dd5018a4004607860726ea800458cc024dd6180f981c1baa02f48000c0e8c0dcdd50008b19803998049bac30213036375405a0360086070606a6ea800458cc014dd61806981a1baa02b00230363037002375a606a00260626ea8098dd7810980080091129998190010a60103d87a800013232533303130220031301d330350024bd70099980280280099b8000348004c0d800cc0d000888c8cc00400400c894ccc0c800452f5c026464a66606264a666064604e60666ea80044cdc79bae30373034375400200c2940c078c0ccdd5180f18199baa301a3033375400426606a00466008008002266008008002606c004606800244464a66605c6046605e6ea8004520001375a606660606ea8004c94ccc0b8c08cc0bcdd50008a6103d87a8000132330010013756606860626ea8008894ccc0cc004530103d87a80001323232325333034337220100042a66606866e3c0200084c080cc0e0dd4000a5eb80530103d87a8000133006006003375a606a0066eb8c0cc008c0dc008c0d4004c8cc004004010894ccc0c80045300103d87a80001323232325333033337220100042a66606666e3c0200084c07ccc0dcdd3000a5eb80530103d87a8000133006006003375660680066eb8c0c8008c0d8008c0d000488c8cc00400400c894ccc0c0004528099299981719baf303300200414a22660060060026066002444444a66605c66e24cdc199b823370000866e0920c08db701001375a601260606ea800cdd6980418181baa0030051533302e3375e603660606ea80180084c01cdd5980b98181baa00614a029408cdc4980219198008008011129998168008a5eb804c8ccc888c8cc00400400c894ccc0cc004400c4c8cc0d4dd39981a9ba90063303530320013303530330014bd7019801801981b801181a8009bae302c0013756605a002660060066062004605e002900511816181698169816800918159816181600098008009129998140008a40002600e66004004605600244a66604866e21200030040011323300100100222533302900114a0264a66604e6600c00a605800429444cc00c00c004c0b000452891192999812180a98129baa00113300a37586012604c6ea800cdd7181498131baa00116301030253754002600200244a66604800229000098019980100118138009b8048008c078dd500a1810980f1baa00e230213022302230223022302230223022302200122323300100100322533302100114a0264a66603e66e3cdd718120010020a511330030030013024001375c603c60366ea800458c014c068dd51802980d1baa3001301a37540044603a603c002603660306ea800458c8cc004004dd61801980c1baa00f22533301a00114c0103d87a80001323253330193375e600c60366ea80080304c014cc0740092f5c0266008008002603c00460380026e95200023019001370e90021129998099802180a1baa002132323232533301a301d002133007003132325333019300a00113232533301e302100213232533301d300e001132325333022302500213300f00115004163023001301f37540062a66603a60240022646464646464a66604c60520042a0102c6eb4c09c004c09c008dd6981280098128011bad3023001301f37540062c603a6ea80085401058c07c004c06cdd50018a99980c98070008a99980e180d9baa003150021616301937540042a00a2c603600260360046032002602a6ea80085888c94ccc04cc0100044c8c94ccc060c06c0085401058dd7180c800980a9baa003153330133008001132325333018301b0021500416375c6032002602a6ea800c58c04cdd50011b8748000c04cc050008c048004c038dd50011b874800858c03cc040008c038004c038008c030004c020dd50008a4c26cac6eb8004dd7000ab9a5573aaae7955cfaba05742ae881",
      "hash": "7f20e0e1c2ca81b9a12d90343a7e6350396f29df835156863a5f90b4"
    },
    {
      "title": "tank.tank.else",
      "parameters": [
        {
          "title": "stakingContract",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "params_contract_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590cd20101003232323232323223223225333006323232323253323300c3001300d3754004264646464646464664464a66602c600e0022646464646464a66603e604400426601200a2a0102c6eb4c080004c080008dd6980f000980f001180e000980c1baa00d15333016300b0011323232323232533301f30220021330090051500816375a604000260400046eb4c078004c078008c070004c060dd50068a99980b18020008a99980c980c1baa00d1500216153330163370e9003000899191919299980e98100010998048008a8030b180f000980f0011bad301c0013018375401a2c602c6ea8030894ccc054c018c058dd500109919191919191919299981018118010a8048b1bad30210013021002375a603e002603e0046eb8c074004c074008dd7180d800980b9baa00216132323253330163007301737540022646464a666032601c60346ea80044c8c8c94ccc070c044c074dd5007099299980e9809180f1baa00114a0264a66603c601e603e6ea80044c94ccc07cc040c080dd50008998029bac3004302137540306eb8c090c084dd50008b181198101baa00114a06044603e6ea8004c014c078dd51804980f1baa3005301e375400c2646464646464646464646464646464646464a6466605e60400242646464646464a66606a604c606c6ea80044c8c8c94ccc0e0c0a4c0e4dd500089919299981d1815981d9baa001132323232533303e3010302b304037540122a66607c6602a6eb0c0acc100dd50110070a99981f19299981f980c1bab30283041375400e2a66607e66e24cdc099b8100200433704906046db8098108060008a99981f99baf301a30413754605060826ea8028c068c104dd5003899baf302c3041375400e605860826ea8c0a0c104dd50050a5014a02940ccc050dd5981398201baa0064881004881001533303e33333301600400200300e30273040375404401626603806e6eb0c064c100dd50110a5014a029405281998099bab3026303f375400e9101004881003330123756604a607c6ea8008dd71814981f1baa00c375c604a607c6ea8030dd6980a981e9baa034303f303c37540022c660186eb0c050c0ecdd5019180d803981e981d1baa001163300a3758602460726ea80c0014c07cc0e0dd5000981d181b9baa00116330073300937586042606c6ea80b406c008dd6981c181c8011bad3037001303700230350013031375404c2a66605e60480242646464646464a66606a604c606c6ea80044c8c8c94ccc0e0c0a4c0e4dd5000899191919299981e18071814981f1baa0071533303c337120020062a666078660266eb0c0a4c0f8dd50100060a99981e19999980a0020010018061812981f1baa02000913301a0353758602e607c6ea80805280a5014a02940ccc044dd59812181e9baa005489004881003330103756604660786ea8008dd71813981e1baa00a375c604660786ea8028dd69809981d9baa032303d303a37540022c660146eb0c048c0e4dd5018002980f981c1baa001303a303737540022c6600e660126eb0c084c0d8dd501680d8011bad30383039002375a606e002606e004606a00260626ea809854ccc0bcc0740484cc0380a0c060c0c4dd500989919191929998199812181a1baa00113232533303530263036375400226464a66606e605060706ea80044c8c94ccc0e4c0a8c0e8dd500089919299981d9814981e1baa001132533303c302d303d37540022646464646464a66608a609000426606200226464a666088606a608a6ea80044c8c8c8c8c8c94ccc128c0ecc12cdd50008992999825981e18261baa001132533304c303d304d3754002264a66609a603e6074609e6ea80604c94ccc138cccc00406c018c01cc140dd50191829982a182a182a182a18281baa0321533304e333300100a0083009305037540640182a66609c6605808e6eb0c0a4c140dd50190a99982719192999828182298289baa0011337100046eb4c154c148dd50008a50303c30513754607860a26ea8c150c154c154c154c154c154c154c154c144dd50241bad3028305037540642a66609c660686eb0c0ccc140dd50238010a99982719baf303730503754607660a06ea8c0dcc140dd500b981b98281baa01d1533304e30433330243756606e60a06ea8c0dcc140dd500b826001098219998121bab303730503754606e60a06ea80541292210a706172616d65746572730014a029405280a5014a029405281111299982899b87375a605860a66ea800800c54ccc144cdd7981f18299baa0040011302a3756607460a66ea80105280a5014a06eb8c144c138dd50008b182818269baa00116304f304c37540022c606460966ea8060ccc078dd5981898251baa015375c606a60946ea8c004c128dd50161bae3031304a3754600260946ea80b08c134c138c138c138c138c138004ccc070dd5981798241baa002375c606660906ea8c004c120dd50151bae302f30483754600260906ea80a88c12cc130c130c130c130c130c130004c124c118dd50008b1980b1bac301e30453754078604a026603a60886ea801c58c118004c118008dd7182200098220011bad3042001303e37540022c6080607a6ea800458c054c0f0dd51811981e1baa001303e303b37540022c660166eb0c084c0e8dd5018a4004607860726ea800458cc024dd6180f981c1baa02f48000c0e8c0dcdd50008b19803998049bac30213036375405a0360086070606a6ea800458cc014dd61806981a1baa02b00230363037002375a606a00260626ea8098dd7810980080091129998190010a60103d87a800013232533303130220031301d330350024bd70099980280280099b8000348004c0d800cc0d000888c8cc00400400c894ccc0c800452f5c026464a66606264a666064604e60666ea80044cdc79bae30373034375400200c2940c078c0ccdd5180f18199baa301a3033375400426606a00466008008002266008008002606c004606800244464a66605c6046605e6ea8004520001375a606660606ea8004c94ccc0b8c08cc0bcdd50008a6103d87a8000132330010013756606860626ea8008894ccc0cc004530103d87a80001323232325333034337220100042a66606866e3c0200084c080cc0e0dd4000a5eb80530103d87a8000133006006003375a606a0066eb8c0cc008c0dc008c0d4004c8cc004004010894ccc0c80045300103d87a80001323232325333033337220100042a66606666e3c0200084c07ccc0dcdd3000a5eb80530103d87a8000133006006003375660680066eb8c0c8008c0d8008c0d000488c8cc00400400c894ccc0c0004528099299981719baf303300200414a22660060060026066002444444a66605c66e24cdc199b823370000866e0920c08db701001375a601260606ea800cdd6980418181baa0030051533302e3375e603660606ea80180084c01cdd5980b98181baa00614a029408cdc4980219198008008011129998168008a5eb804c8ccc888c8cc00400400c894ccc0cc004400c4c8cc0d4dd39981a9ba90063303530320013303530330014bd7019801801981b801181a8009bae302c0013756605a002660060066062004605e002900511816181698169816800918159816181600098008009129998140008a40002600e66004004605600244a66604866e21200030040011323300100100222533302900114a0264a66604e6600c00a605800429444cc00c00c004c0b000452891192999812180a98129baa00113300a37586012604c6ea800cdd7181498131baa00116301030253754002600200244a66604800229000098019980100118138009b8048008c078dd500a1810980f1baa00e230213022302230223022302230223022302200122323300100100322533302100114a0264a66603e66e3cdd718120010020a511330030030013024001375c603c60366ea800458c014c068dd51802980d1baa3001301a37540044603a603c002603660306ea800458c8cc004004dd61801980c1baa00f22533301a00114c0103d87a80001323253330193375e600c60366ea80080304c014cc0740092f5c0266008008002603c00460380026e95200023019001370e90021129998099802180a1baa002132323232533301a301d002133007003132325333019300a00113232533301e302100213232533301d300e001132325333022302500213300f00115004163023001301f37540062a66603a60240022646464646464a66604c60520042a0102c6eb4c09c004c09c008dd6981280098128011bad3023001301f37540062c603a6ea80085401058c07c004c06cdd50018a99980c98070008a99980e180d9baa003150021616301937540042a00a2c603600260360046032002602a6ea80085888c94ccc04cc0100044c8c94ccc060c06c0085401058dd7180c800980a9baa003153330133008001132325333018301b0021500416375c6032002602a6ea800c58c04cdd50011b8748000c04cc050008c048004c038dd50011b874800858c03cc040008c038004c038008c030004c020dd50008a4c26cac6eb8004dd7000ab9a5573aaae7955cfaba05742ae881",
      "hash": "7f20e0e1c2ca81b9a12d90343a7e6350396f29df835156863a5f90b4"
    }
  ],
  "definitions": {
    "AssetName": {
      "title": "AssetName",
      "dataType": "bytes"
    },
    "ByteArray": {
      "dataType": "bytes"
    },
    "Int": {
      "dataType": "integer"
    },
    "List$cardano/address/Address": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/cardano~1address~1Address"
      }
    },
    "List$tank/CardanoToken": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/tank~1CardanoToken"
      }
    },
    "Option$StakeCredential": {
      "title": "Option",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/StakeCredential"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "PaymentCredential": {
      "title": "PaymentCredential",
      "description": "A general structure for representing an on-chain `Credential`.\n\n Credentials are always one of two kinds: a direct public/private key\n pair, or a script (native or Plutus).",
      "anyOf": [
        {
          "title": "VerificationKey",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ScriptHash"
            }
          ]
        }
      ]
    },
    "PolicyId": {
      "title": "PolicyId",
      "dataType": "bytes"
    },
    "ScriptHash": {
      "title": "ScriptHash",
      "dataType": "bytes"
    },
    "StakeCredential": {
      "title": "StakeCredential",
      "description": "Represent a type of object that can be represented either inline (by hash)\n or via a reference (i.e. a pointer to an on-chain location).\n\n This is mainly use for capturing pointers to a stake credential\n registration certificate in the case of so-called pointer addresses.",
      "anyOf": [
        {
          "title": "Inline",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/cardano~1address~1Credential"
            }
          ]
        },
        {
          "title": "Pointer",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "slot_number",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "transaction_index",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "certificate_index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "VerificationKeyHash": {
      "title": "VerificationKeyHash",
      "dataType": "bytes"
    },
    "cardano/address/Address": {
      "title": "Address",
      "description": "A Cardano `Address` typically holding one or two credential references.\n\n Note that legacy bootstrap addresses (a.k.a. 'Byron addresses') are\n completely excluded from Plutus contexts. Thus, from an on-chain\n perspective only exists addresses of type 00, 01, ..., 07 as detailed\n in [CIP-0019 :: Shelley Addresses](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0019/#shelley-addresses).",
      "anyOf": [
        {
          "title": "Address",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "payment_credential",
              "$ref": "#/definitions/PaymentCredential"
            },
            {
              "title": "stake_credential",
              "$ref": "#/definitions/Option$StakeCredential"
            }
          ]
        }
      ]
    },
    "cardano/address/Credential": {
      "title": "Credential",
      "description": "A general structure for representing an on-chain `Credential`.\n\n Credentials are always one of two kinds: a direct public/private key\n pair, or a script (native or Plutus).",
      "anyOf": [
        {
          "title": "VerificationKey",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ScriptHash"
            }
          ]
        }
      ]
    },
    "parameters/DatumParameters": {
      "title": "DatumParameters",
      "anyOf": [
        {
          "title": "DatumParameters",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "min_to_stake",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "owner",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "address_rewards",
              "$ref": "#/definitions/cardano~1address~1Address"
            }
          ]
        }
      ]
    },
    "parameters/Redeemer": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Redeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "random",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "staker/Datum": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "owner",
              "$ref": "#/definitions/VerificationKeyHash"
            }
          ]
        }
      ]
    },
    "staker/Redeemer": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Redeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "signer",
              "$ref": "#/definitions/cardano~1address~1Address"
            }
          ]
        }
      ]
    },
    "tank/CardanoToken": {
      "title": "CardanoToken",
      "anyOf": [
        {
          "title": "CardanoToken",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "policyId",
              "$ref": "#/definitions/PolicyId"
            },
            {
              "title": "assetName",
              "$ref": "#/definitions/AssetName"
            },
            {
              "title": "amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "divider",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "tank/Datum": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "allowedTokens",
              "$ref": "#/definitions/List$tank~1CardanoToken"
            },
            {
              "title": "tankOwner",
              "$ref": "#/definitions/cardano~1address~1Address"
            },
            {
              "title": "whitelistedAddresses",
              "$ref": "#/definitions/List$cardano~1address~1Address"
            },
            {
              "title": "executionTime",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "destionationaAddress",
              "$ref": "#/definitions/cardano~1address~1Address"
            },
            {
              "title": "scheduledAmount",
              "$ref": "#/definitions/tank~1CardanoToken"
            },
            {
              "title": "reward",
              "$ref": "#/definitions/tank~1CardanoToken"
            }
          ]
        }
      ]
    },
    "tank/Redeemer": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Consume",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "payingToken",
              "$ref": "#/definitions/tank~1CardanoToken"
            },
            {
              "title": "inputTankIndex",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "receivers",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "ConsumeAll",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "payingToken",
              "$ref": "#/definitions/tank~1CardanoToken"
            },
            {
              "title": "inputTankIndex",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "receivers",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Withdraw",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        },
        {
          "title": "ScheduledTransaction",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "inputTankIndex",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "batcher",
              "$ref": "#/definitions/cardano~1address~1Address"
            }
          ]
        }
      ]
    }
  }
}