plutus.json

{
  "preamble": {
    "title": "aiken-lang/options-trading-cardano",
    "description": "Aiken contracts for project 'aiken-lang/options-trading-cardano'",
    "version": "0.0.0",
    "plutusVersion": "v3",
    "compiler": {
      "name": "Aiken",
      "version": "v1.1.4+79d0e45"
    },
    "license": "Apache-2.0"
  },
  "validators": [
    {
      "title": "options.options.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/types~1OptionDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/types~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "_underlying_asset_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "_underlying_asset_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "stable_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "stable_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        }
      ],
      "compiledCode": "591e0e01010032323232323232322322322322322322533300c323232323232323232323232323232323232323232323232323232325323233302a300801913232323232533302f301b00113232323232323232533303a303d0021500a16375a607600260760046eb4c0e4004c0e4008dd6981b800981b8011bad3035001303137540402a66605e601a002264646464a66606c60720042a00c2c6eb4c0dc004c0dc008dd6981a80098189baa0201533302f3007001132323232533303630390021500616375a606e002606e0046eb4c0d4004c0c4dd50100a99981799b87480180044c8c94ccc0d0c0dc0085401058dd6981a80098189baa0201533302f3370e9004000899191919299981b181c8010a8030b1bad30370013037002375a606a00260626ea808054ccc0bccdc3a401400226464a666068606e0042a0082c6eb4c0d4004c0c4dd50100a99981799b87480300044c8c8c8c94ccc0d8c0e40085401858dd6981b800981b8011bad3035001303137540402c605e6ea807c54ccc0b4c064c0b8dd50008991919191919191919191919192991919981e1814007099191919999111191919192999823981998241baa0011323253330493035304a375400226464a666096604660986ea80044c8cc0c80044c8c8c8c94ccc1414ccc140c058dd6980c98291baa023153330500021533305000b1533305000115333050003100414a029405280a5014a02a6660a0602c6eb4c05cc148dd50118992999828981e98291baa001132325333053303f30543754002264a6660a866e3cdd7182c982b1baa002375c604260ac6ea809c40045281998199bab302c305537540046e98ccc0e0dd71819182a9baa302d3055375404c6eb8c0b0c154dd51816982a9baa026375a603460aa6ea809888cdc48008010b1818982a1baa30313054375400260ac60a66ea800458cc0e4dd6181c18291baa04300e14a22c66ebcc0e8cc14cc0b8c144dd501119829981418289baa02233053303730513754008660a6602e60a26ea8010cc14cc0f0c144dd501119829981818289baa02233053301b30513754044660a6605660a26ea8088cc14cc0a4c144dd501119829a601010000330534c1010000330534c1014000330534c101400033053302a30513754044660a6603460a26ea8088cc14cc064c144dd501125eb80010c094dd6981498281baa02133302d3756604c609e6ea8010dd319998179998191bae302c304f37546074609e6ea8080dd7181318279baa303a304f37540406eb4c0b8c13cdd50101bae302c304f3754602e609e6ea8080dd7181318279baa3017304f375404090011119b890010023375e6056609c6ea800cc0acc138dd5181298271baa0053050304d37540022c606460986ea8004c138c12cdd50008b198189bac3030304a3754076012609860926ea800458c050008c08cc050004c0540dd4ccc10cc020dd7181598229baa016132533304430303045375400226464a66608c6064608e6ea80044c94ccc11d4ccc11ccdc79bae304c304937540046eb8c098c124dd500d08008a50149858ccc098dd5980f98241baa002374c6660566eb8c094c120dd5181018241baa019375c603e60906ea8c080c120dd500c9bad300f304837540324466e2400400858c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0018992999822181818229baa0011323253330463032304737540022646464a666092606a60946ea80044c8c8c94ccc130c0e0c134dd50008992999826a9998268030a9998268018a9998268008a99982680388008a5014a029405280a4c2c66e3cdd7182898271baa001375c6068609c6ea807c58c0a8c134dd5181518269baa00233302a3756604660986ea8004dd31998179bae3029304c3754604860986ea8074dd7181198261baa3024304c375403a6eb4c04cc130dd500e9119b89001002304e304b37540022c660626eb0c0c0c128dd501d8039998139bab3020304937540066e98ccc0b0dd7181318249baa3021304937540346eb8c080c124dd5181098249baa01a3370666e08dd6980818249baa01a375a602460926ea806920c801223371200200466e3cdd7182598241baa001375c604a60906ea806458c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0019bad3044003375a60880046eb4c110004dd69822182280098220009821800981f1baa02d13232533303e301c0101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd50008991981780089919191919192999827a99982798131bad302a305137540442a66609e00a2a66609e00c2a66609e008201a29405280a5014a02a66609ea66609e004200229404c94ccc140c0f0c144dd500089929998289998189bab302a3053375460ac60a66ea8008dd319981b1bae303030533754605660a66ea8090dd7181518299baa302b305337540486eb4c060c14cdd50121119b89001002100114a06660606eacc0a4c148dd50051ba600422337120020042c660706eb0c0dcc144dd50210078a999827a9998278010999827800a504a229404ccc0bcdd5981418289baa009374c0064466e240040084c94ccc140cdc49bad3017305237540466eb4c064c148dd500408008a5033302f3756605060a26ea8024dd319998188019bae302e30513754605260a26ea8088dd7181418289baa3029305137540446eb4c058c144dd50111119b89001002163014375a602a60a06ea8084c0e4dd6980b18279baa005333302e333031375c6056609c6ea8c0e4c138dd500f9bae3025304e37546072609c6ea807cdd6981698271baa01f375c6056609c6ea8c058c138dd500f9bae3025304e3754602c609c6ea807d20023300f3758604a609a6ea80f8dd7181998269baa01e3375e606a6609c605260986ea8074cc138c08cc130dd500e99827181918261baa01d3304e3012304c375403a6609c606e60986ea8074cc138c0acc130dd500e99827180b18261baa01d3304e3026304c375403a6609c604860986ea8074cc138c04cc130dd500119827180898261baa01d3304e3017304c375403a6609c601a60986ea8074cc138c094c130dd500e99827180a98261baa01d3304e3014304c375403a97ae00023375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e2a66607c602c0202646644646464a6660886060608a6ea80044c8c94ccc118c0c8c11cdd500089919191929998252999825198071bac3024304c375407a6eb8c0c8c130dd500e8a9998250048a9998250040a99982500208008a5014a029405280992999825a99982580188008a50133302b37566048609a6ea801cdd319998168021bae302a304d3754604a609a6ea8078dd7181218269baa3025304d375403c6eb4c048c134dd500f1119b890010021533304b533304b003133304b0014a09445280992999826181c18269baa00113232533304e303a304f375400226464a6660a066e3cdd7182a98291baa003375c603a60a46ea808c54ccc14000840045280a5033302f3756605060a26ea802cdd30041119b8900100233302e3756604e60a06ea8008dd31998199bae302d30503754605060a06ea8084dd7181398281baa3028305037540426eb4c054c140dd50109119b8900100216302c304f37546058609e6ea8004c144c138dd50008b1981a1bac3033304d375407c01626660566eacc090c134dd50039ba6004223371200200466e3cdd7180b98261baa01d375c605260986ea807458cdd79ba73304d374e6609a605060966ea8c04cc12cdd500e19826981118259baa3013304b37540386609a98010120004bd7025eb80dd3981b9bab3036304b3754078601c6eb4c03cc128dd500d9998161bae302630493754602660926ea8068dd7181018249baa3013304937540346eb4c08cc124dd500d19b8f375c609660906ea8004dd7181298241baa019163024304737546048608e6ea8004c124c118dd50008b198161bac302b3045375406c00860406022602606a60306eb4c070c10cdd500a1bad3044001375a6088608a00260806ea80bc54ccc0f8cdc3a400c020264646464a666084a6660846600c6eb0c070c110dd501a9bae30213044375402a2a666084a6660840062944400840045280a50153330423008375a601260886ea80544c94ccc10cc0bcc110dd500089919192999823181918239baa00113253330473371e6eb8c130c124dd50011bae30143049375403420022940ccc098dd5980f98241baa003374c0044466e2400400858c090c11cdd5181218239baa002333029375c6046608c6ea8c078c118dd500b9bae301d30463754603c608c6ea805cdd6980598231baa0173048304537540022c660566eb0c0a8c110dd501a8020a51163375e6e9ccc114dd399822981018219baa300b304337540286608a603460866ea8c02cc10cdd500a19822a610120004bd7025eb80dd398179bab302e30433754068600a6eb8c0a0c108dd500999b88375a603460826ea8048c070c06cc104dd50191bad30433040375405e2a66607c66e1d20080101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd5000899198178008991919192999826a99982698099bad3016304f37540402a66609a0042a66609a0162a66609a0062a66609a66ebc00401440105280a5014a029405280a99982698099bad3014304f3754040264a66609c6074609e6ea80044c8c94ccc140c0f0c144dd500089919299982919b88375a603260a86ea8094dd6980c982a1baa00a15333052001100214a02940ccc0c4dd5981518299baa003374c66606c6eb8c0c0c14cdd5181598299baa024375c605460a66ea8c0acc14cdd50121bad3018305337540484466e24004008cdc79bae3055305237540026eb8c074c148dd50118b181718289baa302e3051375400260a660a06ea800458cc0d8dd6181a98279baa04000d14a22c606e660a06056609c6ea807ccc140c094c138dd500f99828181a18271baa01f330503014304e375403e660a06072609c6ea807ccc140c0b4c138dd500f99828180c18271baa01f330503028304e375403e660a0604c609c6ea807ccc140c054c138dd500f99828180998271baa004330503019304e3754008660a0601e609c6ea8010cc140c09cc138dd500f99828180b98271baa01f330503016304e375403e97ae03022375a604c609a6ea8078ccc0a8dd5981198261baa004374c6666058666605866605e6eb8c0a4c130dd5181b98261baa01d375c604660986ea8c0dcc130dd500e9bad302b304c375403a6eb8c0a4c130dd5181218261baa01d375c604660986ea8c090c130dd500e9bad3011304c37540046eb8c0a4c130dd5180a18261baa01d375c604660986ea8c050c130dd500ea40044466e24004008cdd7981418259baa0033028304b3754604460966ea8014c134c128dd50008b181798249baa001304b304837540022c6605c6eb0c0b4c11cdd501c003182498231baa001163011002302030110013012034375a60880026eb4c110c114004c100dd50178a99981f19b87480280404c8c8c8c94ccc108c0b8c10cdd5000899192999822181818229baa001132325333046301e304737540022646605a0022646464a66609466ebcc0d4cc138c0a4c130dd500e99827181198261baa01d3304e3032304c375403a6609c602460986ea8074cc138c0dcc130dd500e99827181598261baa01d3304e3016304c375403a6609c604c60986ea8074cc138c090c130dd500e99827180998261baa01d3304e4c010100003304e4c10140003304e4c10140003304e3025304c375403a6609c602a60986ea8074cc138c050c130dd500ea5eb8001054ccc12800454ccc12800854ccc128028400c5280a5014a02940cc034dd6181198259baa03c375c602c60966ea8070ccc0a0dd5981098251baa004374c666605466605a6eb8c09cc128dd5181a98251baa01b375c604260946ea8c0d4c128dd500d9bad3029304a37540366eb8c09cc128dd5180918251baa01b375c604260946ea8c048c128dd500da40044466e24004008cdd7981318249baa003302630493754604060926ea8014c12cc120dd50008b181698239baa0013049304637540022c660586eb0c0acc114dd501b002982398221baa00116300f002301e300f0013010032375a608660806ea80bc4c8cc88c8c8c94ccc110c0c0c114dd5000899192999823181918239baa0011323253330483020304937540022646605e0022646464a666098a66609866ebcc0dccc140c0acc138dd500f99828181298271baa01f330503019304e375403e660a0601e609c6ea807ccc140c0e4c138dd500f99828181698271baa01f330503018304e375403e660a06050609c6ea807ccc140c098c138dd500f998282601010000330504c1010000330504c1014000330504c1014000330503027304e375403e660a0602e609c6ea807ccc140c058c138dd500fa5eb8001054ccc13000854ccc13002854ccc13000c40045280a5014a0294054ccc130c044dd7181a18271baa01f14a2264a66609a6072609c6ea80044c8c94ccc13cc0ecc140dd500089929998281998181bab3029305237540066e98ccc0d4dd7181798291baa302a305237540466eb8c0a4c148dd5181518291baa0233370666e08dd6980c98291baa023375a603660a46ea808d20c801223371200200420022940cdc79bae3054305137540026eb8c0b8c144dd50110b181698281baa302d3050375400260a4609e6ea800458cc0d4dd6181a18271baa03f00c1633302b37566048609a6ea8014dd319998169998181bae302a304d37546070609a6ea8078dd7181218269baa3038304d375403c6eb4c0b0c134dd500f1bae302a304d3754602a609a6ea8078dd7181218269baa3015304d375403c90011119b890010023300e3758604860986ea80f4dd7181918261baa01d3375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e4608660886088608860886088608860886088608860886088608800244646600200200644a66608600229404c94ccc104cdc79bae304600200414a2266006006002608c0026e3cdd7180d181e9baa00e371090001181f98201820182018201820182018201820182018200009181f181f981f981f8009181e981f181f181f181f181f181f181f181f181f0009181e181e981e981e981e981e981e981e981e981e981e981e981e981e981e981e8009181d981e181e181e181e181e181e181e181e181e181e181e181e181e181e0009181d181d981d981d981d981d981d8009181c981d181d181d181d181d181d181d181d181d181d181d0009299981b0008a60103d87a80001301e3303730380014bd70180080091299981a8008a4000266e012002330020023038001232330010013758602060666ea8008894ccc0d400452f5c026464a666068a6660686024606a6ea8c04cc0d8dd51809981b1baa300d30363754004294452809981c00119802002000899802002000981c801181b80098179baa01f3032302f37540022c60626064004606000260586ea806854ccc0a8c0580644c8c8c94ccc0b4c0640044c8c94ccc0c8c0d40085401058dd6981980098179baa01e1533302d300b00115333030302f375403c2a0042c2c605a6ea807454ccc0acc05cc0b0dd500e099192999816980c98171baa001132323253330303008303137540022646602e0022646464a6660680122a66606800c2a6660680062a666068004200229405280a5014a0a66606666e3cdd71806181a9baa300d30353754006056266e3cdd71809181a9baa300d3035375400605a2940c024dd69806981a1baa0023330113756601460666ea8010dd3199980999980b003813a40046eb8c040c0ccdd5180f18199baa001375c601460666ea8c078c0ccdd50009bad3012303337540024466e24004008c0d4c0c8dd50008b180b98189baa0023371e64a66605e601a60606ea80044dd7181a18189baa00116300d30303754601a60606ea8004010c0c8c0bcdd50008b1980a9bac3014302e375403e6eb4c0c4c0b8dd500e99baf374e6605e6e9ccc0bcdd4800998179ba90213302f4c10101004bd7025eb80dd3980c9bab3018302d375403c266ebcdd3998179ba73302f37520026605e6ea4084cc0bd30010120004bd7025eb80dd3980c9bab3018302d375403c6eb8c0bcc0b0dd500d0b1b8830063005302b37540386e1d20042302d302e0012302c302d302d302d302d302d302d302d302d0012302b302c302c302c302c302c302c302c302c302c302c302c302c302c0012302a302b302b302b302b302b302b302b001232533302530033026375400226eb4c0a8c09cdd50008b180198131baa3003302637540026e1d200223027001222533333302a00214a0264646464a646660560042a666050600200e26600c00690000a5013232533302a3375e605600498010140001533302a33008005375a6058605e6eacc0b00084c00cdd30008a501533302a33008005480004c00c024528181780198168011baf302c302d004375600aa66604a6022604c6ea80044dd6981398151bab302a30273754002290001814800991998008008021119815001198151ba60014bd701112999814801099800a6103d87a80004bd6f7b630099191919299981519b91489000021533302a3371e91010000213300530153302e374c00297ae00031330054c103d87a80000061333007007003223300700233030337606ea4010dd30018009bab302b003375c6052004605a006605600429405280a50230253026302630263026302600122225333022300e00110041323233001001006225333028001133029337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0a4cdc800500109981699bb037520146e9801c01454ccc0a4cdc78050010992999815180b18159baa00113302e337606ea402cc0bcc0b0dd5000802080219299981529998168008a5114a02980103d87a8000130153302e374c00297ae0323300100100222533302e00113302f337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0bccdc800780109981999bb0375201e6ea003801454ccc0bccdc78078010992999818180e18189baa001133034337606ea4040c0d4c0c8dd50008020802192999818180e0008a6103d87a80001301b33034375000297ae03370000201c26606666ec0dd48011ba800133006006003375a60600066eb8c0b8008c0c8008c0c00044cc0b4cdd81ba9002374c0026600c00c0066eacc0a800cdd7181400118160011815000991900118030009981319bb037520046ea00052f5bded8c0600200244a66604200229309929998110008a4c26464a66604266e40dd7181118130021bae30220021330050053302500200116302600230240013024001222533301e300a00114bd6f7b6300991919800800a5eb7bdb180894ccc0900044cc094cdd81ba9006374c00697adef6c6013232323253330253372001400426605266ec0dd48051ba6007005153330253371e01400426605266ec0dd48051ba6007003133029337606ea4008dd3000998030030019bab3026003375c60480046050004604c002646600200297adef6c60225333023001133024337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc090cdc800400109981419bb037520106ea001c01454ccc090cdc780400109981419bb037520106ea001c00c4cc0a0cdd81ba900237500026600c00c0066eb4c09400cdd718118011813801181280091299980e1804180e9baa00213232323232323232323232323232323232323232323232323232323232323232533303f304200213302301713302301313302300f133023001150211630400013040002375a607c002607c0046eb4c0f0004c0f0008dd7181d000981d0011bae30380013038002375a606c002606c0046eb4c0d0004c0d0008c0c8004c0c8008dd698180009818001181700098170011bad302c001302c002302a001302a002375c605000260500046eb8c098004c098008dd7181200098120011bae3022001301e37540042c44a666036600e60386ea80084c8c8c8c94ccc088c0940085401458dd7181180098118011bae3021001301d37540042c4603c603e603e0026002002444a666038004298103d87a800013232533301b3007003130063301f0024bd70099980280280099b8000348004c08000cc078008dd2a40006e1d200023019301a301a301a301a0012323300100100222533301800114bd70099199911191980080080191299980f0008801899198101ba733020375200c66040603a00266040603c00297ae03300300330220023020001375c602e0026eacc060004cc00c00cc070008c068004c048dd5000980a980b001180a000980a001180900098071baa00114984d958dd70009bae001375c0026eb8004dd7000ab9a5573aaae7955cfaba05742ae895d201",
      "hash": "189df578ed7bad1fa9795c3fabba4abde23eedb367671a370d188fe4"
    },
    {
      "title": "options.options.mint",
      "redeemer": {
        "title": "rdmr",
        "schema": {
          "$ref": "#/definitions/types~1MintRedeemer"
        }
      },
      "parameters": [
        {
          "title": "_underlying_asset_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "_underlying_asset_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "stable_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "stable_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        }
      ],
      "compiledCode": "591e0e01010032323232323232322322322322322322533300c323232323232323232323232323232323232323232323232323232325323233302a300801913232323232533302f301b00113232323232323232533303a303d0021500a16375a607600260760046eb4c0e4004c0e4008dd6981b800981b8011bad3035001303137540402a66605e601a002264646464a66606c60720042a00c2c6eb4c0dc004c0dc008dd6981a80098189baa0201533302f3007001132323232533303630390021500616375a606e002606e0046eb4c0d4004c0c4dd50100a99981799b87480180044c8c94ccc0d0c0dc0085401058dd6981a80098189baa0201533302f3370e9004000899191919299981b181c8010a8030b1bad30370013037002375a606a00260626ea808054ccc0bccdc3a401400226464a666068606e0042a0082c6eb4c0d4004c0c4dd50100a99981799b87480300044c8c8c8c94ccc0d8c0e40085401858dd6981b800981b8011bad3035001303137540402c605e6ea807c54ccc0b4c064c0b8dd50008991919191919191919191919192991919981e1814007099191919999111191919192999823981998241baa0011323253330493035304a375400226464a666096604660986ea80044c8cc0c80044c8c8c8c94ccc1414ccc140c058dd6980c98291baa023153330500021533305000b1533305000115333050003100414a029405280a5014a02a6660a0602c6eb4c05cc148dd50118992999828981e98291baa001132325333053303f30543754002264a6660a866e3cdd7182c982b1baa002375c604260ac6ea809c40045281998199bab302c305537540046e98ccc0e0dd71819182a9baa302d3055375404c6eb8c0b0c154dd51816982a9baa026375a603460aa6ea809888cdc48008010b1818982a1baa30313054375400260ac60a66ea800458cc0e4dd6181c18291baa04300e14a22c66ebcc0e8cc14cc0b8c144dd501119829981418289baa02233053303730513754008660a6602e60a26ea8010cc14cc0f0c144dd501119829981818289baa02233053301b30513754044660a6605660a26ea8088cc14cc0a4c144dd501119829a601010000330534c1010000330534c1014000330534c101400033053302a30513754044660a6603460a26ea8088cc14cc064c144dd501125eb80010c094dd6981498281baa02133302d3756604c609e6ea8010dd319998179998191bae302c304f37546074609e6ea8080dd7181318279baa303a304f37540406eb4c0b8c13cdd50101bae302c304f3754602e609e6ea8080dd7181318279baa3017304f375404090011119b890010023375e6056609c6ea800cc0acc138dd5181298271baa0053050304d37540022c606460986ea8004c138c12cdd50008b198189bac3030304a3754076012609860926ea800458c050008c08cc050004c0540dd4ccc10cc020dd7181598229baa016132533304430303045375400226464a66608c6064608e6ea80044c94ccc11d4ccc11ccdc79bae304c304937540046eb8c098c124dd500d08008a50149858ccc098dd5980f98241baa002374c6660566eb8c094c120dd5181018241baa019375c603e60906ea8c080c120dd500c9bad300f304837540324466e2400400858c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0018992999822181818229baa0011323253330463032304737540022646464a666092606a60946ea80044c8c8c94ccc130c0e0c134dd50008992999826a9998268030a9998268018a9998268008a99982680388008a5014a029405280a4c2c66e3cdd7182898271baa001375c6068609c6ea807c58c0a8c134dd5181518269baa00233302a3756604660986ea8004dd31998179bae3029304c3754604860986ea8074dd7181198261baa3024304c375403a6eb4c04cc130dd500e9119b89001002304e304b37540022c660626eb0c0c0c128dd501d8039998139bab3020304937540066e98ccc0b0dd7181318249baa3021304937540346eb8c080c124dd5181098249baa01a3370666e08dd6980818249baa01a375a602460926ea806920c801223371200200466e3cdd7182598241baa001375c604a60906ea806458c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0019bad3044003375a60880046eb4c110004dd69822182280098220009821800981f1baa02d13232533303e301c0101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd50008991981780089919191919192999827a99982798131bad302a305137540442a66609e00a2a66609e00c2a66609e008201a29405280a5014a02a66609ea66609e004200229404c94ccc140c0f0c144dd500089929998289998189bab302a3053375460ac60a66ea8008dd319981b1bae303030533754605660a66ea8090dd7181518299baa302b305337540486eb4c060c14cdd50121119b89001002100114a06660606eacc0a4c148dd50051ba600422337120020042c660706eb0c0dcc144dd50210078a999827a9998278010999827800a504a229404ccc0bcdd5981418289baa009374c0064466e240040084c94ccc140cdc49bad3017305237540466eb4c064c148dd500408008a5033302f3756605060a26ea8024dd319998188019bae302e30513754605260a26ea8088dd7181418289baa3029305137540446eb4c058c144dd50111119b89001002163014375a602a60a06ea8084c0e4dd6980b18279baa005333302e333031375c6056609c6ea8c0e4c138dd500f9bae3025304e37546072609c6ea807cdd6981698271baa01f375c6056609c6ea8c058c138dd500f9bae3025304e3754602c609c6ea807d20023300f3758604a609a6ea80f8dd7181998269baa01e3375e606a6609c605260986ea8074cc138c08cc130dd500e99827181918261baa01d3304e3012304c375403a6609c606e60986ea8074cc138c0acc130dd500e99827180b18261baa01d3304e3026304c375403a6609c604860986ea8074cc138c04cc130dd500119827180898261baa01d3304e3017304c375403a6609c601a60986ea8074cc138c094c130dd500e99827180a98261baa01d3304e3014304c375403a97ae00023375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e2a66607c602c0202646644646464a6660886060608a6ea80044c8c94ccc118c0c8c11cdd500089919191929998252999825198071bac3024304c375407a6eb8c0c8c130dd500e8a9998250048a9998250040a99982500208008a5014a029405280992999825a99982580188008a50133302b37566048609a6ea801cdd319998168021bae302a304d3754604a609a6ea8078dd7181218269baa3025304d375403c6eb4c048c134dd500f1119b890010021533304b533304b003133304b0014a09445280992999826181c18269baa00113232533304e303a304f375400226464a6660a066e3cdd7182a98291baa003375c603a60a46ea808c54ccc14000840045280a5033302f3756605060a26ea802cdd30041119b8900100233302e3756604e60a06ea8008dd31998199bae302d30503754605060a06ea8084dd7181398281baa3028305037540426eb4c054c140dd50109119b8900100216302c304f37546058609e6ea8004c144c138dd50008b1981a1bac3033304d375407c01626660566eacc090c134dd50039ba6004223371200200466e3cdd7180b98261baa01d375c605260986ea807458cdd79ba73304d374e6609a605060966ea8c04cc12cdd500e19826981118259baa3013304b37540386609a98010120004bd7025eb80dd3981b9bab3036304b3754078601c6eb4c03cc128dd500d9998161bae302630493754602660926ea8068dd7181018249baa3013304937540346eb4c08cc124dd500d19b8f375c609660906ea8004dd7181298241baa019163024304737546048608e6ea8004c124c118dd50008b198161bac302b3045375406c00860406022602606a60306eb4c070c10cdd500a1bad3044001375a6088608a00260806ea80bc54ccc0f8cdc3a400c020264646464a666084a6660846600c6eb0c070c110dd501a9bae30213044375402a2a666084a6660840062944400840045280a50153330423008375a601260886ea80544c94ccc10cc0bcc110dd500089919192999823181918239baa00113253330473371e6eb8c130c124dd50011bae30143049375403420022940ccc098dd5980f98241baa003374c0044466e2400400858c090c11cdd5181218239baa002333029375c6046608c6ea8c078c118dd500b9bae301d30463754603c608c6ea805cdd6980598231baa0173048304537540022c660566eb0c0a8c110dd501a8020a51163375e6e9ccc114dd399822981018219baa300b304337540286608a603460866ea8c02cc10cdd500a19822a610120004bd7025eb80dd398179bab302e30433754068600a6eb8c0a0c108dd500999b88375a603460826ea8048c070c06cc104dd50191bad30433040375405e2a66607c66e1d20080101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd5000899198178008991919192999826a99982698099bad3016304f37540402a66609a0042a66609a0162a66609a0062a66609a66ebc00401440105280a5014a029405280a99982698099bad3014304f3754040264a66609c6074609e6ea80044c8c94ccc140c0f0c144dd500089919299982919b88375a603260a86ea8094dd6980c982a1baa00a15333052001100214a02940ccc0c4dd5981518299baa003374c66606c6eb8c0c0c14cdd5181598299baa024375c605460a66ea8c0acc14cdd50121bad3018305337540484466e24004008cdc79bae3055305237540026eb8c074c148dd50118b181718289baa302e3051375400260a660a06ea800458cc0d8dd6181a98279baa04000d14a22c606e660a06056609c6ea807ccc140c094c138dd500f99828181a18271baa01f330503014304e375403e660a06072609c6ea807ccc140c0b4c138dd500f99828180c18271baa01f330503028304e375403e660a0604c609c6ea807ccc140c054c138dd500f99828180998271baa004330503019304e3754008660a0601e609c6ea8010cc140c09cc138dd500f99828180b98271baa01f330503016304e375403e97ae03022375a604c609a6ea8078ccc0a8dd5981198261baa004374c6666058666605866605e6eb8c0a4c130dd5181b98261baa01d375c604660986ea8c0dcc130dd500e9bad302b304c375403a6eb8c0a4c130dd5181218261baa01d375c604660986ea8c090c130dd500e9bad3011304c37540046eb8c0a4c130dd5180a18261baa01d375c604660986ea8c050c130dd500ea40044466e24004008cdd7981418259baa0033028304b3754604460966ea8014c134c128dd50008b181798249baa001304b304837540022c6605c6eb0c0b4c11cdd501c003182498231baa001163011002302030110013012034375a60880026eb4c110c114004c100dd50178a99981f19b87480280404c8c8c8c94ccc108c0b8c10cdd5000899192999822181818229baa001132325333046301e304737540022646605a0022646464a66609466ebcc0d4cc138c0a4c130dd500e99827181198261baa01d3304e3032304c375403a6609c602460986ea8074cc138c0dcc130dd500e99827181598261baa01d3304e3016304c375403a6609c604c60986ea8074cc138c090c130dd500e99827180998261baa01d3304e4c010100003304e4c10140003304e4c10140003304e3025304c375403a6609c602a60986ea8074cc138c050c130dd500ea5eb8001054ccc12800454ccc12800854ccc128028400c5280a5014a02940cc034dd6181198259baa03c375c602c60966ea8070ccc0a0dd5981098251baa004374c666605466605a6eb8c09cc128dd5181a98251baa01b375c604260946ea8c0d4c128dd500d9bad3029304a37540366eb8c09cc128dd5180918251baa01b375c604260946ea8c048c128dd500da40044466e24004008cdd7981318249baa003302630493754604060926ea8014c12cc120dd50008b181698239baa0013049304637540022c660586eb0c0acc114dd501b002982398221baa00116300f002301e300f0013010032375a608660806ea80bc4c8cc88c8c8c94ccc110c0c0c114dd5000899192999823181918239baa0011323253330483020304937540022646605e0022646464a666098a66609866ebcc0dccc140c0acc138dd500f99828181298271baa01f330503019304e375403e660a0601e609c6ea807ccc140c0e4c138dd500f99828181698271baa01f330503018304e375403e660a06050609c6ea807ccc140c098c138dd500f998282601010000330504c1010000330504c1014000330504c1014000330503027304e375403e660a0602e609c6ea807ccc140c058c138dd500fa5eb8001054ccc13000854ccc13002854ccc13000c40045280a5014a0294054ccc130c044dd7181a18271baa01f14a2264a66609a6072609c6ea80044c8c94ccc13cc0ecc140dd500089929998281998181bab3029305237540066e98ccc0d4dd7181798291baa302a305237540466eb8c0a4c148dd5181518291baa0233370666e08dd6980c98291baa023375a603660a46ea808d20c801223371200200420022940cdc79bae3054305137540026eb8c0b8c144dd50110b181698281baa302d3050375400260a4609e6ea800458cc0d4dd6181a18271baa03f00c1633302b37566048609a6ea8014dd319998169998181bae302a304d37546070609a6ea8078dd7181218269baa3038304d375403c6eb4c0b0c134dd500f1bae302a304d3754602a609a6ea8078dd7181218269baa3015304d375403c90011119b890010023300e3758604860986ea80f4dd7181918261baa01d3375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e4608660886088608860886088608860886088608860886088608800244646600200200644a66608600229404c94ccc104cdc79bae304600200414a2266006006002608c0026e3cdd7180d181e9baa00e371090001181f98201820182018201820182018201820182018200009181f181f981f981f8009181e981f181f181f181f181f181f181f181f181f0009181e181e981e981e981e981e981e981e981e981e981e981e981e981e981e981e8009181d981e181e181e181e181e181e181e181e181e181e181e181e181e181e0009181d181d981d981d981d981d981d8009181c981d181d181d181d181d181d181d181d181d181d181d0009299981b0008a60103d87a80001301e3303730380014bd70180080091299981a8008a4000266e012002330020023038001232330010013758602060666ea8008894ccc0d400452f5c026464a666068a6660686024606a6ea8c04cc0d8dd51809981b1baa300d30363754004294452809981c00119802002000899802002000981c801181b80098179baa01f3032302f37540022c60626064004606000260586ea806854ccc0a8c0580644c8c8c94ccc0b4c0640044c8c94ccc0c8c0d40085401058dd6981980098179baa01e1533302d300b00115333030302f375403c2a0042c2c605a6ea807454ccc0acc05cc0b0dd500e099192999816980c98171baa001132323253330303008303137540022646602e0022646464a6660680122a66606800c2a6660680062a666068004200229405280a5014a0a66606666e3cdd71806181a9baa300d30353754006056266e3cdd71809181a9baa300d3035375400605a2940c024dd69806981a1baa0023330113756601460666ea8010dd3199980999980b003813a40046eb8c040c0ccdd5180f18199baa001375c601460666ea8c078c0ccdd50009bad3012303337540024466e24004008c0d4c0c8dd50008b180b98189baa0023371e64a66605e601a60606ea80044dd7181a18189baa00116300d30303754601a60606ea8004010c0c8c0bcdd50008b1980a9bac3014302e375403e6eb4c0c4c0b8dd500e99baf374e6605e6e9ccc0bcdd4800998179ba90213302f4c10101004bd7025eb80dd3980c9bab3018302d375403c266ebcdd3998179ba73302f37520026605e6ea4084cc0bd30010120004bd7025eb80dd3980c9bab3018302d375403c6eb8c0bcc0b0dd500d0b1b8830063005302b37540386e1d20042302d302e0012302c302d302d302d302d302d302d302d302d0012302b302c302c302c302c302c302c302c302c302c302c302c302c302c0012302a302b302b302b302b302b302b302b001232533302530033026375400226eb4c0a8c09cdd50008b180198131baa3003302637540026e1d200223027001222533333302a00214a0264646464a646660560042a666050600200e26600c00690000a5013232533302a3375e605600498010140001533302a33008005375a6058605e6eacc0b00084c00cdd30008a501533302a33008005480004c00c024528181780198168011baf302c302d004375600aa66604a6022604c6ea80044dd6981398151bab302a30273754002290001814800991998008008021119815001198151ba60014bd701112999814801099800a6103d87a80004bd6f7b630099191919299981519b91489000021533302a3371e91010000213300530153302e374c00297ae00031330054c103d87a80000061333007007003223300700233030337606ea4010dd30018009bab302b003375c6052004605a006605600429405280a50230253026302630263026302600122225333022300e00110041323233001001006225333028001133029337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0a4cdc800500109981699bb037520146e9801c01454ccc0a4cdc78050010992999815180b18159baa00113302e337606ea402cc0bcc0b0dd5000802080219299981529998168008a5114a02980103d87a8000130153302e374c00297ae0323300100100222533302e00113302f337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0bccdc800780109981999bb0375201e6ea003801454ccc0bccdc78078010992999818180e18189baa001133034337606ea4040c0d4c0c8dd50008020802192999818180e0008a6103d87a80001301b33034375000297ae03370000201c26606666ec0dd48011ba800133006006003375a60600066eb8c0b8008c0c8008c0c00044cc0b4cdd81ba9002374c0026600c00c0066eacc0a800cdd7181400118160011815000991900118030009981319bb037520046ea00052f5bded8c0600200244a66604200229309929998110008a4c26464a66604266e40dd7181118130021bae30220021330050053302500200116302600230240013024001222533301e300a00114bd6f7b6300991919800800a5eb7bdb180894ccc0900044cc094cdd81ba9006374c00697adef6c6013232323253330253372001400426605266ec0dd48051ba6007005153330253371e01400426605266ec0dd48051ba6007003133029337606ea4008dd3000998030030019bab3026003375c60480046050004604c002646600200297adef6c60225333023001133024337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc090cdc800400109981419bb037520106ea001c01454ccc090cdc780400109981419bb037520106ea001c00c4cc0a0cdd81ba900237500026600c00c0066eb4c09400cdd718118011813801181280091299980e1804180e9baa00213232323232323232323232323232323232323232323232323232323232323232533303f304200213302301713302301313302300f133023001150211630400013040002375a607c002607c0046eb4c0f0004c0f0008dd7181d000981d0011bae30380013038002375a606c002606c0046eb4c0d0004c0d0008c0c8004c0c8008dd698180009818001181700098170011bad302c001302c002302a001302a002375c605000260500046eb8c098004c098008dd7181200098120011bae3022001301e37540042c44a666036600e60386ea80084c8c8c8c94ccc088c0940085401458dd7181180098118011bae3021001301d37540042c4603c603e603e0026002002444a666038004298103d87a800013232533301b3007003130063301f0024bd70099980280280099b8000348004c08000cc078008dd2a40006e1d200023019301a301a301a301a0012323300100100222533301800114bd70099199911191980080080191299980f0008801899198101ba733020375200c66040603a00266040603c00297ae03300300330220023020001375c602e0026eacc060004cc00c00cc070008c068004c048dd5000980a980b001180a000980a001180900098071baa00114984d958dd70009bae001375c0026eb8004dd7000ab9a5573aaae7955cfaba05742ae895d201",
      "hash": "189df578ed7bad1fa9795c3fabba4abde23eedb367671a370d188fe4"
    },
    {
      "title": "options.options.else",
      "redeemer": {
        "schema": {}
      },
      "parameters": [
        {
          "title": "_underlying_asset_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "_underlying_asset_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "stable_policy_id",
          "schema": {
            "$ref": "#/definitions/PolicyId"
          }
        },
        {
          "title": "stable_asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        },
        {
          "title": "asset_name",
          "schema": {
            "$ref": "#/definitions/AssetName"
          }
        }
      ],
      "compiledCode": "591e0e01010032323232323232322322322322322322533300c323232323232323232323232323232323232323232323232323232325323233302a300801913232323232533302f301b00113232323232323232533303a303d0021500a16375a607600260760046eb4c0e4004c0e4008dd6981b800981b8011bad3035001303137540402a66605e601a002264646464a66606c60720042a00c2c6eb4c0dc004c0dc008dd6981a80098189baa0201533302f3007001132323232533303630390021500616375a606e002606e0046eb4c0d4004c0c4dd50100a99981799b87480180044c8c94ccc0d0c0dc0085401058dd6981a80098189baa0201533302f3370e9004000899191919299981b181c8010a8030b1bad30370013037002375a606a00260626ea808054ccc0bccdc3a401400226464a666068606e0042a0082c6eb4c0d4004c0c4dd50100a99981799b87480300044c8c8c8c94ccc0d8c0e40085401858dd6981b800981b8011bad3035001303137540402c605e6ea807c54ccc0b4c064c0b8dd50008991919191919191919191919192991919981e1814007099191919999111191919192999823981998241baa0011323253330493035304a375400226464a666096604660986ea80044c8cc0c80044c8c8c8c94ccc1414ccc140c058dd6980c98291baa023153330500021533305000b1533305000115333050003100414a029405280a5014a02a6660a0602c6eb4c05cc148dd50118992999828981e98291baa001132325333053303f30543754002264a6660a866e3cdd7182c982b1baa002375c604260ac6ea809c40045281998199bab302c305537540046e98ccc0e0dd71819182a9baa302d3055375404c6eb8c0b0c154dd51816982a9baa026375a603460aa6ea809888cdc48008010b1818982a1baa30313054375400260ac60a66ea800458cc0e4dd6181c18291baa04300e14a22c66ebcc0e8cc14cc0b8c144dd501119829981418289baa02233053303730513754008660a6602e60a26ea8010cc14cc0f0c144dd501119829981818289baa02233053301b30513754044660a6605660a26ea8088cc14cc0a4c144dd501119829a601010000330534c1010000330534c1014000330534c101400033053302a30513754044660a6603460a26ea8088cc14cc064c144dd501125eb80010c094dd6981498281baa02133302d3756604c609e6ea8010dd319998179998191bae302c304f37546074609e6ea8080dd7181318279baa303a304f37540406eb4c0b8c13cdd50101bae302c304f3754602e609e6ea8080dd7181318279baa3017304f375404090011119b890010023375e6056609c6ea800cc0acc138dd5181298271baa0053050304d37540022c606460986ea8004c138c12cdd50008b198189bac3030304a3754076012609860926ea800458c050008c08cc050004c0540dd4ccc10cc020dd7181598229baa016132533304430303045375400226464a66608c6064608e6ea80044c94ccc11d4ccc11ccdc79bae304c304937540046eb8c098c124dd500d08008a50149858ccc098dd5980f98241baa002374c6660566eb8c094c120dd5181018241baa019375c603e60906ea8c080c120dd500c9bad300f304837540324466e2400400858c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0018992999822181818229baa0011323253330463032304737540022646464a666092606a60946ea80044c8c8c94ccc130c0e0c134dd50008992999826a9998268030a9998268018a9998268008a99982680388008a5014a029405280a4c2c66e3cdd7182898271baa001375c6068609c6ea807c58c0a8c134dd5181518269baa00233302a3756604660986ea8004dd31998179bae3029304c3754604860986ea8074dd7181198261baa3024304c375403a6eb4c04cc130dd500e9119b89001002304e304b37540022c660626eb0c0c0c128dd501d8039998139bab3020304937540066e98ccc0b0dd7181318249baa3021304937540346eb8c080c124dd5181098249baa01a3370666e08dd6980818249baa01a375a602460926ea806920c801223371200200466e3cdd7182598241baa001375c604a60906ea806458c090c11cdd5181218239baa0013049304637540022c660586eb0c0acc114dd501b0019bad3044003375a60880046eb4c110004dd69822182280098220009821800981f1baa02d13232533303e301c0101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd50008991981780089919191919192999827a99982798131bad302a305137540442a66609e00a2a66609e00c2a66609e008201a29405280a5014a02a66609ea66609e004200229404c94ccc140c0f0c144dd500089929998289998189bab302a3053375460ac60a66ea8008dd319981b1bae303030533754605660a66ea8090dd7181518299baa302b305337540486eb4c060c14cdd50121119b89001002100114a06660606eacc0a4c148dd50051ba600422337120020042c660706eb0c0dcc144dd50210078a999827a9998278010999827800a504a229404ccc0bcdd5981418289baa009374c0064466e240040084c94ccc140cdc49bad3017305237540466eb4c064c148dd500408008a5033302f3756605060a26ea8024dd319998188019bae302e30513754605260a26ea8088dd7181418289baa3029305137540446eb4c058c144dd50111119b89001002163014375a602a60a06ea8084c0e4dd6980b18279baa005333302e333031375c6056609c6ea8c0e4c138dd500f9bae3025304e37546072609c6ea807cdd6981698271baa01f375c6056609c6ea8c058c138dd500f9bae3025304e3754602c609c6ea807d20023300f3758604a609a6ea80f8dd7181998269baa01e3375e606a6609c605260986ea8074cc138c08cc130dd500e99827181918261baa01d3304e3012304c375403a6609c606e60986ea8074cc138c0acc130dd500e99827180b18261baa01d3304e3026304c375403a6609c604860986ea8074cc138c04cc130dd500119827180898261baa01d3304e3017304c375403a6609c601a60986ea8074cc138c094c130dd500e99827180a98261baa01d3304e3014304c375403a97ae00023375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e2a66607c602c0202646644646464a6660886060608a6ea80044c8c94ccc118c0c8c11cdd500089919191929998252999825198071bac3024304c375407a6eb8c0c8c130dd500e8a9998250048a9998250040a99982500208008a5014a029405280992999825a99982580188008a50133302b37566048609a6ea801cdd319998168021bae302a304d3754604a609a6ea8078dd7181218269baa3025304d375403c6eb4c048c134dd500f1119b890010021533304b533304b003133304b0014a09445280992999826181c18269baa00113232533304e303a304f375400226464a6660a066e3cdd7182a98291baa003375c603a60a46ea808c54ccc14000840045280a5033302f3756605060a26ea802cdd30041119b8900100233302e3756604e60a06ea8008dd31998199bae302d30503754605060a06ea8084dd7181398281baa3028305037540426eb4c054c140dd50109119b8900100216302c304f37546058609e6ea8004c144c138dd50008b1981a1bac3033304d375407c01626660566eacc090c134dd50039ba6004223371200200466e3cdd7180b98261baa01d375c605260986ea807458cdd79ba73304d374e6609a605060966ea8c04cc12cdd500e19826981118259baa3013304b37540386609a98010120004bd7025eb80dd3981b9bab3036304b3754078601c6eb4c03cc128dd500d9998161bae302630493754602660926ea8068dd7181018249baa3013304937540346eb4c08cc124dd500d19b8f375c609660906ea8004dd7181298241baa019163024304737546048608e6ea8004c124c118dd50008b198161bac302b3045375406c00860406022602606a60306eb4c070c10cdd500a1bad3044001375a6088608a00260806ea80bc54ccc0f8cdc3a400c020264646464a666084a6660846600c6eb0c070c110dd501a9bae30213044375402a2a666084a6660840062944400840045280a50153330423008375a601260886ea80544c94ccc10cc0bcc110dd500089919192999823181918239baa00113253330473371e6eb8c130c124dd50011bae30143049375403420022940ccc098dd5980f98241baa003374c0044466e2400400858c090c11cdd5181218239baa002333029375c6046608c6ea8c078c118dd500b9bae301d30463754603c608c6ea805cdd6980598231baa0173048304537540022c660566eb0c0a8c110dd501a8020a51163375e6e9ccc114dd399822981018219baa300b304337540286608a603460866ea8c02cc10cdd500a19822a610120004bd7025eb80dd398179bab302e30433754068600a6eb8c0a0c108dd500999b88375a603460826ea8048c070c06cc104dd50191bad30433040375405e2a66607c66e1d20080101323322323232533304430303045375400226464a66608c6064608e6ea80044c8c94ccc120c080c124dd5000899198178008991919192999826a99982698099bad3016304f37540402a66609a0042a66609a0162a66609a0062a66609a66ebc00401440105280a5014a029405280a99982698099bad3014304f3754040264a66609c6074609e6ea80044c8c94ccc140c0f0c144dd500089919299982919b88375a603260a86ea8094dd6980c982a1baa00a15333052001100214a02940ccc0c4dd5981518299baa003374c66606c6eb8c0c0c14cdd5181598299baa024375c605460a66ea8c0acc14cdd50121bad3018305337540484466e24004008cdc79bae3055305237540026eb8c074c148dd50118b181718289baa302e3051375400260a660a06ea800458cc0d8dd6181a98279baa04000d14a22c606e660a06056609c6ea807ccc140c094c138dd500f99828181a18271baa01f330503014304e375403e660a06072609c6ea807ccc140c0b4c138dd500f99828180c18271baa01f330503028304e375403e660a0604c609c6ea807ccc140c054c138dd500f99828180998271baa004330503019304e3754008660a0601e609c6ea8010cc140c09cc138dd500f99828180b98271baa01f330503016304e375403e97ae03022375a604c609a6ea8078ccc0a8dd5981198261baa004374c6666058666605866605e6eb8c0a4c130dd5181b98261baa01d375c604660986ea8c0dcc130dd500e9bad302b304c375403a6eb8c0a4c130dd5181218261baa01d375c604660986ea8c090c130dd500e9bad3011304c37540046eb8c0a4c130dd5180a18261baa01d375c604660986ea8c050c130dd500ea40044466e24004008cdd7981418259baa0033028304b3754604460966ea8014c134c128dd50008b181798249baa001304b304837540022c6605c6eb0c0b4c11cdd501c003182498231baa001163011002302030110013012034375a60880026eb4c110c114004c100dd50178a99981f19b87480280404c8c8c8c94ccc108c0b8c10cdd5000899192999822181818229baa001132325333046301e304737540022646605a0022646464a66609466ebcc0d4cc138c0a4c130dd500e99827181198261baa01d3304e3032304c375403a6609c602460986ea8074cc138c0dcc130dd500e99827181598261baa01d3304e3016304c375403a6609c604c60986ea8074cc138c090c130dd500e99827180998261baa01d3304e4c010100003304e4c10140003304e4c10140003304e3025304c375403a6609c602a60986ea8074cc138c050c130dd500ea5eb8001054ccc12800454ccc12800854ccc128028400c5280a5014a02940cc034dd6181198259baa03c375c602c60966ea8070ccc0a0dd5981098251baa004374c666605466605a6eb8c09cc128dd5181a98251baa01b375c604260946ea8c0d4c128dd500d9bad3029304a37540366eb8c09cc128dd5180918251baa01b375c604260946ea8c048c128dd500da40044466e24004008cdd7981318249baa003302630493754604060926ea8014c12cc120dd50008b181698239baa0013049304637540022c660586eb0c0acc114dd501b002982398221baa00116300f002301e300f0013010032375a608660806ea80bc4c8cc88c8c8c94ccc110c0c0c114dd5000899192999823181918239baa0011323253330483020304937540022646605e0022646464a666098a66609866ebcc0dccc140c0acc138dd500f99828181298271baa01f330503019304e375403e660a0601e609c6ea807ccc140c0e4c138dd500f99828181698271baa01f330503018304e375403e660a06050609c6ea807ccc140c098c138dd500f998282601010000330504c1010000330504c1014000330504c1014000330503027304e375403e660a0602e609c6ea807ccc140c058c138dd500fa5eb8001054ccc13000854ccc13002854ccc13000c40045280a5014a0294054ccc130c044dd7181a18271baa01f14a2264a66609a6072609c6ea80044c8c94ccc13cc0ecc140dd500089929998281998181bab3029305237540066e98ccc0d4dd7181798291baa302a305237540466eb8c0a4c148dd5181518291baa0233370666e08dd6980c98291baa023375a603660a46ea808d20c801223371200200420022940cdc79bae3054305137540026eb8c0b8c144dd50110b181698281baa302d3050375400260a4609e6ea800458cc0d4dd6181a18271baa03f00c1633302b37566048609a6ea8014dd319998169998181bae302a304d37546070609a6ea8078dd7181218269baa3038304d375403c6eb4c0b0c134dd500f1bae302a304d3754602a609a6ea8078dd7181218269baa3015304d375403c90011119b890010023300e3758604860986ea80f4dd7181918261baa01d3375e605060966ea800cc0a0c12cdd5181118259baa005304d304a37540022c605e60926ea8004c12cc120dd50008b198171bac302d3047375407000c6092608c6ea800458c044008c080c044004c0480d0dd698220009bad304430450013040375405e4608660886088608860886088608860886088608860886088608800244646600200200644a66608600229404c94ccc104cdc79bae304600200414a2266006006002608c0026e3cdd7180d181e9baa00e371090001181f98201820182018201820182018201820182018200009181f181f981f981f8009181e981f181f181f181f181f181f181f181f181f0009181e181e981e981e981e981e981e981e981e981e981e981e981e981e981e981e8009181d981e181e181e181e181e181e181e181e181e181e181e181e181e181e0009181d181d981d981d981d981d981d8009181c981d181d181d181d181d181d181d181d181d181d181d0009299981b0008a60103d87a80001301e3303730380014bd70180080091299981a8008a4000266e012002330020023038001232330010013758602060666ea8008894ccc0d400452f5c026464a666068a6660686024606a6ea8c04cc0d8dd51809981b1baa300d30363754004294452809981c00119802002000899802002000981c801181b80098179baa01f3032302f37540022c60626064004606000260586ea806854ccc0a8c0580644c8c8c94ccc0b4c0640044c8c94ccc0c8c0d40085401058dd6981980098179baa01e1533302d300b00115333030302f375403c2a0042c2c605a6ea807454ccc0acc05cc0b0dd500e099192999816980c98171baa001132323253330303008303137540022646602e0022646464a6660680122a66606800c2a6660680062a666068004200229405280a5014a0a66606666e3cdd71806181a9baa300d30353754006056266e3cdd71809181a9baa300d3035375400605a2940c024dd69806981a1baa0023330113756601460666ea8010dd3199980999980b003813a40046eb8c040c0ccdd5180f18199baa001375c601460666ea8c078c0ccdd50009bad3012303337540024466e24004008c0d4c0c8dd50008b180b98189baa0023371e64a66605e601a60606ea80044dd7181a18189baa00116300d30303754601a60606ea8004010c0c8c0bcdd50008b1980a9bac3014302e375403e6eb4c0c4c0b8dd500e99baf374e6605e6e9ccc0bcdd4800998179ba90213302f4c10101004bd7025eb80dd3980c9bab3018302d375403c266ebcdd3998179ba73302f37520026605e6ea4084cc0bd30010120004bd7025eb80dd3980c9bab3018302d375403c6eb8c0bcc0b0dd500d0b1b8830063005302b37540386e1d20042302d302e0012302c302d302d302d302d302d302d302d302d0012302b302c302c302c302c302c302c302c302c302c302c302c302c302c0012302a302b302b302b302b302b302b302b001232533302530033026375400226eb4c0a8c09cdd50008b180198131baa3003302637540026e1d200223027001222533333302a00214a0264646464a646660560042a666050600200e26600c00690000a5013232533302a3375e605600498010140001533302a33008005375a6058605e6eacc0b00084c00cdd30008a501533302a33008005480004c00c024528181780198168011baf302c302d004375600aa66604a6022604c6ea80044dd6981398151bab302a30273754002290001814800991998008008021119815001198151ba60014bd701112999814801099800a6103d87a80004bd6f7b630099191919299981519b91489000021533302a3371e91010000213300530153302e374c00297ae00031330054c103d87a80000061333007007003223300700233030337606ea4010dd30018009bab302b003375c6052004605a006605600429405280a50230253026302630263026302600122225333022300e00110041323233001001006225333028001133029337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0a4cdc800500109981699bb037520146e9801c01454ccc0a4cdc78050010992999815180b18159baa00113302e337606ea402cc0bcc0b0dd5000802080219299981529998168008a5114a02980103d87a8000130153302e374c00297ae0323300100100222533302e00113302f337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0bccdc800780109981999bb0375201e6ea003801454ccc0bccdc78078010992999818180e18189baa001133034337606ea4040c0d4c0c8dd50008020802192999818180e0008a6103d87a80001301b33034375000297ae03370000201c26606666ec0dd48011ba800133006006003375a60600066eb8c0b8008c0c8008c0c00044cc0b4cdd81ba9002374c0026600c00c0066eacc0a800cdd7181400118160011815000991900118030009981319bb037520046ea00052f5bded8c0600200244a66604200229309929998110008a4c26464a66604266e40dd7181118130021bae30220021330050053302500200116302600230240013024001222533301e300a00114bd6f7b6300991919800800a5eb7bdb180894ccc0900044cc094cdd81ba9006374c00697adef6c6013232323253330253372001400426605266ec0dd48051ba6007005153330253371e01400426605266ec0dd48051ba6007003133029337606ea4008dd3000998030030019bab3026003375c60480046050004604c002646600200297adef6c60225333023001133024337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc090cdc800400109981419bb037520106ea001c01454ccc090cdc780400109981419bb037520106ea001c00c4cc0a0cdd81ba900237500026600c00c0066eb4c09400cdd718118011813801181280091299980e1804180e9baa00213232323232323232323232323232323232323232323232323232323232323232533303f304200213302301713302301313302300f133023001150211630400013040002375a607c002607c0046eb4c0f0004c0f0008dd7181d000981d0011bae30380013038002375a606c002606c0046eb4c0d0004c0d0008c0c8004c0c8008dd698180009818001181700098170011bad302c001302c002302a001302a002375c605000260500046eb8c098004c098008dd7181200098120011bae3022001301e37540042c44a666036600e60386ea80084c8c8c8c94ccc088c0940085401458dd7181180098118011bae3021001301d37540042c4603c603e603e0026002002444a666038004298103d87a800013232533301b3007003130063301f0024bd70099980280280099b8000348004c08000cc078008dd2a40006e1d200023019301a301a301a301a0012323300100100222533301800114bd70099199911191980080080191299980f0008801899198101ba733020375200c66040603a00266040603c00297ae03300300330220023020001375c602e0026eacc060004cc00c00cc070008c068004c048dd5000980a980b001180a000980a001180900098071baa00114984d958dd70009bae001375c0026eb8004dd7000ab9a5573aaae7955cfaba05742ae895d201",
      "hash": "189df578ed7bad1fa9795c3fabba4abde23eedb367671a370d188fe4"
    }
  ],
  "definitions": {
    "AddressHash": {
      "title": "AddressHash",
      "dataType": "bytes"
    },
    "AssetName": {
      "title": "AssetName",
      "dataType": "bytes"
    },
    "ByteArray": {
      "dataType": "bytes"
    },
    "Int": {
      "dataType": "integer"
    },
    "PolicyId": {
      "title": "PolicyId",
      "dataType": "bytes"
    },
    "types/AssetClass": {
      "title": "AssetClass",
      "anyOf": [
        {
          "title": "AssetClass",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "policy_id",
              "$ref": "#/definitions/PolicyId"
            },
            {
              "title": "asset_name",
              "$ref": "#/definitions/AssetName"
            }
          ]
        }
      ]
    },
    "types/MintRedeemer": {
      "title": "MintRedeemer",
      "anyOf": [
        {
          "title": "Mint",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Burn",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/OptionDatum": {
      "title": "OptionDatum",
      "anyOf": [
        {
          "title": "OptionDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "issuer_pub_key_hash",
              "$ref": "#/definitions/AddressHash"
            },
            {
              "title": "issuer_bech32_address",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "current_owner_pub_key_hash",
              "$ref": "#/definitions/AddressHash"
            },
            {
              "title": "current_owner_bech32_address",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "from_asset",
              "$ref": "#/definitions/types~1AssetClass"
            },
            {
              "title": "from_asset_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "to_asset",
              "$ref": "#/definitions/types~1AssetClass"
            },
            {
              "title": "to_asset_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "stable_asset",
              "$ref": "#/definitions/types~1AssetClass"
            },
            {
              "title": "sell_stable_asset_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "highest_bid",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "highest_bidder_pub_key_hash",
              "$ref": "#/definitions/AddressHash"
            },
            {
              "title": "highest_bidder_address",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "deadline",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "commission",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "minted_asset",
              "$ref": "#/definitions/types~1AssetClass"
            }
          ]
        }
      ]
    },
    "types/Redeemer": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "BuyOption",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "ChangeSellPrice",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "ExerciseOption",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "CancelOption",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "PlaceBid",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "CancelBid",
          "dataType": "constructor",
          "index": 5,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "AcceptBid",
          "dataType": "constructor",
          "index": 6,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            },
            {
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    }
  }
}