plutus.json

{
  "preamble": {
    "title": "sundae/contracts",
    "description": "Experimental port of SundaeSwap to Aiken",
    "version": "0.0.0",
    "plutusVersion": "v2",
    "compiler": {
      "name": "Aiken",
      "version": "v1.0.26-alpha+075668b"
    },
    "license": "Apache-2.0"
  },
  "validators": [
    {
      "title": "documentation.spend",
      "datum": {
        "title": "_d",
        "schema": {
          "$ref": "#/definitions/types~1order~1OrderDatum"
        }
      },
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "compiledCode": "5906290100003232323232322322253330054a229309b2b191919191919192999804980398051baa00813232323232323232323232325333018301a002132323232498c94ccc064c05c0044c8c94ccc078c0800084c92632533301c301a0011323253330213023002149858dd71810800980f1baa0021533301c30190011323253330213023002149858dd71810800980f1baa00216301c37540022c603c00260366ea801c54ccc064c0580044c8c8c8c94ccc080c0880084c8c926323232323253330263028002149858dd6981300098130011bae30240013024003375c60440046464646464a66604a604e0042930b1bad30250013025002375c604600260460086eb8c08400c58dd6181000098100011bac301e001301b375400e2a666032602600226464a66603c6040004264931919191919191919299981318140010a4c2c6eb4c098004c098008dd7181200098120019bae3022002323232323253330253027002149858dd6981280098128011bae30230013023003375c60420046eb0c078008dd6180e0008b19299980f18101810000899bb0301f001301f3020001163758603c00260366ea801c54ccc064cdc3a400c00226464a66603c6040004264931919191919299981198128010a4c2c6eb4c08c004c08c008dd7181080098108011bae301f001163758603c00260366ea801c54ccc064cdc3a401000226464a66603c6040004264931919191919191919299981318140010a4c2c6eb4c098004c098008dd7181200098120019bae3022002323232323253330253027002149858dd6981280098128011bae30230013023003375c60420046eb0c078008dd6180e0008b19299980f18101810000899bb0301f001301f3020001163758603c00260366ea801c54ccc064cdc3a401400226464a66603c604000426493191bae301e002375c60380022c64a66603c60406040002266ec0c07c004c07cc08000458dd6180f000980d9baa007163019375400c64a666030602c002264646464a66603e6042004264649319299980f180e0008a99981098101baa00314985854ccc078c06c0044c8c94ccc08cc09400852616375c604600260406ea800c54ccc078c0600044c8c94ccc08cc094008526163023001302037540062c603c6ea80094ccc070c068c074dd5001899191919299981198128010991924c64a666044604000226464a66604e6052004264931929998129811800899192999815181600109924c60460022c6054002604e6ea800854ccc094c0880044c8c8c8c8c8c94ccc0b8c0c000852616375a605c002605c0046eb4c0b0004c0b0008dd6981500098139baa00216302537540022c604e00260486ea800c54ccc088c07c00454ccc094c090dd50018a4c2c2c60446ea8008c07000c58c08c004c08c008c084004c078dd50018b0b180f800980f801180e800980d1baa0081533301830150011533301b301a37540102930b0b180c1baa007300e00a325333016301400113232533301b301d002149858dd7180d800980c1baa00c15333016301300115333019301837540182930b0b180b1baa00b16301800130180023016001301600230140013014002375a6024002602400460200026020004601c00260166ea802058c00400488c94ccc028c0200044c8c94ccc03cc04400852616375c601e00260186ea800854ccc028c01c0044c8c94ccc03cc0440084c92633007001233006006001163758601e00260186ea800854ccc028c0100044c8c94ccc03cc0440084c92633007001233006006001163758601e00260186ea800854ccc028cdc3a400c002264646464a666022602600426493198048009198040040008b1bac30110013011002375a601e00260186ea800854ccc028cdc3a401000226464a66601e60220042930b1bad300f001300c37540042a66601466e1d200a00113232533300f3011002149858dd6980780098061baa0021533300a3370e900600089919299980798088010a4c2c6eb8c03c004c030dd50010b18051baa001370e90021119198008008019129998060008a4c26466006006601e0046006601a002464a66600c600800226464a666016601a0042930b1bae300b001300837540042a66600c600600226464a666016601a0042930b1bae300b001300837540042c600c6ea8004dc3a40046e1d20005734aae7555cf2ab9f5742ae89",
      "hash": "fdf6390e10925e2d3730af90b67c463677a8c357453472dd2da342e5"
    },
    {
      "title": "oracle.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/types~1oracle~1OracleDatum"
        }
      },
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$Data"
        }
      },
      "compiledCode": "5915fe010000332323232323232232225323232323232323233300d3001300e375401226464a66601ea66601e600660206ea80304c8c8c8c8c94ccc050c020c054dd5000899191919191919299980d9807980e1baa001132533301c3375e6008603c6ea8c010c078dd5000980b998101ba901a4bd70099299980e98091998009bab300b301f375400401200c264a66603c6028603e6ea80044c8c8c8c8c8c8c8c8c8c8c8cdc42400060546ea8c0acc8ccc004004dd6180898161baa3012302c375404c97bdb1810100000103d87a8000222533302f00210011333003003303200232323232533303030240011337606ea000cccc0c0009300103d87a80004c0103d87980001533303030250011325333031302530323754002264a666064604c60666ea80044c8c8c94ccc0d4c0a4c0d8dd500089919191919299981d19baf3022303c3754604460786ea8038c0d4cc0f8dd481325eb804c94ccc0ecc0bcc0f0dd500089919299981e99baf302b303f375400460846086608660866086608660866086607e6ea8c094c0fcdd501c8a99981e99b8f375c6048607e6ea80080b454ccc0f4cdd79812981f9baa0020051533303d3375e6e9c05cc108c10cc10cc10cc0fcdd50010a99981e99baf374e02c60846086608660866086607e6ea800854ccc0f4cdd79ba70153006303f3754004266ec0dd419b8001048008ccc0f403d30103d87a80004c0103d879800016161616161632533303d3031303e37540042646464646464646464646464a666098609e00426464646464931919191919299982a982c0010a4c2c6eb4c158004c158008dd7182a000982a0031bae3052005323232323253330543057002149858dd6982a800982a8011bae30530013053007375c60a200c6464646464a6660a660ac0042930b1bad30540013054002375c60a400260a40106eb8c14001d4ccc128c0f8c12cdd50050991919192999828982a0010991924c602600460240062c60a400260a400460a000260986ea802858c0a402c58dd6182680098268011bac304b001304b0023758609200260920046eb8c11c004c11c008c114004c114008c10c004c0fcdd50010b1299981e9818981f1baa00113232323253330443047002132498c94ccc108c0d800454ccc114c110dd50020a4c2c2a666084606e00226464a66608e60940042930b1bad3048001304437540082a66608460700022a66608a60886ea80105261616304237540062c64a66608860860022a666082606c6084002294454ccc104c0d4c1080045280b0b1baa304500130450023043001303f37540022c6080607a6ea800458cc01cdd59804181e1baa3022303c375406c01c2c6032002600260746ea800c8c0f4c0f8c0f8c0f8c0f8c0f8004c94ccc0dcc0acc0e0dd500109919191919191919191919192999823182480109919191924c64a66608e607600226464a666098609e00426493192999825181f00089919299982798290010a4c2c6eb8c140004c130dd50010a999825181f80089919299982798290010a4c2c6eb8c140004c130dd50010b18251baa00116304d0013049375400e2a66608e6078002264646464a66609c60a200426464931919191919299982a182b8010a4c2c6eb4c154004c154008dd7182980098298019bae3051002323232323253330533056002149858dd6982a000982a0011bae30520013052004375c60a00062c6eb0c13c004c13c008dd6182680098249baa00715333047303d00113232533304c304f002132498c8c8c8c8c8c8c8c94ccc150c15c00852616375a60aa00260aa0046eb8c14c004c14c00cdd7182880119191919192999829982b0010a4c2c6eb4c150004c150008dd7182900098290019bae3050002375860980046eb0c12800458c94ccc130c13cc13c0044cdd81827000982718278008b1bac304d0013049375400e2a66608e608000226464a666098609e0042649319191919192999828982a0010a4c2c6eb4c148004c148008dd7182800098280011bae304e001163758609a00260926ea801c54ccc11cc0fc0044c8c94ccc130c13c0084c926323232323232323253330543057002149858dd6982a800982a8011bae30530013053003375c60a20046464646464a6660a660ac0042930b1bad30540013054002375c60a400260a40066eb8c140008dd618260011bac304a0011632533304c304f304f001133760609c002609c609e0022c6eb0c134004c124dd50038a999823981f000899192999826182780109924c646eb8c130008dd718250008b19299982618279827800899bb0304e001304e304f001163758609a00260926ea801c58c11cdd5003192999823181d000899191919299982698280010991924c64a66609860800022a66609e609c6ea800c526161533304c30410011323253330513054002149858dd7182900098271baa0031533304c30420011323253330513054002149858c148004c138dd50018b18261baa002533304a303e304b3754006264646464a6660a260a80042646493192999828182200089919299982a982c00109924c64a6660a6608e00226464a6660b060b600426493180f8008b182c800982a9baa0021533305330480011323232323232533305c305f002149858dd6982e800982e8011bad305b001305b002375a60b200260aa6ea800858c14cdd50008b182b00098291baa00315333050304500115333053305237540062930b0b18281baa002301800316305200130520023050001304c37540062c2c609c002609c004609800260906ea802054ccc118c0ec00454ccc124c120dd50040a4c2c2c608c6ea801cc090028c94ccc110c0e00044c8c94ccc124c13000852616375c6094002608c6ea803054ccc110c0e400454ccc11cc118dd50060a4c2c2c60886ea802c58c11c004c11c008c114004c114008c10c004c10c008dd698208009820801181f800981f801181e800981c9baa002162325333038302c00113232533303d3040002149858dd7181f000981d1baa00215333038302d00113232533303d3040002149858dd7181f000981d1baa00216303837540026074606e6ea800458cc004dd59801181b1baa301c303637540606044606c6ea8c0e4c0d8dd5001911919299981b98158008a6103d87a800015333037302c001132323300100100622533303d00114c0103d87a80001323232533303d3371e00c6eb8c0f800c4c0dccc1040052f5c026600a00a004607c0046082004607e0026eb8c0f0c0e4dd5001098189981d981e181c9baa0024bd70181b9baa001301c303737540024607060726072607260726072607260726072607260720022c66646002002444a66606e004298103d87a8000132325333036302a003130303303a0024bd70099980280280099b8000348004c0ec00cc0e4008dd6180c98199baa30193033375405a6eb4c0d8c0ccdd50008b19991800800911299981b0010a60103d87a800013232533303530290031302f33039375000497ae01333005005001337000069000981d0019bad303800201f00314bded8c010100000103d87980003330133756603a60626ea800c06d2201066f7261636c650033710900018179baa3030003375a605c0046062004660586ea4098cc0b0dd4809198161816981700325eb80cc0acc0a0008cc0acc0a4008cc0acdd41998059bab3015302937540186eb8c0a0008dd7181480125eb80cc0a8c09c008cc0a8c0a0008cc0a8dd41998051bab3014302837540166eb8c09c008dd7181400125eb80c8cdd81815800981598160009bac302700232337606054002605460560026eb0c094004c8cdd81814800981498150009bac3028001302830243754008a666042602a60446ea800c4c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0d0c0dc0084c8c9263253330333027001132325333038303b002132498c05400458c0e4004c0d4dd50038a99981998140008a99981b181a9baa00714985858c0ccdd5003191919191bae3037003375c606a004646eb8c0d800cdd7181a0011919bb03038001303830390013758606801c6466ec0c0dc004c0dcc0e0004dd618190068b1bad30350013035002375a60660026066004606200260620046eb4c0bc004c0bc008dd6981680098168011bad302b001302b002325333028302b302b0011337606054002605460560022c6eb0c0a4004c0a4008dd7181380098119baa003163001001223253330223016001132325333027302a002149858dd7181400098121baa002153330223017001132325333027302a002132498cc05c0048cc01801800458dd6181400098121baa002153330223018001132325333027302a002132498cc05c0048cc01801800458dd6181400098121baa00215333022301b0011323232325333029302c002132498cc0640048cc02002000458dd6181500098150011bad3028001302437540042a666044603400226464a66604e60540042930b1bad3028001302437540042a666044603200226464a66604e60540042930b1bad3028001302437540042a66604466e1d200c001132325333027302a002149858dd7181400098121baa0021630223754002604660406ea800458c010c07cdd50010b111192999810180a98109baa0011480004dd6981298111baa0013253330203015302137540022980103d87a8000132330010013756604c60466ea8008894ccc094004530103d87a8000132323253330253371e00e6eb8c09800c4c07ccc0a4dd4000a5eb804cc014014008dd698130011814801181380099198008008021129998120008a6103d87a8000132323253330243371e00e6eb8c09400c4c078cc0a0dd3000a5eb804cc014014008dd59812801181400118130008b1810180e9baa0011632533301e00114c103d87a8000130153301f30200014bd701bac3001301c3754600460386ea80588c07cc080c0800048c078004cc009220104000de14000007330014881040014df100000622337140040026eb8c064c058dd50008b1800980a9baa00f2301830190013758602c602e0046eb8c054004c044dd50060a5114984d958c94ccc03cc00c0044c8c8c8c94ccc058c0640084c926330060012375a0022c6eb0c05c004c05c008dd7180a80098089baa00c1533300f300400115333012301137540182930b0b18079baa00b22323300100100322533301400114984c8cc00c00cc060008c00cc0580044cc8894ccc040c8c8c94ccc04cc020c050dd500089919299980a9999911119198008008029119299980e180800089919198008008041129998110008a5013253330203371e6eb8c09400801052889980180180098128009bae3021301e37540042a66603860220022660106eb0c084c078dd50011198020020008a99980e1809000899198008009bac3022301f375400644a66604200229404c94ccc07ccc018018c09000852889980180180098120008a99980e180a80089919b89375a6044002646660020026eb0c08cc09000920002225333023002100113330030033026002533302033007007302500213370000290010800980f1baa0021533301c301400113232533301e3013301f3754002264a66603e64a66604660440022a666040602a6042002294454ccc080c050c0840045280b0b1baa300f30213754601e60426ea80204cdc4800801899b88001003375a604660406ea80045281806180f9baa300d301f375400c6eb4c084c078dd50010a99980e180980089919299980f1809980f9baa001132533301f3253330233022001153330203015302100114a22a6660406028604200229405858dd5180798109baa300e30213754010266e2400c0044cdc40018009bad3023302037540022940c030c07cdd51806180f9baa006375a6042603c6ea80084c8c8cc004004018894ccc088004528099299981019baf0043021302500214a2266006006002604a002602c66040602e660406042603c6ea80092f5c097ae0301c37540026008602e6ea8048dd6180d180d980d980d980d980d980d980d980d980b9baa30043017375400c60346036603660366036603660366036602e6ea8c010c05cdd50031bab301a301b301b301b301b301b301b301737546008602e6ea80184cc004dd6180d180d980d980b9baa30043017375400c4601464a66602e601860306ea8004520001375a603860326ea8004c94ccc05cc030c060dd50008a6103d87a8000132330010013756603a60346ea8008894ccc070004530103d87a80001323232533301c3371e911066f7261636c6500375c603a0062602c660406ea00052f5c026600a00a0046eb4c074008c080008c078004c8cc004004dd59803980c9baa00222533301b00114c103d87a80001323232533301b3371e0106eb8c07000c4c054cc07cdd3000a5eb804cc014014008dd5980e001180f801180e8008a5022323300100100322533301b00114a2264a6660326008603c0042660060060022940c078004dd7180c180a9baa00116300130143754600260286ea8c94ccc04cc020c050dd5000899299980a1804180a9baa00113004301637546032602c6ea800458cc88c8cc00400400c894ccc0680045300103d87a80001323253330193375e601060366ea80080144c04ccc0740092f5c0266008008002603c00460380026eb0c008c054dd51801180a9baa0043018301537540022c600460286ea800c8c05c0048c058c05c0045261365632323232533301130053012375401c2646464646464646464646464a666040604600426464646464931919191919299981498160010a4c2c6eb4c0a8004c0a8008dd7181400098140031bae302600532323232325333028302b002149858dd6981480098148011bae30270013027007375c604a00c6464646464a66604e60540042930b1bad30280013028002375c604c002604c0106eb8c09001d4ccc078c048c07cdd5005099191919299981298140010991924c602a00460280062c604c002604c004604800260406ea802858c03402c58dd6181080098108011bac301f001301f0023758603a002603a0046eb8c06c004c06c008c064004c064008c05c004c04cdd50070b180080091192999809180300089919299980b980d0010a4c2c6eb8c060004c050dd50010a999809180380089919299980b980d00109924c6600e00246600c00c0022c6eb0c060004c050dd50010a999809180400089919299980b980d00109924c6600e00246600c00c0022c6eb0c060004c050dd50010a9998091805800899191919299980c980e00109924c660120024660100100022c6eb0c068004c068008dd6980c000980a1baa00215333012300a001132325333017301a002149858dd6980c000980a1baa002153330123009001132325333017301a002149858dd6980c000980a1baa002153330123370e900600089919299980b980d0010a4c2c6eb8c060004c050dd50010b18091baa0012533300f300330103754002264646464a66602c60320042649319299980a18040008a99980b980b1baa00414985854ccc050c0240044c8c94ccc064c07000852616375a6034002602c6ea801054ccc050c02800454ccc05cc058dd50020a4c2c2c60286ea800c58c94ccc058c05400454ccc04cc020c0500045288a9998099803980a0008a5016163754602e002602e004602a00260226ea80045888c8cc00400400c894ccc050004526132330030033018002300330160013012300f37540126e1d2000370e90011b8748010dc3a40146e1d2008370e90031ba548000dd2a40046eb80055cd2ab9d5573caae7d5d02ba157449811e581ce0302560ced2fdcbfcb2602697df970cd0d6a38f94b32703f51c312b0001",
      "hash": "f50153654bd0e167563cd0bbbff1b73c40157e53408a0ef517e67a5d"
    },
    {
      "title": "oracle.mint",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/types~1oracle~1OracleRedeemer"
        }
      },
      "compiledCode": "5915fe010000332323232323232232225323232323232323233300d3001300e375401226464a66601ea66601e600660206ea80304c8c8c8c8c94ccc050c020c054dd5000899191919191919299980d9807980e1baa001132533301c3375e6008603c6ea8c010c078dd5000980b998101ba901a4bd70099299980e98091998009bab300b301f375400401200c264a66603c6028603e6ea80044c8c8c8c8c8c8c8c8c8c8c8cdc42400060546ea8c0acc8ccc004004dd6180898161baa3012302c375404c97bdb1810100000103d87a8000222533302f00210011333003003303200232323232533303030240011337606ea000cccc0c0009300103d87a80004c0103d87980001533303030250011325333031302530323754002264a666064604c60666ea80044c8c8c94ccc0d4c0a4c0d8dd500089919191919299981d19baf3022303c3754604460786ea8038c0d4cc0f8dd481325eb804c94ccc0ecc0bcc0f0dd500089919299981e99baf302b303f375400460846086608660866086608660866086607e6ea8c094c0fcdd501c8a99981e99b8f375c6048607e6ea80080b454ccc0f4cdd79812981f9baa0020051533303d3375e6e9c05cc108c10cc10cc10cc0fcdd50010a99981e99baf374e02c60846086608660866086607e6ea800854ccc0f4cdd79ba70153006303f3754004266ec0dd419b8001048008ccc0f403d30103d87a80004c0103d879800016161616161632533303d3031303e37540042646464646464646464646464a666098609e00426464646464931919191919299982a982c0010a4c2c6eb4c158004c158008dd7182a000982a0031bae3052005323232323253330543057002149858dd6982a800982a8011bae30530013053007375c60a200c6464646464a6660a660ac0042930b1bad30540013054002375c60a400260a40106eb8c14001d4ccc128c0f8c12cdd50050991919192999828982a0010991924c602600460240062c60a400260a400460a000260986ea802858c0a402c58dd6182680098268011bac304b001304b0023758609200260920046eb8c11c004c11c008c114004c114008c10c004c0fcdd50010b1299981e9818981f1baa00113232323253330443047002132498c94ccc108c0d800454ccc114c110dd50020a4c2c2a666084606e00226464a66608e60940042930b1bad3048001304437540082a66608460700022a66608a60886ea80105261616304237540062c64a66608860860022a666082606c6084002294454ccc104c0d4c1080045280b0b1baa304500130450023043001303f37540022c6080607a6ea800458cc01cdd59804181e1baa3022303c375406c01c2c6032002600260746ea800c8c0f4c0f8c0f8c0f8c0f8c0f8004c94ccc0dcc0acc0e0dd500109919191919191919191919192999823182480109919191924c64a66608e607600226464a666098609e00426493192999825181f00089919299982798290010a4c2c6eb8c140004c130dd50010a999825181f80089919299982798290010a4c2c6eb8c140004c130dd50010b18251baa00116304d0013049375400e2a66608e6078002264646464a66609c60a200426464931919191919299982a182b8010a4c2c6eb4c154004c154008dd7182980098298019bae3051002323232323253330533056002149858dd6982a000982a0011bae30520013052004375c60a00062c6eb0c13c004c13c008dd6182680098249baa00715333047303d00113232533304c304f002132498c8c8c8c8c8c8c8c94ccc150c15c00852616375a60aa00260aa0046eb8c14c004c14c00cdd7182880119191919192999829982b0010a4c2c6eb4c150004c150008dd7182900098290019bae3050002375860980046eb0c12800458c94ccc130c13cc13c0044cdd81827000982718278008b1bac304d0013049375400e2a66608e608000226464a666098609e0042649319191919192999828982a0010a4c2c6eb4c148004c148008dd7182800098280011bae304e001163758609a00260926ea801c54ccc11cc0fc0044c8c94ccc130c13c0084c926323232323232323253330543057002149858dd6982a800982a8011bae30530013053003375c60a20046464646464a6660a660ac0042930b1bad30540013054002375c60a400260a40066eb8c140008dd618260011bac304a0011632533304c304f304f001133760609c002609c609e0022c6eb0c134004c124dd50038a999823981f000899192999826182780109924c646eb8c130008dd718250008b19299982618279827800899bb0304e001304e304f001163758609a00260926ea801c58c11cdd5003192999823181d000899191919299982698280010991924c64a66609860800022a66609e609c6ea800c526161533304c30410011323253330513054002149858dd7182900098271baa0031533304c30420011323253330513054002149858c148004c138dd50018b18261baa002533304a303e304b3754006264646464a6660a260a80042646493192999828182200089919299982a982c00109924c64a6660a6608e00226464a6660b060b600426493180f8008b182c800982a9baa0021533305330480011323232323232533305c305f002149858dd6982e800982e8011bad305b001305b002375a60b200260aa6ea800858c14cdd50008b182b00098291baa00315333050304500115333053305237540062930b0b18281baa002301800316305200130520023050001304c37540062c2c609c002609c004609800260906ea802054ccc118c0ec00454ccc124c120dd50040a4c2c2c608c6ea801cc090028c94ccc110c0e00044c8c94ccc124c13000852616375c6094002608c6ea803054ccc110c0e400454ccc11cc118dd50060a4c2c2c60886ea802c58c11c004c11c008c114004c114008c10c004c10c008dd698208009820801181f800981f801181e800981c9baa002162325333038302c00113232533303d3040002149858dd7181f000981d1baa00215333038302d00113232533303d3040002149858dd7181f000981d1baa00216303837540026074606e6ea800458cc004dd59801181b1baa301c303637540606044606c6ea8c0e4c0d8dd5001911919299981b98158008a6103d87a800015333037302c001132323300100100622533303d00114c0103d87a80001323232533303d3371e00c6eb8c0f800c4c0dccc1040052f5c026600a00a004607c0046082004607e0026eb8c0f0c0e4dd5001098189981d981e181c9baa0024bd70181b9baa001301c303737540024607060726072607260726072607260726072607260720022c66646002002444a66606e004298103d87a8000132325333036302a003130303303a0024bd70099980280280099b8000348004c0ec00cc0e4008dd6180c98199baa30193033375405a6eb4c0d8c0ccdd50008b19991800800911299981b0010a60103d87a800013232533303530290031302f33039375000497ae01333005005001337000069000981d0019bad303800201f00314bded8c010100000103d87980003330133756603a60626ea800c06d2201066f7261636c650033710900018179baa3030003375a605c0046062004660586ea4098cc0b0dd4809198161816981700325eb80cc0acc0a0008cc0acc0a4008cc0acdd41998059bab3015302937540186eb8c0a0008dd7181480125eb80cc0a8c09c008cc0a8c0a0008cc0a8dd41998051bab3014302837540166eb8c09c008dd7181400125eb80c8cdd81815800981598160009bac302700232337606054002605460560026eb0c094004c8cdd81814800981498150009bac3028001302830243754008a666042602a60446ea800c4c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0d0c0dc0084c8c9263253330333027001132325333038303b002132498c05400458c0e4004c0d4dd50038a99981998140008a99981b181a9baa00714985858c0ccdd5003191919191bae3037003375c606a004646eb8c0d800cdd7181a0011919bb03038001303830390013758606801c6466ec0c0dc004c0dcc0e0004dd618190068b1bad30350013035002375a60660026066004606200260620046eb4c0bc004c0bc008dd6981680098168011bad302b001302b002325333028302b302b0011337606054002605460560022c6eb0c0a4004c0a4008dd7181380098119baa003163001001223253330223016001132325333027302a002149858dd7181400098121baa002153330223017001132325333027302a002132498cc05c0048cc01801800458dd6181400098121baa002153330223018001132325333027302a002132498cc05c0048cc01801800458dd6181400098121baa00215333022301b0011323232325333029302c002132498cc0640048cc02002000458dd6181500098150011bad3028001302437540042a666044603400226464a66604e60540042930b1bad3028001302437540042a666044603200226464a66604e60540042930b1bad3028001302437540042a66604466e1d200c001132325333027302a002149858dd7181400098121baa0021630223754002604660406ea800458c010c07cdd50010b111192999810180a98109baa0011480004dd6981298111baa0013253330203015302137540022980103d87a8000132330010013756604c60466ea8008894ccc094004530103d87a8000132323253330253371e00e6eb8c09800c4c07ccc0a4dd4000a5eb804cc014014008dd698130011814801181380099198008008021129998120008a6103d87a8000132323253330243371e00e6eb8c09400c4c078cc0a0dd3000a5eb804cc014014008dd59812801181400118130008b1810180e9baa0011632533301e00114c103d87a8000130153301f30200014bd701bac3001301c3754600460386ea80588c07cc080c0800048c078004cc009220104000de14000007330014881040014df100000622337140040026eb8c064c058dd50008b1800980a9baa00f2301830190013758602c602e0046eb8c054004c044dd50060a5114984d958c94ccc03cc00c0044c8c8c8c94ccc058c0640084c926330060012375a0022c6eb0c05c004c05c008dd7180a80098089baa00c1533300f300400115333012301137540182930b0b18079baa00b22323300100100322533301400114984c8cc00c00cc060008c00cc0580044cc8894ccc040c8c8c94ccc04cc020c050dd500089919299980a9999911119198008008029119299980e180800089919198008008041129998110008a5013253330203371e6eb8c09400801052889980180180098128009bae3021301e37540042a66603860220022660106eb0c084c078dd50011198020020008a99980e1809000899198008009bac3022301f375400644a66604200229404c94ccc07ccc018018c09000852889980180180098120008a99980e180a80089919b89375a6044002646660020026eb0c08cc09000920002225333023002100113330030033026002533302033007007302500213370000290010800980f1baa0021533301c301400113232533301e3013301f3754002264a66603e64a66604660440022a666040602a6042002294454ccc080c050c0840045280b0b1baa300f30213754601e60426ea80204cdc4800801899b88001003375a604660406ea80045281806180f9baa300d301f375400c6eb4c084c078dd50010a99980e180980089919299980f1809980f9baa001132533301f3253330233022001153330203015302100114a22a6660406028604200229405858dd5180798109baa300e30213754010266e2400c0044cdc40018009bad3023302037540022940c030c07cdd51806180f9baa006375a6042603c6ea80084c8c8cc004004018894ccc088004528099299981019baf0043021302500214a2266006006002604a002602c66040602e660406042603c6ea80092f5c097ae0301c37540026008602e6ea8048dd6180d180d980d980d980d980d980d980d980d980b9baa30043017375400c60346036603660366036603660366036602e6ea8c010c05cdd50031bab301a301b301b301b301b301b301b301737546008602e6ea80184cc004dd6180d180d980d980b9baa30043017375400c4601464a66602e601860306ea8004520001375a603860326ea8004c94ccc05cc030c060dd50008a6103d87a8000132330010013756603a60346ea8008894ccc070004530103d87a80001323232533301c3371e911066f7261636c6500375c603a0062602c660406ea00052f5c026600a00a0046eb4c074008c080008c078004c8cc004004dd59803980c9baa00222533301b00114c103d87a80001323232533301b3371e0106eb8c07000c4c054cc07cdd3000a5eb804cc014014008dd5980e001180f801180e8008a5022323300100100322533301b00114a2264a6660326008603c0042660060060022940c078004dd7180c180a9baa00116300130143754600260286ea8c94ccc04cc020c050dd5000899299980a1804180a9baa00113004301637546032602c6ea800458cc88c8cc00400400c894ccc0680045300103d87a80001323253330193375e601060366ea80080144c04ccc0740092f5c0266008008002603c00460380026eb0c008c054dd51801180a9baa0043018301537540022c600460286ea800c8c05c0048c058c05c0045261365632323232533301130053012375401c2646464646464646464646464a666040604600426464646464931919191919299981498160010a4c2c6eb4c0a8004c0a8008dd7181400098140031bae302600532323232325333028302b002149858dd6981480098148011bae30270013027007375c604a00c6464646464a66604e60540042930b1bad30280013028002375c604c002604c0106eb8c09001d4ccc078c048c07cdd5005099191919299981298140010991924c602a00460280062c604c002604c004604800260406ea802858c03402c58dd6181080098108011bac301f001301f0023758603a002603a0046eb8c06c004c06c008c064004c064008c05c004c04cdd50070b180080091192999809180300089919299980b980d0010a4c2c6eb8c060004c050dd50010a999809180380089919299980b980d00109924c6600e00246600c00c0022c6eb0c060004c050dd50010a999809180400089919299980b980d00109924c6600e00246600c00c0022c6eb0c060004c050dd50010a9998091805800899191919299980c980e00109924c660120024660100100022c6eb0c068004c068008dd6980c000980a1baa00215333012300a001132325333017301a002149858dd6980c000980a1baa002153330123009001132325333017301a002149858dd6980c000980a1baa002153330123370e900600089919299980b980d0010a4c2c6eb8c060004c050dd50010b18091baa0012533300f300330103754002264646464a66602c60320042649319299980a18040008a99980b980b1baa00414985854ccc050c0240044c8c94ccc064c07000852616375a6034002602c6ea801054ccc050c02800454ccc05cc058dd50020a4c2c2c60286ea800c58c94ccc058c05400454ccc04cc020c0500045288a9998099803980a0008a5016163754602e002602e004602a00260226ea80045888c8cc00400400c894ccc050004526132330030033018002300330160013012300f37540126e1d2000370e90011b8748010dc3a40146e1d2008370e90031ba548000dd2a40046eb80055cd2ab9d5573caae7d5d02ba157449811e581ce0302560ced2fdcbfcb2602697df970cd0d6a38f94b32703f51c312b0001",
      "hash": "f50153654bd0e167563cd0bbbff1b73c40157e53408a0ef517e67a5d"
    },
    {
      "title": "order.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/types~1order~1OrderRedeemer"
        }
      },
      "compiledCode": "5909a201000033232323232323223222323232253330093232533300b3005300c375400e264646464646466664444646600200200a4464a6660306026002264646600200201044a66603c00229404c94ccc070cdc79bae302100200414a226600600600260420026eb8c074c068dd50010a99980c1809000899198008009bac301e301b375400644a66603a00229444c94ccc06ccc018018c0800084cc00c00c00452818100008a99980c1806800899198008009bac301e301b375400644a66603a00229404c94ccc06ccc018018c08000852889980180180098100008a99980c180600089919b89375a603c002646660020026eb0c07cc0800092000222533301f002100113330030033022002533301c33007007302100213370000290010800980d1baa00215333018300b00113232533301a3014301b3754002264a66603664a66603e603c0022a666038602c603a002294454ccc070c05cc0740045280b0b1baa300b301d37546016603a6ea80204cdc4800801899b88001003375a603e60386ea80045281807980d9baa3009301b375400c6eb4c074c068dd50010a99980c180500089919299980d180a180d9baa001132533301b32533301f301e0011533301c3016301d00114a22a666038602e603a00229405858dd51805980e9baa3011301d3754010266e2400c0044cdc40018009bad301f301c37540022940c03cc06cdd51807980d9baa006375a603a60346ea80084c8c8cc004004018894ccc078004528099299980e19baf004301d302100214a2266006006002604200266e9520003301c3374a90011980e180e980d1baa0024bd7025eb80c060dd5000980098099baa00e3758602c602e602e602e602e602e602e602e602e60266ea8c01cc04cdd5004980b180b980b980b980b980b980b980b98099baa3007301337540126eacc020c04cdd5180398099baa009230163017001323232325333013300e301437540202646464646464646464646464a666044604a00426464646493192999811980f000899192999814181580109924c64a66604c604200226464a666056605c0042930b1bae302c001302837540042a66604c604000226464a666056605c0042930b1bae302c001302837540042c604c6ea800458c0a4004c094dd50038a999811980e800899191919299981518168010991924c6464646464a66606060660042930b1bad30310013031002375c605e002605e0066eb8c0b4008c8c8c8c8c94ccc0bcc0c800852616375a606000260600046eb8c0b8004c0b8010dd718160018b1bac302b001302b00237586052002604a6ea801c54ccc08cc0600044c8c94ccc0a0c0ac0084c926323232323232323253330303033002149858dd6981880098188011bae302f001302f003375c605a0046464646464a66605e60640042930b1bad30300013030002375c605c002605c0066eb8c0b0008dd618140011bac302600116325333028302b302b0011337606054002605460560022c6eb0c0a4004c094dd50038a999811980b800899192999814181580109924c6464646464a66605a60600042930b1bad302e001302e002375c605800260580046eb8c0a800458dd6181480098129baa007153330233016001132325333028302b002132498c8c8c8c8c8c8c8c94ccc0c0c0cc00852616375a606200260620046eb8c0bc004c0bc00cdd718168011919191919299981798190010a4c2c6eb4c0c0004c0c0008dd7181700098170019bae302c002375860500046eb0c09800458c94ccc0a0c0acc0ac0044cdd81815000981518158008b1bac30290013025375400e2a666046602a00226464a666050605600426493191bae3028002375c604c0022c64a66605060566056002266ec0c0a8004c0a8c0ac00458dd6181480098129baa007163023375400c64a666044603a002264646464a6660526058004264649319299981418118008a99981598151baa00314985854ccc0a0c0880044c8c94ccc0b4c0c000852616375c605c00260546ea800c54ccc0a0c0740044c8c94ccc0b4c0c000852616302e001302a37540062c60506ea80094ccc098c084c09cdd5001899191919299981698180010991924c64a666058604e00226464a666062606800426493192999817981500089919299981a181b80109924c60440022c606a00260626ea800854ccc0bcc0a40044c8c8c8c8c8c94ccc0e0c0ec00852616375a607200260720046eb4c0dc004c0dc008dd6981a80098189baa00216302f37540022c6064002605c6ea800c54ccc0b0c09800454ccc0bcc0b8dd50018a4c2c2c60586ea8008c06c00c58c0b8004c0b8008c0b0004c0a0dd50018b0b18150009815001181400098121baa00815333022301c00115333025302437540102930b0b18111baa007300e00a325333020301b0011323253330253028002149858dd7181300098111baa00c15333020301a00115333023302237540182930b0b18101baa00b163023001302300230210013021002301f001301f002375a603a002603a004603600260360046032002602a6ea804058c00400488c94ccc050c03c0044c8c94ccc064c07000852616375c6034002602c6ea800854ccc050c0380044c8c94ccc064c0700084c926330060012330060060011637586034002602c6ea800854ccc050c0240044c8c94ccc064c0700084c926330060012330060060011637586034002602c6ea800854ccc050c0200044c8c8c8c94ccc06cc0780084c92633008001233008008001163758603800260380046eb4c068004c058dd50010a99980a180380089919299980c980e0010a4c2c6eb4c068004c058dd50010a99980a180300089919299980c980e0010a4c2c6eb4c068004c058dd50010a99980a19b87480300044c8c94ccc064c07000852616375c6034002602c6ea800858c050dd500091191980080080191299980b8008a4c26466006006603600460066032002464a666022601800226464a66602c60320042930b1bae3017001301337540042a666022601600226464a66602c60320042930b1bae3017001301337540042c60226ea8004dc3a40146e1d2008370e90031b87480104c8ccc004004dd5980198071baa3002300e37540089408894ccc04400840044c8ccc010010c05400ccc88c94ccc048c034c04cdd500189929998099806980a1baa001132533301400714a2266e3c004048dd7180c180a9baa001002301730143754006002200860200026eb4c044004c04c0088c0400048c03cc040c040c040c040c040c0400045261365632533300830030011533300b300a37540082930b0a99980418010008a99980598051baa00414985858c020dd50019b8748008dc3a40006eb80055cd2ab9d5573caae7d5d02ba1574498011e581c99e5aacf401fed0eb0e2993d72d423947f42342e8f848353d03efe610001",
      "hash": "fa6a58bbe2d0ff05534431c8e2f0ef2cbdc1602a8456e4b13c8f3077"
    },
    {
      "title": "pool.manage",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/types~1pool~1ManageRedeemer"
        }
      },
      "compiledCode": "5910f90100003323232323232322322323232253330083232323232323232323232323232323232323232323232323232325333023301f3024375404026464646464a666050604860526ea80044c8c94ccc0a8c048c0acdd500089919192999816981418171baa00113232323253330313371201a0022a6660626666022603860666ea80580740780804c8c94ccc0ccc0bcc0d0dd5000899299981a19baf302c303637540026072607460746074606c6ea806454ccc0d0cdd7980f981b1baa0014c107d87b9fd87980ff0015332330353371200864a66606c6062606e6ea8004520001375a607660706ea8004c94ccc0d8c0c4c0dcdd50008a6103d87a8000132330010013756607860726ea8008894ccc0ec004530103d87a80001323232533303b3007375c60780062603c6607e6ea00052f5c026600a00a0046eb4c0f0008c0fc008c0f4004c8cc004004dd59810181c1baa00322533303a00114c103d87a80001323232533303a3006375c60760062603a6607c6e980052f5c026600a00a0046eacc0ec008c0f8008c0f000454ccc0d4c0c401854ccc0d4cdc38088028a99981a9919baf374c6600204e910100374c6466002002660046eacc084c0e4dd5007a450022533303b00114bd6f7b6300991981e99bb037526eb8c0e8004dd319198008009bab303c00222533303e00114bd6f7b6300991982019bb037526eb8c0f4004dd419b8148000dd6981f000998018019821001182000099801801981f801181e80091191980080080191299981e0008a5eb7bdb1804c8c8c8c94ccc0f4cdc7803801080189982099bb037520046e98004cc01801800cdd5981f0019bae303c0023040002303e00114a22c2c26464646464a66607466ebcc0c8c0f0dd500119ba548008cc0f8dd4806a5eb8054ccc0e8cdd780219191919191918119982218228031982218228029982218228021982218228019982218228011982218228009982218229823000998221ba83370202003897ae030450013044001304300130420013041001303c37540202a66607466ebcdd30009ba63232323330010013756604e607e6ea8054c94ccc0f8c0e800452f5bded8c0264646600200297adef6c6022533304400113304533760981014000374c00697adef6c601323232325333045300a3300b488100002133049337609801014000374c00e00a2a66608a602200426609266ec13001014000374c00e00626609266ec0dd48011ba6001330060060033756608c0066eb8c110008c120008c118004c8cc0040052f5bded8c044a66608600226608866ec13001014000375000697adef6c60132323232533304430093300a488100002133048337609801014000375000e00a2a666088602000426609066ec13001014000375000e00626609066ec0dd48011ba800133006006003375a608a0066eb8c10c008c11c008c114004cdc0a4000032444a6660840042002264666008008608c0066644646600200200a44a66608e00226609066ec0dd48021ba60034bd6f7b630099191919299982418069980700400109982619bb037520106e9801c01454ccc120cdc78040010992999824982298251baa00113304d337606ea4024c138c12cdd50008020802192999824a9998260008a5114a0298103d87a80001302c3304d374c00297ae032333001001008002222533304e0021001132333004004305200333223233001001005225333053001133054337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc150c064cc0680200084cc160cdd81ba9008375000e00a2a6660a866e3c0200084c94ccc154c144c158dd500089982c99bb0375201260b460ae6ea80040104010c94ccc154c144004530103d87a80001303833059375000297ae03370000e0022660b066ec0dd48011ba800133006006003375a60aa0066eb8c14c008c15c008c154004dd718268009bad304e001305000213304c337606ea4008dd3000998030030019bab3049003375c608e004609600460920026eb8c104004dd5982100098220011baf4c103d879800022533303c33720004002298103d87980001533303c3371e0040022980103d87a800014c103d87b80001533303a3301b3758607e60806080608060806080608060786ea807c8cdd79812981e9baa003301e3303f301e3303f0014bd7025eb805288b0b0b0b1bab303e303f002303d0013039375460700046070002602e0506e3d2201001616163038303537540022c6602004a01866e04034c8cdc199b8200e375a606664a66606c60726072002266ec0c0e0004c0e0c0e400458dd61800981a1baa017375a606864a66606c60726072002266ec0c0e0004c0e0c0e400458dd61800981a1baa0172303730383038303830380011616375a606a606c606c606c606c606c0046eb4c0d0004c0d0c0d0c0c0dd50021bae3032302f37540022c6048605c6ea8c090c0b8dd50021807800981798161baa001163014302b3754002602460546ea8c0b4c0a8dd50008b1980280e9bad302c302d002375a605600260560046eb4c0a4004c094dd50100992999812181018129baa001132325333026300e30273754002264646464646464646464646464a666066600200a2a66606660020062a66606666ebc028c8c8c8c064cc0e8c0ec00ccc0e8c0ec008cc0e8c0ec004cc0e8dd40041981d1ba80063303a005303c303c303c303c001303b001303a0013035375401a264a6660686060606a6ea800454ccc0d0cccc050c0e4c0d8dd50008100108118a99981a19baf009302c30363754020266ebcdd3004180f181b1baa01014a02c2c607060726072607260726072606a6ea803458585894ccc0cccdc4a4000002266e2400520a09c0114a0606c606e0046eb4c0d4004c0d4008dd6981980098199819981998179baa004375660626064004606000260586ea8c0ac008c0ac004c02806cc02c004c0acc0a0dd50008b180818139baa001300e302637546052604c6ea800458cc004064dd6981418129baa0203001001222533302700214c103d87a80001323253330263022003130093302a0024bd70099980280280099b8000348004c0ac00cc0a40088888c8cc00400401488c94ccc09cc08c0044c8c8cc004004020894ccc0b4004528099299981599b8f375c606000400829444cc00c00c004c0c0004dd7181618149baa002153330273022001132330010013758605a60546ea800c894ccc0b000452889929998151980300318178010998018018008a50302f00115333027300f0011330083758605860526ea80088cc01001000454ccc09ccdc3a400c00226466e24dd69816800991998008009bac302e302f002480008894ccc0b800840044ccc00c00cc0c40094ccc0accc01c01cc0c00084cdc0000a4004200260526ea800854ccc09ccdc3a401000226464a666052604860546ea80044c94ccc0a8c94ccc0b8c0b400454ccc0acc098c0b00045288a999815981398160008a5016163754602860586ea8c050c0b0dd5004099b890010031337100020066eb4c0b8c0acdd50008a503020302a3754602460546ea8018dd6981618149baa002153330273370e9005000899192999814981218151baa001132533302a32533302e302d0011533302b3026302c00114a22a666056604e605800229405858dd5180a18161baa3022302c3754010266e2400c0044cdc40018009bad302e302b37540022940c080c0a8dd5181018151baa006375a605860526ea80084c8c8cc004004018894ccc0b4004528099299981599baf004302c303000214a2266006006002606000260146605666e9520023302b302c3029375400497ae04bd7018139baa00122323300100100322533302600114a0264a6660486008605200429444cc00c00c004c0a40048c94ccc080c070c084dd5000899192999811180518119baa0011323233760008004600e002604e60486ea800458c030c08cdd5000981298111baa00116533302200114c103d87a8000130023302330240014bd701ba54800094ccc074c064c078dd5000899191919191919191919191919191919299981818198010991924c64a66605e605600226464a666068606e00426493180b8008b181a80098189baa0071533302f302a001153330323031375400e2930b0b18179baa00632323232375c60660066eb8c0c4008c8dd718190019bae3030002323376060680026068606a0026eb0c0c0038c8cdd818198009819981a0009bac302e00d16375a606200260620046eb4c0bc004c0bc008c0b4004c0b4008dd6981580098158011bad30290013029002375a604e002604e00464a666048604e604e002266ec0c098004c098c09c00458dd6181280098128011bae3023001301f37540022c6464646464a666046604c004264a66604266e3cdd7181100100f8a99981099baf374c0029810ba14873657474696e677301001325333022300a3023375400226464004a666046603e60486ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f8c1040084c8c8c8c8c8c8c9263302a01123027001325333041303d0011323253330463049002132498cc0b00048dd70008b1bac3047001304337540262a66608260780022a66608860866ea804c526161630413754024646eb4c108050dd69820009981100a181180a981000b181080b8b181f800981f8011bad303d001303d002375a607600260760046eb4c0e4004c0e4008dd6981b800981b8011bac3035001303500230330013033002325333030303330330011337606064002606460660022c6eb0c0c4004c0c4008c0bc004c0bc008c0b4004c0b4008c0ac004c0ac008c0a4004c094dd50008b181398121baa00116300c302337540082c2c6eacc08800458c090004c090dd5980418101baa0013007301f375460446eb0c08804894ccc074c064c078dd5000899191919299981218138010991924c64a666046603e00226464a6660506056004264931929998131811000899192999815981700109924c601a0022c605800260506ea800854ccc098c0840044c8c8c8c8c8c94ccc0bcc0c800852616375a606000260600046eb4c0b8004c0b8008dd6981600098141baa00216302637540022c6052002604a6ea800c54ccc08cc07800454ccc098c094dd50018a4c2c2c60466ea8008c01800c58c094004c094008c08c004c07cdd50008b119299980e980c80089919299981118128010a4c2c6eb8c08c004c07cdd50010a99980e980c00089919299981118128010a4c2c6eb8c08c004c07cdd50010b180e9baa00130010012232533301c30180011323253330213024002149858dd71811000980f1baa0021533301c30170011323253330213024002132498cc01c0048cc01801800458dd61811000980f1baa0021533301c30040011323253330213024002132498cc01c0048cc01801800458dd61811000980f1baa0021533301c3370e90030008991919192999811981300109924c660120024660100100022c6eb0c090004c090008dd69811000980f1baa0021533301c3370e900400089919299981098120010a4c2c6eb4c088004c078dd50010a99980e19b87480280044c8c94ccc084c09000852616375a6044002603c6ea800854ccc070cdc3a401800226464a66604260480042930b1bae3022001301e37540042c60386ea8004dc3a400844646600200200644a66603c002293099198018019811001180198100009180e180e8009180d980e180e0009bac3019301a002301800130180023756602c002602c602c0046eacc050004c050c050008dd61809000980900098088011bac300f001300b3754600260166ea80088c038004526136563253330073003001132323232323253330103013002149858dd6980880098088011bad300f001300f002375a601a00260126ea801054ccc01cc0080044c8c94ccc030c03c00852616375a601a00260126ea801058c01cdd50019b8748008dc3a40006eb80055cd2ab9d5573caae7d5d02ba157449811e581c6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc500001",
      "hash": "e0fccbbfb75923bff6dac5f23805dcf6cecfaae8aa3a6d3e474ee670"
    },
    {
      "title": "pool.spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/types~1pool~1PoolDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$types~1pool~1PoolRedeemer"
        }
      },
      "compiledCode": "593d6d01000033323232323232322322322253232323232323232323232323233301430063015375401c264a66602a6464646464646464646464a66604060220162646464646464a66604c6030604e6ea80044c8c8c8c94ccc0a8c070c0acdd5000899192999816180e18169baa0011323232323232323232533303530273036375400226464646464646464646464a66608066e24dd69822982318231823182318231823182318231823182318211baa004375a600260846ea80504c8c94ccc108c94ccc10ccdc499b8200200200113371000266e08c0dc008c0dc00852819b820020041323232325333046303830473754002264a66608e66ebcc0b8c124dd5000981698249baa00b15333047303833302a3756605a60926ea800408403c54ccc11ccdd7981618249baa0014c107d87b9fd87980ff0013253330483375e605e60946ea8c0bcc128dd500f1820998261ba90224bd700a99982419198008009bac304e304f304f304f304f304f304f304b375401a44a66609a00229404c94ccc12ccdd7981898269baa3032304d3754042607c6609e607c6609e60a000497ae04bd700a511330030030013050001153330480151533304800615333048004100114a029405280b0b299982399b8f375c605c60926ea806c04454ccc11ccdd79ba63304b32533304b304e304e001133760609a002609a609c0022c6eb0c0b4c124dd500da5eb7bdb180dd31982599bb0374e66096609002c66096609202c97ae0374e66096609002a66096609202a97ae04bd6f7b6300a99982399b87375a605860926ea806c0184c94ccc120c004dd6980298251baa01c13001375a606460946ea8070528129998241820000899b890014828270045280a5014a02940585858c12cc120dd50008b1980e9bac302a304737546058608e6ea80fc084ccccccc8c88888894ccc130c1080144cdd79ba7533304c303e00b1533304c303e00c1533304c303e00e1330504c1010200330503750002660a0981010000330504c10101004bd700b0b09982826101030033050375066e00004030cc140dd40071982826010101004bd701ba733300830070064bd7090100008101000081010000810100001119299982799b8f375c606c0060102660a66ea0004cc14cdd419b80375a606a0046eb4c0d000ccc14cc0d0008cc14cc0300092f5c02a66609ea66609e66e3cdd7181b001803099b8f375c606a00600a29404cc14cdd400099829981a801198299ba8337006eb4c0d0008dd6981a00199829980600125eb8054ccc13ccdd79ba7003374e660a66ea40a4cc14cdd4981800c99829a6010101004bd700998299ba800133053303500233053303400233053375060866eb4c0300092f5c02c60846eb4c0d40044cdd79ba7533304c303e00b1533304c303e00c1533304c303e00e1330504c1010200330503750002660a0981010000330504c1010000330504c10101004bd700b0b099828261010400330503750002660a06ea0030cc140dd40071982826010101004bd701ba733300830070064bd709010000810100008101000081010000810100001119299982798229bae30360031330533750002660a66ea0cdc01bad3035002375a6068006660a66068004660a66018004660a6607200497ae01533304f533304f3371e6eb8c0d800c0204cdc79bae303500300714a02660a66ea0004cc14cc0d4008cc14cdd419b80375a60680046eb4c0d000ccc14cc030008cc14cc0e40092f5c02a66609ea66609e66e3cdd7181b001803099b8f375c606a00600a29404cc14cdd400099829981a80119829981a001198299ba8337006eb4c030008dd6981a00199829981c80125eb8054ccc13ccdd79ba7003374e660a66ea40a4cc14cdd4981800c99829a6010101004bd700998299ba800133053303500233053303400233053300c00233053375060866eb4c0e40092f5c02c60846eb4c0d40048c8cc004004008894ccc12c00452f5c0264666444646600200200644a6660a20022006264660a66e9ccc14cdd4803198299ba9375c60a0002660a66ea0dd69828800a5eb80cc00c00cc154008c14c004dd718250009bab304b00133003003304f002304d00122232333001001004003222533304d002100113330030033050002330043758609e0040026eacc0a8c118dd500d1bae3045013375c608c0266eb8c114048dd718230091bad3005304637540304609260946094609400266ebcdd318159bab302c30443754605260886ea80f0dd31919800998009813998239ba901d3304737520166608e9810101004bd701813998239ba901d3304737520126608e98010101004bd701813998239ba901d3304737520106608e6ea00092f5c04464666002002006004444a6660940042002264666008008609c0066644646600200200a44a66609e0022660a066ec0dd48021ba60034bd6f7b630099191919299982818239981c00400109982a19bb037520106e9801c01454ccc140cdc78040010992999828982198291baa001133055337606ea4024c158c14cdd50008020802192999828a99982a0008a5114a0298103d87a80001304433055374c00297ae03233300100100800222253330560021001132333004004305a0033322323300100100522533305b00113305c337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc170c14ccc1100200084cc180cdd81ba9008375000e00a2a6660b866e3c0200084c94ccc174c13cc178dd500089983099bb0375201260c460be6ea80040104010c94ccc174c13c004530103d87a80001305033061375000297ae03370000e0022660c066ec0dd48011ba800133006006003375a60ba0066eb8c16c008c17c008c174004dd7182a8009bad30560013058002133054337606ea4008dd3000998030030019bab3051003375c609e00460a600460a20026eb8c124004dd5982500098260010b1bad30263043375402aa66608060646e34dd71820807899b81003375a600260846ea8050400c588c114c118c118c118c118c118c118c118004ccc084dd5981218201baa014375c607e0186eb8c100030ccc080dd59811981f9baa013375c607c0186eb8c0fc030c8c8c8c8c94ccc110c11c0084c94ccc108cdc79bae304300203e153330423375e6e980053010ba14873657474696e67730100132533304330333044375400226464004a666088606c608a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc17cc1880084c8c8c8c8c8c8c92633035011230270013253330623054001132325333067306a002132498cc0dc0048dd70008b1bac3068001306437540262a6660c460a60022a6660ca60c86ea804c526161630623754024646eb4c18c050dd69830809981100a181780a981000b181680b8b183000098300011bad305e001305e002375a60b800260b80046eb4c168004c168008dd6982c000982c0011bac30560013056002305400130540023253330513054305400113376060a600260a660a80022c6eb0c148004c148008c140004c140008c138004c138008c130004c130008c128004c118dd50008b182418229baa001163027304437540082c2c6eacc10c00458c114004c114dd5981298209baa00130243040375460866eb0c090c100dd5181298201baa0382533303e3030303f3754002264646464a66608a60900042646493192999822181b000899192999824982600109924c64a66608e607200226464a666098609e0042649318068008b182680098249baa002153330473038001132323232323253330503053002149858dd6982880098288011bad304f001304f002375a609a00260926ea800858c11cdd50008b182500098231baa00315333044303500115333047304637540062930b0b18221baa002300600316304600130460023044001304037540022c464a66607c606000226464a666086608c0042930b1bae3044001304037540042a66607c605e00226464a666086608c0042930b1bae3044001304037540042c607c6ea8004dd7182018208011bae303f001303f002375c607a002660766ea4cc06522104000643b0000013303b37526030002660766ea4cc065221040014df10000014bd7019199b8c48020cdc01b8d0014801c004dca1980c1980c1bae301d30383754603a60706ea8c074c0e0dd5000a4501230032533303733710002904002099b8b00148810016375a603860706ea8c074c0e0dd5000981d181b9baa001163300c37586036606c6ea8c06cc0d8dd5017240006054646464a66606c60500022980103d879800015333036302700113301e00300214c0103d87b8000303637546603a6eb8c0d8010dd7181b0019bae3036002375c606a0046466ec0c0e0004c0e0c0e4004dd6181a0089919bb030370013037303800137586064020a666060604460626ea80104c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc10cc1180084c8c9263253330423034001132325333047304a002132498c05400458c120004c110dd50038a99982118198008a99982298221baa00714985858c108dd5003191919191bae3046003375c6088004646eb8c11400cdd718218011919bb03047001304730480013758608601c6466ec0c118004c118c11c004dd618208068b1bad30440013044002375a60840026084004608000260800046eb4c0f8004c0f8008dd6981e000981e0011bad303a001303a002325333037303a303a0011337606072002607260740022c6eb0c0e0004c0e0008dd7181b00098191baa0041630010012232533303130230011323253330363039002149858dd7181b80098199baa0021533303130220011323253330363039002132498cc0180048cc01801800458dd6181b80098199baa0021533303130210011323253330363039002132498cc0180048cc01801800458dd6181b80098199baa0021533303130200011323232325333038303b002132498cc0200048cc02002000458dd6181c800981c8011bad3037001303337540042a666062603e00226464a66606c60720042930b1bad3037001303337540042a666062603c00226464a66606c60720042930b1bad3037001303337540042a66606266e1d200c0011323253330363039002149858dd7181b80098199baa002163031375400244646600200200644a66606800229309919801801981c0011801981b000981898171baa001163010302d3754002605e60586ea800458cc004dd6180718159baa3010302b375404600c6002002444a66605a0042980103d87a800013232533302c301e0031301f330300024bd7009998028028009810801981880198178011bae302b302837540022c6016604e6ea807cdd6981498150011bad302800130280023233760604e002604e60500026eb0c098004c088dd500d8a9998101809005899192999811180a18119baa001132323253330253017302637540022a66604a602c6660106eacc02cc09cdd5181518139baa00100300213017333008300e3756601e604e6ea8c030c09cdd500f8018010a501632533302800114c0103d87a80001301833029302a0014bd701bac3009302637546016604c6ea8078c01000cdd7181398121baa001163007302337540366eb8c094c088dd500d899192999811180a18119baa00113375e6e98c02cdd5980618121baa3009302437540386e98c018cc098c09cc090dd5000998131ba93003002330264c010120004bd700b180398119baa01b375c604a60446ea806c8cc00922104000de14000001223371400400244464a666042602460446ea8004520001375a604c60466ea8004c94ccc084c048c088dd50008a60103d87a8000132330010013756604e60486ea8008894ccc098004530103d87a8000132323253330263371e00e6eb8c09c00c4c064cc0a8dd4000a5eb804cc014014008dd698138011815001181400099198008008021129998128008a6103d87a8000132323253330253371e00e6eb8c09800c4c060cc0a4dd3000a5eb804cc014014008dd59813001181480118138009199911299981018090008a5eb7bdb1804c8c8cc0040052f5bded8c044a66604c00226604e66ec0dd48031ba60034bd6f7b6300991919192999813980f1980780500109981599bb037520146e9801c01454ccc09ccdc780500109981599bb037520146e9801c00c4cc0accdd81ba9002374c0026600c00c0066eacc0a000cdd71813001181500118140009919800800a5eb7bdb180894ccc0940044cc098cdd81ba9004375000697adef6c601323232325333026301d3300e00800213302a337606ea4020dd40038028a99981319b8f00800213302a337606ea4020dd400380189981519bb037520046ea0004cc01801800cdd698138019bae302500230290023027001375c60080026eb8c00c004dd6980100091810981118110009181018108009180f80091299980d19b9000200114c103d87980001533301a3371e0040022980103d87a800014c103d87b80002323300100100222533301d00114bd6f7b630099191919299980f180a001080189981119bb037520046e98004cc01801800cdd5980f8019bae301d0023021002301f0012301c301d301d301d301d0013016375402029309b2b19299980a980380089919299980d180e8010a4c2c6eb8c06c004c05cdd50080a99980a98030008991919191919299980f181080109924c646464646eb8c08400cdd7180f801191bae3020003375c603c0046466ec0c088004c088c08c004dd6180f0031919bb03021001302130220013758603800a2c6eb4c07c004c07c008dd6980e800980e80119299980d180e980e800899bb0301c001301c301d0011637586036002602e6ea804054ccc054c0140044c8c94ccc068c07400852616375c6036002602e6ea804058c054dd500789991919191911919191299980f191919191919191919191919191919191919192999818981118191baa00113232323232533303630283037375403a264646464646464646464646464646464646464646464a66609866ebcc0b8c138dd50079822998281ba901b4bd7009919191919191919299982a1826000899191919191919191919191919191919191999999111111919191919191919191919191919191999999999980080080a80a009020240000b466646002002444a6660fa66e2400520001002153330800100214bd700999801801984180801183900082b240049000240009000111111111112999843808038a9998420099b8733700004002064264a66610a0266e1c0e8cdc00138008a999842809929998430099b87375a60a46110026ea8204040284c06c0044cdd79ba6001374c661140266ec0dd498189bae30683088013754102026ea0cdc08051bad305230880137541020297adef6c603253330860130773087013754002297adef6c60137566116026110026ea8004cc0bcc8cc004004180894ccc2280400452f5bded8c0264646464a66611602610202004200626611e0266ec0dd48011ba60013300600600337566118020066eb8c22804008c23804008c2300400415054ccc214054ccc21404c1dcc21804dd501c099191919299984480983d9845009baa00113232533308b01307d308c013754002266e3c008dd71848009846809baa0011633003005051375c611c026116026ea800458cc004170144c0040048894ccc23004008530103d87a800013232533308b01307d0031307e3308f01375200497ae01333005005001308001003309001003375c611c020046eb0c22804c21c04dd501c0a51132533308601323253330880130793089013754002264a6661120264a66611a026118020022a6661140260f6611602002294454ccc22804c1f0c22c040045280b0b1baa305b308b01375460d66116026ea817c4cdc4001800899b89003001375a611a026114026ea800452818349844809baa306930890137540ba6eb4c004c22004dd50408089919299984400991919299984580984080815099baf374ea6661160260fa01e2a6661160260fa0222a6661160260fa02026611e029810102003308f0137500806611e029810100003308f014c10101004bd700b0b09984780a610103003308f01375066e00100044cc23c04dd40081984780a6010101004bd701ba7333003300204d4bd709010000810100008101000081010000111929998470099b8f375c60e000605a266124026ea0004cc24804dd419b80375a60c00046eb4c16800ccc24804c168008cc24804c0200092f5c02a66611c02a66611c0266e3cdd71838001815899b8f375c60c000605429404cc24804dd40009984900983000119849009ba8337006eb4c168008dd6982d0019984900980400125eb8054ccc23804cdd79ba7003374e66124026ea4174cc24804dd498020271984900a6010101004bd70099849009ba8001330920130600023309201305a002330920137506104026eb4c0200092f5c02c6102026eb4c1bc0044cdd79ba7533308b01307d00f1533308b01307d0111533308b01307d01013308f014c10102003308f0137500806611e029810100003308f014c10100003308f014c10101004bd700b0b09984780a610104003308f0137500806611e026ea0044cc23c04dd40081984780a6010101004bd701ba7333003300204d4bd7090100008101000081010000810100008101000011192999847009842009bae307000313309201375000266124026ea0cdc01bad3060002375a60b4006661240260b4004661240260100046612402600e00497ae01533308e01533308e013371e6eb8c1c000c0b44cdc79bae306000302c14a0266124026ea0004cc24804c180008cc24804dd419b80375a60b40046eb4c16800ccc24804c020008cc24804c01c0092f5c02a66611c02a66611c0266e3cdd71838001815899b8f375c60c000605429404cc24804dd4000998490098300011984900982d00119849009ba8337006eb4c020008dd6982d0019984900980380125eb8054ccc23804cdd79ba7003374e66124026ea4174cc24804dd498020271984900a6010101004bd70099849009ba8001330920130600023309201305a00233092013008002330920137506104026eb4c01c0092f5c02c6102026eb4c1bc0048cc0dd220104000de140000012323300100100222533308f0100114bd70099199911191980080080191299984a8080088018991984b809ba73309701375200c6612e026ea4dd7184a008009984b809ba8375a612a0200297ae033003003309901002309701001375c611c020026eacc23c04004cc00c00cc24c04008c24404004888c8ccc00400401000c8894ccc2440400840044ccc00c00cc25004008cc010dd61849808010008a9998440099b8704400c15333088013370e07a66e000a801054ccc22004cdc79bae306a308a013754106020902a6661100266ebcdd3198460099299984600984780984780800899bb0308e01001308e01308f0100116375860b46114026ea820c052f5bded8c06e98cc230041192f5bded8c02a6661100266e1cdd698011845009baa0830104215333088013370e6eb4c004c22804dd5041808200a9998440099b87375a60066114026ea820c040f84cdd7982d1845009baa306a308a0137540b260b46114026ea812c5280a5014a029405280b0b0b118468098470098470098470098470080091846009846809846809846808008b11845809846009846009846009846009846009846008008b0b0b19b803370066e080c40c8cdc100101a19b8200103316132323232323232323232533308e01533308e01307f308f01375460e06120026ea8c1c0c24004dd50008a5114a0264a66611e026102026120026ea80044c8c8c8c8c8c8c8c94ccc25c04c94ccc26004c22804c26404dd5000899b8f375c613a026134026ea8004160528984e008030991919199119199980080080b003826911119299985080984980800899299985100984a009851809baa005133330060064c0103d87a80003232323232323253330a9013375e03a615c020082a66615202646464a6661580264a66615a02613c02615c026ea80044c94ccc2b804c94ccc2c804c2c40400454ccc2bc04c28004c2c0040045288a999857809850809858008008a50161637546100026160026ea8c24004c2c004dd5003899b8900100513371000200a6eb4c2c804c2bc04dd50008a51308e0130ae013754611c02615c026ea8014400452819299985600984e809856809baa00113253330ad013253330b10130b001001153330ae01309f0130af0100114a22a66615c02614002615e0200229405858dd5183f9857809baa307f30af01375400c266e2400c0044cdc40018009bad30b10130ae0137540022944c23404c2b404dd5183e9856809baa0043253330ab01309c0130ac013754002264a6661580264a66616002615e020022a66615a02613c02615c02002294454ccc2b404c27c04c2b8040045280b0b1baa307e30ae01375460fc615c026ea82080440044c28404004dd69858009856809baa0011483fa7ede1fa414c23004c2b004dd5183e1856009baa080013253330aa01309b0130ab013754002264a6661560264a66615e02615c020022a66615802613a02615a02002294454ccc2b004c27804c2b4040045280b0b1baa307d30ad013754611a02615a026ea82040440044c27c04004dd69857809856009baa001148000c22c04c2ac04dd51845809855809baa07f153330a901309b0130aa01375401026464a66615602613a026158026ea801c54ccc2ac04ccdca8010009bae30b00130ad01375400e20062c2c6ecc01cdd71857009855809baa008153330a901323233001001083012253330af0100114a0264a66615a0266ebc010c2b804c2c804008528899801801800985900800984e00998568098510099856809857009855809baa0084bd7025eb804004585858c2b404c2b804008c2b004004c2b004004c29c04dd50011854809855008011854008009852009baa30a70130a401375400a0a22c614c026146026ea800c54c8c8c8c8c8ccc29804c25c040184c8c8c8c8c94ccc2ac040184c8c8c8c8c8c8c8c8c8c8c94ccc2d8054ccc2d80404c4c8c94ccc2e004cdd7805185e80801099baf00700114a0617802617a020026170026ea80844c8c94ccc2e004cdd7805185e80801099baf00700114a0617802617a02617a020026170026ea80a454ccc2d8054ccc2d804cdc780202a899b8f00205414a02a66616c0266e3cdd7184c008070298a99985b0099b8f375c61100201c0a426666666666660840080040a60a407807609a02400201400c444a6661720266ebcdd30049ba6001153330b901337126eb4c2140404400c4cc038c060008cdc081f0018b0b0b0b0a99985b00a99985b0099b8f00405313371e0040a4294054ccc2d804cdc79bae30980100e055153330b6013371e6eb8c220040381504cccccccccccc1080100081541500ec0f01300480040280188894ccc2e404cdd79ba6009374c0022a6661720266e24dd698428080880189980719b8103f0033017002161616161616375a6174026176020046eb8c2e404004c2e404030dd7185b80805985b00985b808011bab30b50100130b50100230b30100130af0137540086eacc2c404c2c804c2b804dd500f9119998090010008188018b1858008151857008149bac30ad0130ae0100237586158020026150026ea802054ccc29804c258040184c8c8c94ccc2a4040104c8c8c94ccc2b004cdc79bae308e0100304b153330ac013371e6eb8c1f800c12854ccc2b004cdc79bae308e01002049153330ac013371e6eb8c1f80081204c94ccc2b404c0ec0044c8c8c8c8c8c94ccc2cc04c10400454ccc2cc04cdd7984280985a809baa00c374c666608c666608c666608c666608c0106eb8c25404028dd718428080518200019bae309501009375c610a02012608000491100488100304000f0820104c001153330b30153330b3010101323253330b5013375e612e02616e026ea8038c2e8040084cdd7984080985b809baa00e00114a0617202617402002616a026ea80784c8c94ccc2d404cdd7984b80985b809baa00e30ba0100213375e610202616e026ea8038004528185c80985d00985d00800985a809baa02613333018301200330110023370006e0020162c2c2c66e0ccdc100101b01c1bad30b301002375a616202002a66615e0266e2000c0044cdd81ba8003375061460266e0cc29004cdc101a00181a899bb037500026ea0008cdc199b820010340333303c375a60f20066660ac0046eb8c23c0400cdd7183f8018b1981d9bad3078003337026660aa0026eb8c2380400cdd7183f001a999856009851009bae308e010031337009040497a008040a40002c2c2c2c6eacc2c004c2c404c2b404dd500f1bac30ac0100437586154020062c615c0205061580204e6466ec0c2b004004c2b004c2b404004dd61855809854009baa008153330a601309501006132323253330a9010041323232323253330ae013371e00a0fa2a66615c0266e3c00c11c4c8c8c94ccc2c404cdd79841809859809baa00a374c666608866660886666088666608800801000c607c00691100488100303e00d05004f00204e04d001153330b10153330b10100e1323253330b3013375e612a02616a026ea8030c2e0040084cdd7983f985a809baa00c00114a0616e026170020026166026ea80704c8c94ccc2cc04cdd7984a80985a809baa00c30b80100213375e60fe616a026ea8030004528185b80985c00985c008009859809baa024133330163370206e00466e040d8004cdc081a8018048b0b19b833370400406a06866e0ccdc100081a8199981e80119982b8008028018b0b1bab30b20130b30130af0137540406eb4c2c404c2c804008dd71858008009858008021bae30ae010031630ae0102830ac0102737586156026150026ea802054ccc29804c250040184c8c8c94ccc2a4040104c8c8c8c8c8c8c8c8c8c8c94ccc2d004cdc78040298a99985a0099b8f006052153330b4013371e0080a22a6661680266e3c0081404c8c94ccc2d8054ccc2d804ccc2d8040052825114a22a66616c0266ebcc22004c2e004dd50079ba6002153330b6010131323253330b8013375e6134026174026ea8044c2f4040084cdd7984200985d009baa01100114a0617802617a020026170026ea80844c8c94ccc2e004cdd7984d00985d009baa01130bd0100213375e6108026174026ea8044004528185e00985e80985e80800985c009baa02914a026644a666170020062666603a0040020780202666603a004002078070602a6eb4c20804dd6185b80808180a1bad30820137586170020202c66616a0266ebcdd3000a6101a0004a0944cccc11ccccc11ccccc11c02d22010048810030410100080063041005004002304100116161616375a6170026172020046eb8c2dc04004c2dc04018dd7185a808029bad30b40130b501002375c6166020026166020066eb8c2c404008dd61856808029bac30ab010043756615c02615e026156026ea807058c2b8040a0c2b00409cc8cdd81856008009856009856808009bac30ab0130a80137540102646464a666152020082a66615202a6661520266ebcc1ecc2ac04dd50011ba6333303c333303c375660f66156026ea8071221004881003036005375c6154020066eb8c2ac0400d2002153330a90100613375e6116026156026ea8008c2b804c2ac04dd500a0a5014a02666601c05e05c05a0022c2c615c0205061580204e6466ec0c2b004004c2b004c2b404004dd61855809854009baa0083371200202466e00144014c25404c29004dd50071b80027370004e6142026ea8008dd59836184e009baa00d222233333333333025025004003002019309201018014001016006005375a6136020046eb4c264040054ccc25c04c22404c26004dd5000899bb0375002a6ea0c22c040504cdd81ba8308b0101537500282c6136026138020046134020026134020046eb4c26004004c26004c26004004c24c04dd50012999848009841009848809baa0011323232323232323232323232533309f0130a201002132323232498c21004018c94ccc27c04c244040044c8c8c8c94ccc29804c2a4040084c8c9263253330a501309701001153330a80130a70137540062930b0a99985280984b00800899192999855009856808010a4c2c6eb8c2ac04004c29c04dd50018a99985280984a80800899192999855009856808010a4c2c615602002614e026ea800c58c29404dd500118380018b1853808009853808011852808009850809baa0081533309f01309001001153330a20130a10137540102930b0b184f809baa00730870100a30820100b1630a00100130a001002309e01001309e01002309c01001309c01002375a613402002613402004613002002613002004612c020026124026ea800458c25004c24404dd50008b19192999848009841008008a60103d87a8000153330900130810100113232330010010652253330960100114c0103d87a800013232325333096013371e00c6eb8c25c0400c4c22404cc268040052f5c026600a00a004612e020046134020046130020026eb8c25404c24804dd500109841809984a00984a809849009baa0024bd701848009baa001305a30900137540022c612402612602004612202002611a026ea8c24004008c240040054ccc22404cdc480580189980880519b8100300b1330110690035333088013080010021323232533308b013371066e18028008cdc300080108008b19b80009002337049002000a99199844809800a4020260360062a6661120260029010099b824820010c06ccdc0001a401e2a6661120260029018099b82482020020c06ccdc0001a403e2a6661120260029020099b8248202020040c06ccdc0001a405e2a6661120260029028099b824820202020080c06ccdc0001a407e260320066e2000858c23004c2340400cdd69845808011845808041bac3089010073001001222533307a33712900f000899980180198400098400098400098400098400098400098400098400098400098400098400098400098400098400098400080119b800014807454ccc1e8cdc4a401c002266600600661000261000261000261000261000261000261000200466e00005200d13300400200130010012225333078306a00110021333003003307e002306d001222222222222323232533308301301100113232323232533308801301600115333088015333088013371000c018266e1ccdc199b8200500c3370000866e080300200044cdc38030060a9998440099b883370666e0400c014cdc08010040008999804800803199980d999980d999980d80580a009980a80324500488100301500d0120110011616163370600400266e00008cdc100200319b820020033370401890504e0099b8200a00316533308201307800e13370200200e200266e04ccc0a8010034030ccc0a800c034030cdc0a4141380200c6e0520003710900011299983999b880010021001100230010012253233307230014804054ccc1c8c00520001480004c01000854ccc1c8c00520401337049040021980180199b800024803c4cdc124101010100406600600666e00009203f37100026e392210801020408102040800022225333071306300110041323233001001006225333077001133078337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc1e0c1bccc0300280084cc1f0cdd81ba900a374c00e00a2a6660f066e3c0280084c94ccc1e4c1acc1e8dd500089983e99bb0375201660fc60f66ea80040104010c94ccc1e4c038004530103d87a80001306c3307d374c00297ae0323300100100222533307d00113307e337606ea402cdd400525eb7bdb1804c8c8c8c94ccc1f8c1d4cc04803c0084cc20804cdd81ba900f375001c00a2a6660fc66e3c03c0084c94ccc1fcc1c4c20004dd50008998418099bb037520206108026102026ea80040104010c94ccc1fcc1c40045300103d87a8000130723308301375000297ae03370000201c2661040266ec0dd48011ba800133006006003375a60fe0066eb8c1f4008c20404008c1fc0044cc1f0cdd81ba9002374c0026600c00c0066eacc1e400cdd7183b801183d801183c8009919001191980080080111299983b8008a4c264a6660f000229309919299983b9834983c1baa3300b375c60f060f80086eb8c1e00084cc014014cc1ec00800458c1f0008c1e8004c1e8004cc1d4cdd81ba9002375000297adef6c6022533306e337200040022980103d87980001533306e3371e0040022980103d87a800014c103d87b80002533306f00114a22940cdc09998071bab30373067375406c008006a6660ca60b6008200e290001998071bab30373067375406c00400260206eb8c1a8034dd698350051bad306a009375a60d40106eb8c198010dd718320019bae3064003375c60c40046466ec0c198004c198c19c004dd618310031919bb0306500130653066001375860c000a6eb4c18cc190c190c190004c18c004c188004c184008c8cdd81830000983018308009bac305f001305f001305a37540a644464a6660b6609860b86ea8004520001375a60c060ba6ea8004c94ccc16cc130c170dd50008a60103d87a800013233001001375660c260bc6ea8008894ccc180004530103d87a8000132323253330603371e00e6eb8c18400c4c14ccc190dd4000a5eb804cc014014008dd69830801183200118310009980200180111191980080080191299982e8008a60103d87a80001323232533305d3371e00c6eb8c17800c4c140cc184dd3000a5eb804cc014014008dd5982f0011830801182f800919801245040014df100000122337140040022c66e0cc120cdc01bad305800500100133230010012253330570011480044c94ccc154c118c158dd5181b982b9baa303730573754604e60ae6ea8c1680084c124cc00c00c0044cc00c00c004c1680040c8dd6982b182b8011bad3055001305500130543054002305200130523052305230523052304e375402e2c6eb4c140c144008dd69827800982798278011bad304d001304d002375a609600260960046eb4c124004c124008c8cdd81824000982418248009bac30470013047002375c608a00260826ea8c104010dd5982198220011821000981f1baa303d00132533303c302e303d375400226464a66607c605c607e6ea80044c8c8cdd80020011814000982198201baa001163009303f37540026082607c6ea8004594ccc0f805c5300103d87a80001302e3303f30400174bd701bac303f3040002375a607c002607c0046eb4c0f0004c0e0dd500e8991998008009bab303c303d303d303d303d303d303d303d303d303d30393754603260726ea806928111299981e00108008991998020021820001999119299981e9816981f1baa003132533303e3030303f3754002264a66607e606060806ea80044c94ccc1000205288800a99981f99b8f375c608860826ea80040f44c8cdc3992999820981918211baa001133223233300100100348000888c94ccc11ccdd7981498249baa304c00300510021333004004001303b002304c0023758604660866ea8c08cc10cdd5012182318219baa00116301230423754046a666080606260826ea80144dd6982298211baa0051375a608a608c608c60846ea8014c94ccc100c0c80044c8c8c8c8c8c94ccc124c13000852616375a609400260940046eb4c120004c120008dd6982300098211baa0051533304030310011323253330453048002149858dd6982300098211baa0051630403754008294000cc10cc100dd50008011821181f9baa0030011004303b001303c001303e002323232533303b303e00213253330393371e6eb8c0e80080d454ccc0e4cdd79ba60014c010ba14873657474696e67730100132533303a302a303b375400226464004a666076605a60786ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc158c1640084c8c8c8c8c8c8c9263304501123028001325333059304b00113232533305e3061002132498cc11c0048dd70008b1bac305f001305b37540262a6660b260940022a6660b860b66ea804c526161630593754024646eb4c168050dd6982c009981180a181f80a981080b181e80b8b182b800982b8011bad30550013055002375a60a600260a60046eb4c144004c144008dd6982780098278011bac304d001304d002304b001304b002325333048304b304b0011337606094002609460960022c6eb0c124004c124008c11c004c11c008c114004c114008c10c004c10c008c104004c0f4dd50008b181f981e1baa001163005303b37540082c2c6eacc0e800458c0f0004c0f0dd59804181c1baa001300730373754607402646074607660760024a666068604c606a6ea80044c8c8c8c94ccc0ecc0f80084c8c92632533303a302c00113232533303f3042002132498c94ccc0f4c0bc0044c8c94ccc108c1140084c926300d001163043001303f37540042a66607a605c0022646464646464a66608c60920042930b1bad30470013047002375a608a002608a0046eb4c10c004c0fcdd50010b181e9baa001163040001303c37540062a66607460560022a66607a60786ea800c5261616303a3754004600c0062c607800260780046074002606c6ea8004588c94ccc0d0c0980044c8c94ccc0e4c0f000852616375c6074002606c6ea800854ccc0d0c0940044c8c94ccc0e4c0f000852616375c6074002606c6ea800858c0d0dd50009bae3036303337540022c602460646ea8c048c0c8dd5000992999818181098189baa00113253330313023303237540022600660666ea8c0d8c0ccdd50008b1991191980080080191299981b8008a6103d87a80001323253330363375e603060706ea80080144c0a4cc0e80092f5c0266008008002607600460720026eb0c048c0c8dd5180918191baa0133035303237540022c600260626ea80488c0d0c0d4004dd59819181998198011bac30310013031002302f001302f0023756605a002605a605a0046eacc0ac004c0acc0ac008dd6181480098148011bac302700130270023758604a00260426ea8c004c084dd5001118120008a4c26cac6464a66603c60200022646464646464a66604e6054004264931980800091919191919192999817181880109924c64a666058603c00226464a6660626068004264932999817181018179baa0011323232325333035303800213232498c0640094ccc0c8c090c0ccdd500189919191919191919299981e9820001099191924c604200aa666076605a60786ea80184c8c8c8c94ccc108c1140084c8c9263024002302300316304300130430023041001303d375400c2ca666074605860766ea801c4c8c8c8c94ccc104c1100084c926533303e3030303f375400626464a666086608c0042930b1bae3044001304037540062c2c6eb4c108004c108008c100004c0f0dd50038b0b181f000981f001181e000981e001181d000981d001181c000981a1baa0031616303600130360023034001303037540022c2c6064002605c6ea801054ccc0b0c07400454ccc0bcc0b8dd50020a4c2c2c60586ea800c58dd698178009817801181680098168011bad302b00137580022c6eb0c0a0004c0a0008dd6981300098130011bad30240013020375400a2a66603c601e0022a66604260406ea80145261616301e37540084a66603a601e603c6ea80044c8c8c8c94ccc090c09c0084c926325333022301400115333025302437540082930b0a999811180980089919299981398150010a4c2c6eb4c0a0004c090dd50020a99981118090008a99981298121baa00414985858c088dd50018b19299981218118008a999810980918110008a51153330213013302200114a02c2c6ea8c094004c094008c08c004c07cdd50008b119299980e9807800899192999811181280109924c64a666040602400226464a66604a60500042930b1bae3026001302237540042a666040602200226464a66604a60500042930b1bae3026001302237540042c60406ea800458c08c004c07cdd50010a99980e9807000899191919299981218138010991924c6464646464a666054605a0042930b1bad302b001302b002375c605200260520066eb8c09c008c8c8c8c8c94ccc0a4c0b000852616375a605400260540046eb8c0a0004c0a0010dd718130018b1bac3025001302500237586046002603e6ea800854ccc074c0340044c8c94ccc088c0940084c9263232323232323232533302a302d002149858dd6981580098158011bae30290013029003375c604e0046464646464a66605260580042930b1bad302a001302a002375c605000260500066eb8c098008dd618110011bac3020001163253330223025302500113376060480026048604a0022c6eb0c08c004c07cdd50010a99980e9806000899192999811181280109924c6464646464a66604e60540042930b1bad30280013028002375c604c002604c0046eb8c09000458dd61811800980f9baa0021533301d300b0011323253330223025002132498c8c8c8c8c8c8c8c94ccc0a8c0b400852616375a605600260560046eb8c0a4004c0a400cdd718138011919191919299981498160010a4c2c6eb4c0a8004c0a8008dd7181400098140019bae3026002375860440046eb0c08000458c94ccc088c094c0940044cdd81812000981218128008b1bac3023001301f37540042a66603a601400226464a666044604a00426493191bae3022002375c60400022c64a666044604a604a002266ec0c090004c090c09400458dd61811800980f9baa00216301d3754002464a666038601c00226464a66604260480042930b1bae3022001301e37540042a666038601a0022a66603e603c6ea80085261616301c375400260020264a666030601460326ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0acc0b80084c8c92632533302a301c00113232533302f3032002132498c05800458c0c0004c0b0dd50038a999815180d8008a99981698161baa00714985858c0a8dd5003191919191bae302e003375c6058004646eb8c0b400cdd718158011919bb0302f001302f30300013758605601c6466ec0c0b8004c0b8c0bc004dd618148068b1bad302c001302c002375a60540026054004605000260500046eb4c098004c098008dd6981200098120011bad3022001302200232533301f302230220011337606042002604260440022c6eb0c080004c080008dd7180f000980d1baa00116300100122325333018300a00113232533301d3020002149858dd7180f000980d1baa00215333018300900113232533301d3020002132498cc0180048cc01801800458dd6180f000980d1baa00215333018300800113232533301d3020002132498cc0180048cc01801800458dd6180f000980d1baa002153330183007001132323232533301f3022002132498cc0200048cc02002000458dd6181000098100011bad301e001301a37540042a666030600c00226464a66603a60400042930b1bad301e001301a37540042a666030600a00226464a66603a60400042930b1bad301e001301a37540042a66603066e1d200c00113232533301d3020002149858dd7180f000980d1baa002163018375400244646600200200644a66603600229309919801801980f8011801980e800980c980b1baa00e370e90051b8748020dc3a400c6e1d2004370e90011b8748000dd2a40006e012002370090009b8f488100375e980103d8798000371290001ba548008dd70009bae0015734aae7555cf2ab9f5740ae855d12611e581ce0fccbbfb75923bff6dac5f23805dcf6cecfaae8aa3a6d3e474ee670004c011e581c6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc500001",
      "hash": "e0302560ced2fdcbfcb2602697df970cd0d6a38f94b32703f51c312b"
    },
    {
      "title": "pool.mint",
      "redeemer": {
        "title": "r",
        "schema": {
          "$ref": "#/definitions/types~1pool~1PoolMintRedeemer"
        }
      },
      "compiledCode": "593d6d01000033323232323232322322322253232323232323232323232323233301430063015375401c264a66602a6464646464646464646464a66604060220162646464646464a66604c6030604e6ea80044c8c8c8c94ccc0a8c070c0acdd5000899192999816180e18169baa0011323232323232323232533303530273036375400226464646464646464646464a66608066e24dd69822982318231823182318231823182318231823182318211baa004375a600260846ea80504c8c94ccc108c94ccc10ccdc499b8200200200113371000266e08c0dc008c0dc00852819b820020041323232325333046303830473754002264a66608e66ebcc0b8c124dd5000981698249baa00b15333047303833302a3756605a60926ea800408403c54ccc11ccdd7981618249baa0014c107d87b9fd87980ff0013253330483375e605e60946ea8c0bcc128dd500f1820998261ba90224bd700a99982419198008009bac304e304f304f304f304f304f304f304b375401a44a66609a00229404c94ccc12ccdd7981898269baa3032304d3754042607c6609e607c6609e60a000497ae04bd700a511330030030013050001153330480151533304800615333048004100114a029405280b0b299982399b8f375c605c60926ea806c04454ccc11ccdd79ba63304b32533304b304e304e001133760609a002609a609c0022c6eb0c0b4c124dd500da5eb7bdb180dd31982599bb0374e66096609002c66096609202c97ae0374e66096609002a66096609202a97ae04bd6f7b6300a99982399b87375a605860926ea806c0184c94ccc120c004dd6980298251baa01c13001375a606460946ea8070528129998241820000899b890014828270045280a5014a02940585858c12cc120dd50008b1980e9bac302a304737546058608e6ea80fc084ccccccc8c88888894ccc130c1080144cdd79ba7533304c303e00b1533304c303e00c1533304c303e00e1330504c1010200330503750002660a0981010000330504c10101004bd700b0b09982826101030033050375066e00004030cc140dd40071982826010101004bd701ba733300830070064bd7090100008101000081010000810100001119299982799b8f375c606c0060102660a66ea0004cc14cdd419b80375a606a0046eb4c0d000ccc14cc0d0008cc14cc0300092f5c02a66609ea66609e66e3cdd7181b001803099b8f375c606a00600a29404cc14cdd400099829981a801198299ba8337006eb4c0d0008dd6981a00199829980600125eb8054ccc13ccdd79ba7003374e660a66ea40a4cc14cdd4981800c99829a6010101004bd700998299ba800133053303500233053303400233053375060866eb4c0300092f5c02c60846eb4c0d40044cdd79ba7533304c303e00b1533304c303e00c1533304c303e00e1330504c1010200330503750002660a0981010000330504c1010000330504c10101004bd700b0b099828261010400330503750002660a06ea0030cc140dd40071982826010101004bd701ba733300830070064bd709010000810100008101000081010000810100001119299982798229bae30360031330533750002660a66ea0cdc01bad3035002375a6068006660a66068004660a66018004660a6607200497ae01533304f533304f3371e6eb8c0d800c0204cdc79bae303500300714a02660a66ea0004cc14cc0d4008cc14cdd419b80375a60680046eb4c0d000ccc14cc030008cc14cc0e40092f5c02a66609ea66609e66e3cdd7181b001803099b8f375c606a00600a29404cc14cdd400099829981a80119829981a001198299ba8337006eb4c030008dd6981a00199829981c80125eb8054ccc13ccdd79ba7003374e660a66ea40a4cc14cdd4981800c99829a6010101004bd700998299ba800133053303500233053303400233053300c00233053375060866eb4c0e40092f5c02c60846eb4c0d40048c8cc004004008894ccc12c00452f5c0264666444646600200200644a6660a20022006264660a66e9ccc14cdd4803198299ba9375c60a0002660a66ea0dd69828800a5eb80cc00c00cc154008c14c004dd718250009bab304b00133003003304f002304d00122232333001001004003222533304d002100113330030033050002330043758609e0040026eacc0a8c118dd500d1bae3045013375c608c0266eb8c114048dd718230091bad3005304637540304609260946094609400266ebcdd318159bab302c30443754605260886ea80f0dd31919800998009813998239ba901d3304737520166608e9810101004bd701813998239ba901d3304737520126608e98010101004bd701813998239ba901d3304737520106608e6ea00092f5c04464666002002006004444a6660940042002264666008008609c0066644646600200200a44a66609e0022660a066ec0dd48021ba60034bd6f7b630099191919299982818239981c00400109982a19bb037520106e9801c01454ccc140cdc78040010992999828982198291baa001133055337606ea4024c158c14cdd50008020802192999828a99982a0008a5114a0298103d87a80001304433055374c00297ae03233300100100800222253330560021001132333004004305a0033322323300100100522533305b00113305c337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc170c14ccc1100200084cc180cdd81ba9008375000e00a2a6660b866e3c0200084c94ccc174c13cc178dd500089983099bb0375201260c460be6ea80040104010c94ccc174c13c004530103d87a80001305033061375000297ae03370000e0022660c066ec0dd48011ba800133006006003375a60ba0066eb8c16c008c17c008c174004dd7182a8009bad30560013058002133054337606ea4008dd3000998030030019bab3051003375c609e00460a600460a20026eb8c124004dd5982500098260010b1bad30263043375402aa66608060646e34dd71820807899b81003375a600260846ea8050400c588c114c118c118c118c118c118c118c118004ccc084dd5981218201baa014375c607e0186eb8c100030ccc080dd59811981f9baa013375c607c0186eb8c0fc030c8c8c8c8c94ccc110c11c0084c94ccc108cdc79bae304300203e153330423375e6e980053010ba14873657474696e67730100132533304330333044375400226464004a666088606c608a6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc17cc1880084c8c8c8c8c8c8c92633035011230270013253330623054001132325333067306a002132498cc0dc0048dd70008b1bac3068001306437540262a6660c460a60022a6660ca60c86ea804c526161630623754024646eb4c18c050dd69830809981100a181780a981000b181680b8b183000098300011bad305e001305e002375a60b800260b80046eb4c168004c168008dd6982c000982c0011bac30560013056002305400130540023253330513054305400113376060a600260a660a80022c6eb0c148004c148008c140004c140008c138004c138008c130004c130008c128004c118dd50008b182418229baa001163027304437540082c2c6eacc10c00458c114004c114dd5981298209baa00130243040375460866eb0c090c100dd5181298201baa0382533303e3030303f3754002264646464a66608a60900042646493192999822181b000899192999824982600109924c64a66608e607200226464a666098609e0042649318068008b182680098249baa002153330473038001132323232323253330503053002149858dd6982880098288011bad304f001304f002375a609a00260926ea800858c11cdd50008b182500098231baa00315333044303500115333047304637540062930b0b18221baa002300600316304600130460023044001304037540022c464a66607c606000226464a666086608c0042930b1bae3044001304037540042a66607c605e00226464a666086608c0042930b1bae3044001304037540042c607c6ea8004dd7182018208011bae303f001303f002375c607a002660766ea4cc06522104000643b0000013303b37526030002660766ea4cc065221040014df10000014bd7019199b8c48020cdc01b8d0014801c004dca1980c1980c1bae301d30383754603a60706ea8c074c0e0dd5000a4501230032533303733710002904002099b8b00148810016375a603860706ea8c074c0e0dd5000981d181b9baa001163300c37586036606c6ea8c06cc0d8dd5017240006054646464a66606c60500022980103d879800015333036302700113301e00300214c0103d87b8000303637546603a6eb8c0d8010dd7181b0019bae3036002375c606a0046466ec0c0e0004c0e0c0e4004dd6181a0089919bb030370013037303800137586064020a666060604460626ea80104c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc10cc1180084c8c9263253330423034001132325333047304a002132498c05400458c120004c110dd50038a99982118198008a99982298221baa00714985858c108dd5003191919191bae3046003375c6088004646eb8c11400cdd718218011919bb03047001304730480013758608601c6466ec0c118004c118c11c004dd618208068b1bad30440013044002375a60840026084004608000260800046eb4c0f8004c0f8008dd6981e000981e0011bad303a001303a002325333037303a303a0011337606072002607260740022c6eb0c0e0004c0e0008dd7181b00098191baa0041630010012232533303130230011323253330363039002149858dd7181b80098199baa0021533303130220011323253330363039002132498cc0180048cc01801800458dd6181b80098199baa0021533303130210011323253330363039002132498cc0180048cc01801800458dd6181b80098199baa0021533303130200011323232325333038303b002132498cc0200048cc02002000458dd6181c800981c8011bad3037001303337540042a666062603e00226464a66606c60720042930b1bad3037001303337540042a666062603c00226464a66606c60720042930b1bad3037001303337540042a66606266e1d200c0011323253330363039002149858dd7181b80098199baa002163031375400244646600200200644a66606800229309919801801981c0011801981b000981898171baa001163010302d3754002605e60586ea800458cc004dd6180718159baa3010302b375404600c6002002444a66605a0042980103d87a800013232533302c301e0031301f330300024bd7009998028028009810801981880198178011bae302b302837540022c6016604e6ea807cdd6981498150011bad302800130280023233760604e002604e60500026eb0c098004c088dd500d8a9998101809005899192999811180a18119baa001132323253330253017302637540022a66604a602c6660106eacc02cc09cdd5181518139baa00100300213017333008300e3756601e604e6ea8c030c09cdd500f8018010a501632533302800114c0103d87a80001301833029302a0014bd701bac3009302637546016604c6ea8078c01000cdd7181398121baa001163007302337540366eb8c094c088dd500d899192999811180a18119baa00113375e6e98c02cdd5980618121baa3009302437540386e98c018cc098c09cc090dd5000998131ba93003002330264c010120004bd700b180398119baa01b375c604a60446ea806c8cc00922104000de14000001223371400400244464a666042602460446ea8004520001375a604c60466ea8004c94ccc084c048c088dd50008a60103d87a8000132330010013756604e60486ea8008894ccc098004530103d87a8000132323253330263371e00e6eb8c09c00c4c064cc0a8dd4000a5eb804cc014014008dd698138011815001181400099198008008021129998128008a6103d87a8000132323253330253371e00e6eb8c09800c4c060cc0a4dd3000a5eb804cc014014008dd59813001181480118138009199911299981018090008a5eb7bdb1804c8c8cc0040052f5bded8c044a66604c00226604e66ec0dd48031ba60034bd6f7b6300991919192999813980f1980780500109981599bb037520146e9801c01454ccc09ccdc780500109981599bb037520146e9801c00c4cc0accdd81ba9002374c0026600c00c0066eacc0a000cdd71813001181500118140009919800800a5eb7bdb180894ccc0940044cc098cdd81ba9004375000697adef6c601323232325333026301d3300e00800213302a337606ea4020dd40038028a99981319b8f00800213302a337606ea4020dd400380189981519bb037520046ea0004cc01801800cdd698138019bae302500230290023027001375c60080026eb8c00c004dd6980100091810981118110009181018108009180f80091299980d19b9000200114c103d87980001533301a3371e0040022980103d87a800014c103d87b80002323300100100222533301d00114bd6f7b630099191919299980f180a001080189981119bb037520046e98004cc01801800cdd5980f8019bae301d0023021002301f0012301c301d301d301d301d0013016375402029309b2b19299980a980380089919299980d180e8010a4c2c6eb8c06c004c05cdd50080a99980a98030008991919191919299980f181080109924c646464646eb8c08400cdd7180f801191bae3020003375c603c0046466ec0c088004c088c08c004dd6180f0031919bb03021001302130220013758603800a2c6eb4c07c004c07c008dd6980e800980e80119299980d180e980e800899bb0301c001301c301d0011637586036002602e6ea804054ccc054c0140044c8c94ccc068c07400852616375c6036002602e6ea804058c054dd500789991919191911919191299980f191919191919191919191919191919191919192999818981118191baa00113232323232533303630283037375403a264646464646464646464646464646464646464646464a66609866ebcc0b8c138dd50079822998281ba901b4bd7009919191919191919299982a1826000899191919191919191919191919191919191999999111111919191919191919191919191919191999999999980080080a80a009020240000b466646002002444a6660fa66e2400520001002153330800100214bd700999801801984180801183900082b240049000240009000111111111112999843808038a9998420099b8733700004002064264a66610a0266e1c0e8cdc00138008a999842809929998430099b87375a60a46110026ea8204040284c06c0044cdd79ba6001374c661140266ec0dd498189bae30683088013754102026ea0cdc08051bad305230880137541020297adef6c603253330860130773087013754002297adef6c60137566116026110026ea8004cc0bcc8cc004004180894ccc2280400452f5bded8c0264646464a66611602610202004200626611e0266ec0dd48011ba60013300600600337566118020066eb8c22804008c23804008c2300400415054ccc214054ccc21404c1dcc21804dd501c099191919299984480983d9845009baa00113232533308b01307d308c013754002266e3c008dd71848009846809baa0011633003005051375c611c026116026ea800458cc004170144c0040048894ccc23004008530103d87a800013232533308b01307d0031307e3308f01375200497ae01333005005001308001003309001003375c611c020046eb0c22804c21c04dd501c0a51132533308601323253330880130793089013754002264a6661120264a66611a026118020022a6661140260f6611602002294454ccc22804c1f0c22c040045280b0b1baa305b308b01375460d66116026ea817c4cdc4001800899b89003001375a611a026114026ea800452818349844809baa306930890137540ba6eb4c004c22004dd50408089919299984400991919299984580984080815099baf374ea6661160260fa01e2a6661160260fa0222a6661160260fa02026611e029810102003308f0137500806611e029810100003308f014c10101004bd700b0b09984780a610103003308f01375066e00100044cc23c04dd40081984780a6010101004bd701ba7333003300204d4bd709010000810100008101000081010000111929998470099b8f375c60e000605a266124026ea0004cc24804dd419b80375a60c00046eb4c16800ccc24804c168008cc24804c0200092f5c02a66611c02a66611c0266e3cdd71838001815899b8f375c60c000605429404cc24804dd40009984900983000119849009ba8337006eb4c168008dd6982d0019984900980400125eb8054ccc23804cdd79ba7003374e66124026ea4174cc24804dd498020271984900a6010101004bd70099849009ba8001330920130600023309201305a002330920137506104026eb4c0200092f5c02c6102026eb4c1bc0044cdd79ba7533308b01307d00f1533308b01307d0111533308b01307d01013308f014c10102003308f0137500806611e029810100003308f014c10100003308f014c10101004bd700b0b09984780a610104003308f0137500806611e026ea0044cc23c04dd40081984780a6010101004bd701ba7333003300204d4bd7090100008101000081010000810100008101000011192999847009842009bae307000313309201375000266124026ea0cdc01bad3060002375a60b4006661240260b4004661240260100046612402600e00497ae01533308e01533308e013371e6eb8c1c000c0b44cdc79bae306000302c14a0266124026ea0004cc24804c180008cc24804dd419b80375a60b40046eb4c16800ccc24804c020008cc24804c01c0092f5c02a66611c02a66611c0266e3cdd71838001815899b8f375c60c000605429404cc24804dd4000998490098300011984900982d00119849009ba8337006eb4c020008dd6982d0019984900980380125eb8054ccc23804cdd79ba7003374e66124026ea4174cc24804dd498020271984900a6010101004bd70099849009ba8001330920130600023309201305a00233092013008002330920137506104026eb4c01c0092f5c02c6102026eb4c1bc0048cc0dd220104000de140000012323300100100222533308f0100114bd70099199911191980080080191299984a8080088018991984b809ba73309701375200c6612e026ea4dd7184a008009984b809ba8375a612a0200297ae033003003309901002309701001375c611c020026eacc23c04004cc00c00cc24c04008c24404004888c8ccc00400401000c8894ccc2440400840044ccc00c00cc25004008cc010dd61849808010008a9998440099b8704400c15333088013370e07a66e000a801054ccc22004cdc79bae306a308a013754106020902a6661100266ebcdd3198460099299984600984780984780800899bb0308e01001308e01308f0100116375860b46114026ea820c052f5bded8c06e98cc230041192f5bded8c02a6661100266e1cdd698011845009baa0830104215333088013370e6eb4c004c22804dd5041808200a9998440099b87375a60066114026ea820c040f84cdd7982d1845009baa306a308a0137540b260b46114026ea812c5280a5014a029405280b0b0b118468098470098470098470098470080091846009846809846809846808008b11845809846009846009846009846009846009846008008b0b0b19b803370066e080c40c8cdc100101a19b8200103316132323232323232323232533308e01533308e01307f308f01375460e06120026ea8c1c0c24004dd50008a5114a0264a66611e026102026120026ea80044c8c8c8c8c8c8c8c94ccc25c04c94ccc26004c22804c26404dd5000899b8f375c613a026134026ea8004160528984e008030991919199119199980080080b003826911119299985080984980800899299985100984a009851809baa005133330060064c0103d87a80003232323232323253330a9013375e03a615c020082a66615202646464a6661580264a66615a02613c02615c026ea80044c94ccc2b804c94ccc2c804c2c40400454ccc2bc04c28004c2c0040045288a999857809850809858008008a50161637546100026160026ea8c24004c2c004dd5003899b8900100513371000200a6eb4c2c804c2bc04dd50008a51308e0130ae013754611c02615c026ea8014400452819299985600984e809856809baa00113253330ad013253330b10130b001001153330ae01309f0130af0100114a22a66615c02614002615e0200229405858dd5183f9857809baa307f30af01375400c266e2400c0044cdc40018009bad30b10130ae0137540022944c23404c2b404dd5183e9856809baa0043253330ab01309c0130ac013754002264a6661580264a66616002615e020022a66615a02613c02615c02002294454ccc2b404c27c04c2b8040045280b0b1baa307e30ae01375460fc615c026ea82080440044c28404004dd69858009856809baa0011483fa7ede1fa414c23004c2b004dd5183e1856009baa080013253330aa01309b0130ab013754002264a6661560264a66615e02615c020022a66615802613a02615a02002294454ccc2b004c27804c2b4040045280b0b1baa307d30ad013754611a02615a026ea82040440044c27c04004dd69857809856009baa001148000c22c04c2ac04dd51845809855809baa07f153330a901309b0130aa01375401026464a66615602613a026158026ea801c54ccc2ac04ccdca8010009bae30b00130ad01375400e20062c2c6ecc01cdd71857009855809baa008153330a901323233001001083012253330af0100114a0264a66615a0266ebc010c2b804c2c804008528899801801800985900800984e00998568098510099856809857009855809baa0084bd7025eb804004585858c2b404c2b804008c2b004004c2b004004c29c04dd50011854809855008011854008009852009baa30a70130a401375400a0a22c614c026146026ea800c54c8c8c8c8c8ccc29804c25c040184c8c8c8c8c94ccc2ac040184c8c8c8c8c8c8c8c8c8c8c94ccc2d8054ccc2d80404c4c8c94ccc2e004cdd7805185e80801099baf00700114a0617802617a020026170026ea80844c8c94ccc2e004cdd7805185e80801099baf00700114a0617802617a02617a020026170026ea80a454ccc2d8054ccc2d804cdc780202a899b8f00205414a02a66616c0266e3cdd7184c008070298a99985b0099b8f375c61100201c0a426666666666660840080040a60a407807609a02400201400c444a6661720266ebcdd30049ba6001153330b901337126eb4c2140404400c4cc038c060008cdc081f0018b0b0b0b0a99985b00a99985b0099b8f00405313371e0040a4294054ccc2d804cdc79bae30980100e055153330b6013371e6eb8c220040381504cccccccccccc1080100081541500ec0f01300480040280188894ccc2e404cdd79ba6009374c0022a6661720266e24dd698428080880189980719b8103f0033017002161616161616375a6174026176020046eb8c2e404004c2e404030dd7185b80805985b00985b808011bab30b50100130b50100230b30100130af0137540086eacc2c404c2c804c2b804dd500f9119998090010008188018b1858008151857008149bac30ad0130ae0100237586158020026150026ea802054ccc29804c258040184c8c8c94ccc2a4040104c8c8c94ccc2b004cdc79bae308e0100304b153330ac013371e6eb8c1f800c12854ccc2b004cdc79bae308e01002049153330ac013371e6eb8c1f80081204c94ccc2b404c0ec0044c8c8c8c8c8c94ccc2cc04c10400454ccc2cc04cdd7984280985a809baa00c374c666608c666608c666608c666608c0106eb8c25404028dd718428080518200019bae309501009375c610a02012608000491100488100304000f0820104c001153330b30153330b3010101323253330b5013375e612e02616e026ea8038c2e8040084cdd7984080985b809baa00e00114a0617202617402002616a026ea80784c8c94ccc2d404cdd7984b80985b809baa00e30ba0100213375e610202616e026ea8038004528185c80985d00985d00800985a809baa02613333018301200330110023370006e0020162c2c2c66e0ccdc100101b01c1bad30b301002375a616202002a66615e0266e2000c0044cdd81ba8003375061460266e0cc29004cdc101a00181a899bb037500026ea0008cdc199b820010340333303c375a60f20066660ac0046eb8c23c0400cdd7183f8018b1981d9bad3078003337026660aa0026eb8c2380400cdd7183f001a999856009851009bae308e010031337009040497a008040a40002c2c2c2c6eacc2c004c2c404c2b404dd500f1bac30ac0100437586154020062c615c0205061580204e6466ec0c2b004004c2b004c2b404004dd61855809854009baa008153330a601309501006132323253330a9010041323232323253330ae013371e00a0fa2a66615c0266e3c00c11c4c8c8c94ccc2c404cdd79841809859809baa00a374c666608866660886666088666608800801000c607c00691100488100303e00d05004f00204e04d001153330b10153330b10100e1323253330b3013375e612a02616a026ea8030c2e0040084cdd7983f985a809baa00c00114a0616e026170020026166026ea80704c8c94ccc2cc04cdd7984a80985a809baa00c30b80100213375e60fe616a026ea8030004528185b80985c00985c008009859809baa024133330163370206e00466e040d8004cdc081a8018048b0b19b833370400406a06866e0ccdc100081a8199981e80119982b8008028018b0b1bab30b20130b30130af0137540406eb4c2c404c2c804008dd71858008009858008021bae30ae010031630ae0102830ac0102737586156026150026ea802054ccc29804c250040184c8c8c94ccc2a4040104c8c8c8c8c8c8c8c8c8c8c94ccc2d004cdc78040298a99985a0099b8f006052153330b4013371e0080a22a6661680266e3c0081404c8c94ccc2d8054ccc2d804ccc2d8040052825114a22a66616c0266ebcc22004c2e004dd50079ba6002153330b6010131323253330b8013375e6134026174026ea8044c2f4040084cdd7984200985d009baa01100114a0617802617a020026170026ea80844c8c94ccc2e004cdd7984d00985d009baa01130bd0100213375e6108026174026ea8044004528185e00985e80985e80800985c009baa02914a026644a666170020062666603a0040020780202666603a004002078070602a6eb4c20804dd6185b80808180a1bad30820137586170020202c66616a0266ebcdd3000a6101a0004a0944cccc11ccccc11ccccc11c02d22010048810030410100080063041005004002304100116161616375a6170026172020046eb8c2dc04004c2dc04018dd7185a808029bad30b40130b501002375c6166020026166020066eb8c2c404008dd61856808029bac30ab010043756615c02615e026156026ea807058c2b8040a0c2b00409cc8cdd81856008009856009856808009bac30ab0130a80137540102646464a666152020082a66615202a6661520266ebcc1ecc2ac04dd50011ba6333303c333303c375660f66156026ea8071221004881003036005375c6154020066eb8c2ac0400d2002153330a90100613375e6116026156026ea8008c2b804c2ac04dd500a0a5014a02666601c05e05c05a0022c2c615c0205061580204e6466ec0c2b004004c2b004c2b404004dd61855809854009baa0083371200202466e00144014c25404c29004dd50071b80027370004e6142026ea8008dd59836184e009baa00d222233333333333025025004003002019309201018014001016006005375a6136020046eb4c264040054ccc25c04c22404c26004dd5000899bb0375002a6ea0c22c040504cdd81ba8308b0101537500282c6136026138020046134020026134020046eb4c26004004c26004c26004004c24c04dd50012999848009841009848809baa0011323232323232323232323232533309f0130a201002132323232498c21004018c94ccc27c04c244040044c8c8c8c94ccc29804c2a4040084c8c9263253330a501309701001153330a80130a70137540062930b0a99985280984b00800899192999855009856808010a4c2c6eb8c2ac04004c29c04dd50018a99985280984a80800899192999855009856808010a4c2c615602002614e026ea800c58c29404dd500118380018b1853808009853808011852808009850809baa0081533309f01309001001153330a20130a10137540102930b0b184f809baa00730870100a30820100b1630a00100130a001002309e01001309e01002309c01001309c01002375a613402002613402004613002002613002004612c020026124026ea800458c25004c24404dd50008b19192999848009841008008a60103d87a8000153330900130810100113232330010010652253330960100114c0103d87a800013232325333096013371e00c6eb8c25c0400c4c22404cc268040052f5c026600a00a004612e020046134020046130020026eb8c25404c24804dd500109841809984a00984a809849009baa0024bd701848009baa001305a30900137540022c612402612602004612202002611a026ea8c24004008c240040054ccc22404cdc480580189980880519b8100300b1330110690035333088013080010021323232533308b013371066e18028008cdc300080108008b19b80009002337049002000a99199844809800a4020260360062a6661120260029010099b824820010c06ccdc0001a401e2a6661120260029018099b82482020020c06ccdc0001a403e2a6661120260029020099b8248202020040c06ccdc0001a405e2a6661120260029028099b824820202020080c06ccdc0001a407e260320066e2000858c23004c2340400cdd69845808011845808041bac3089010073001001222533307a33712900f000899980180198400098400098400098400098400098400098400098400098400098400098400098400098400098400098400080119b800014807454ccc1e8cdc4a401c002266600600661000261000261000261000261000261000261000200466e00005200d13300400200130010012225333078306a00110021333003003307e002306d001222222222222323232533308301301100113232323232533308801301600115333088015333088013371000c018266e1ccdc199b8200500c3370000866e080300200044cdc38030060a9998440099b883370666e0400c014cdc08010040008999804800803199980d999980d999980d80580a009980a80324500488100301500d0120110011616163370600400266e00008cdc100200319b820020033370401890504e0099b8200a00316533308201307800e13370200200e200266e04ccc0a8010034030ccc0a800c034030cdc0a4141380200c6e0520003710900011299983999b880010021001100230010012253233307230014804054ccc1c8c00520001480004c01000854ccc1c8c00520401337049040021980180199b800024803c4cdc124101010100406600600666e00009203f37100026e392210801020408102040800022225333071306300110041323233001001006225333077001133078337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc1e0c1bccc0300280084cc1f0cdd81ba900a374c00e00a2a6660f066e3c0280084c94ccc1e4c1acc1e8dd500089983e99bb0375201660fc60f66ea80040104010c94ccc1e4c038004530103d87a80001306c3307d374c00297ae0323300100100222533307d00113307e337606ea402cdd400525eb7bdb1804c8c8c8c94ccc1f8c1d4cc04803c0084cc20804cdd81ba900f375001c00a2a6660fc66e3c03c0084c94ccc1fcc1c4c20004dd50008998418099bb037520206108026102026ea80040104010c94ccc1fcc1c40045300103d87a8000130723308301375000297ae03370000201c2661040266ec0dd48011ba800133006006003375a60fe0066eb8c1f4008c20404008c1fc0044cc1f0cdd81ba9002374c0026600c00c0066eacc1e400cdd7183b801183d801183c8009919001191980080080111299983b8008a4c264a6660f000229309919299983b9834983c1baa3300b375c60f060f80086eb8c1e00084cc014014cc1ec00800458c1f0008c1e8004c1e8004cc1d4cdd81ba9002375000297adef6c6022533306e337200040022980103d87980001533306e3371e0040022980103d87a800014c103d87b80002533306f00114a22940cdc09998071bab30373067375406c008006a6660ca60b6008200e290001998071bab30373067375406c00400260206eb8c1a8034dd698350051bad306a009375a60d40106eb8c198010dd718320019bae3064003375c60c40046466ec0c198004c198c19c004dd618310031919bb0306500130653066001375860c000a6eb4c18cc190c190c190004c18c004c188004c184008c8cdd81830000983018308009bac305f001305f001305a37540a644464a6660b6609860b86ea8004520001375a60c060ba6ea8004c94ccc16cc130c170dd50008a60103d87a800013233001001375660c260bc6ea8008894ccc180004530103d87a8000132323253330603371e00e6eb8c18400c4c14ccc190dd4000a5eb804cc014014008dd69830801183200118310009980200180111191980080080191299982e8008a60103d87a80001323232533305d3371e00c6eb8c17800c4c140cc184dd3000a5eb804cc014014008dd5982f0011830801182f800919801245040014df100000122337140040022c66e0cc120cdc01bad305800500100133230010012253330570011480044c94ccc154c118c158dd5181b982b9baa303730573754604e60ae6ea8c1680084c124cc00c00c0044cc00c00c004c1680040c8dd6982b182b8011bad3055001305500130543054002305200130523052305230523052304e375402e2c6eb4c140c144008dd69827800982798278011bad304d001304d002375a609600260960046eb4c124004c124008c8cdd81824000982418248009bac30470013047002375c608a00260826ea8c104010dd5982198220011821000981f1baa303d00132533303c302e303d375400226464a66607c605c607e6ea80044c8c8cdd80020011814000982198201baa001163009303f37540026082607c6ea8004594ccc0f805c5300103d87a80001302e3303f30400174bd701bac303f3040002375a607c002607c0046eb4c0f0004c0e0dd500e8991998008009bab303c303d303d303d303d303d303d303d303d303d30393754603260726ea806928111299981e00108008991998020021820001999119299981e9816981f1baa003132533303e3030303f3754002264a66607e606060806ea80044c94ccc1000205288800a99981f99b8f375c608860826ea80040f44c8cdc3992999820981918211baa001133223233300100100348000888c94ccc11ccdd7981498249baa304c00300510021333004004001303b002304c0023758604660866ea8c08cc10cdd5012182318219baa00116301230423754046a666080606260826ea80144dd6982298211baa0051375a608a608c608c60846ea8014c94ccc100c0c80044c8c8c8c8c8c94ccc124c13000852616375a609400260940046eb4c120004c120008dd6982300098211baa0051533304030310011323253330453048002149858dd6982300098211baa0051630403754008294000cc10cc100dd50008011821181f9baa0030011004303b001303c001303e002323232533303b303e00213253330393371e6eb8c0e80080d454ccc0e4cdd79ba60014c010ba14873657474696e67730100132533303a302a303b375400226464004a666076605a60786ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc158c1640084c8c8c8c8c8c8c9263304501123028001325333059304b00113232533305e3061002132498cc11c0048dd70008b1bac305f001305b37540262a6660b260940022a6660b860b66ea804c526161630593754024646eb4c168050dd6982c009981180a181f80a981080b181e80b8b182b800982b8011bad30550013055002375a60a600260a60046eb4c144004c144008dd6982780098278011bac304d001304d002304b001304b002325333048304b304b0011337606094002609460960022c6eb0c124004c124008c11c004c11c008c114004c114008c10c004c10c008c104004c0f4dd50008b181f981e1baa001163005303b37540082c2c6eacc0e800458c0f0004c0f0dd59804181c1baa001300730373754607402646074607660760024a666068604c606a6ea80044c8c8c8c94ccc0ecc0f80084c8c92632533303a302c00113232533303f3042002132498c94ccc0f4c0bc0044c8c94ccc108c1140084c926300d001163043001303f37540042a66607a605c0022646464646464a66608c60920042930b1bad30470013047002375a608a002608a0046eb4c10c004c0fcdd50010b181e9baa001163040001303c37540062a66607460560022a66607a60786ea800c5261616303a3754004600c0062c607800260780046074002606c6ea8004588c94ccc0d0c0980044c8c94ccc0e4c0f000852616375c6074002606c6ea800854ccc0d0c0940044c8c94ccc0e4c0f000852616375c6074002606c6ea800858c0d0dd50009bae3036303337540022c602460646ea8c048c0c8dd5000992999818181098189baa00113253330313023303237540022600660666ea8c0d8c0ccdd50008b1991191980080080191299981b8008a6103d87a80001323253330363375e603060706ea80080144c0a4cc0e80092f5c0266008008002607600460720026eb0c048c0c8dd5180918191baa0133035303237540022c600260626ea80488c0d0c0d4004dd59819181998198011bac30310013031002302f001302f0023756605a002605a605a0046eacc0ac004c0acc0ac008dd6181480098148011bac302700130270023758604a00260426ea8c004c084dd5001118120008a4c26cac6464a66603c60200022646464646464a66604e6054004264931980800091919191919192999817181880109924c64a666058603c00226464a6660626068004264932999817181018179baa0011323232325333035303800213232498c0640094ccc0c8c090c0ccdd500189919191919191919299981e9820001099191924c604200aa666076605a60786ea80184c8c8c8c94ccc108c1140084c8c9263024002302300316304300130430023041001303d375400c2ca666074605860766ea801c4c8c8c8c94ccc104c1100084c926533303e3030303f375400626464a666086608c0042930b1bae3044001304037540062c2c6eb4c108004c108008c100004c0f0dd50038b0b181f000981f001181e000981e001181d000981d001181c000981a1baa0031616303600130360023034001303037540022c2c6064002605c6ea801054ccc0b0c07400454ccc0bcc0b8dd50020a4c2c2c60586ea800c58dd698178009817801181680098168011bad302b00137580022c6eb0c0a0004c0a0008dd6981300098130011bad30240013020375400a2a66603c601e0022a66604260406ea80145261616301e37540084a66603a601e603c6ea80044c8c8c8c94ccc090c09c0084c926325333022301400115333025302437540082930b0a999811180980089919299981398150010a4c2c6eb4c0a0004c090dd50020a99981118090008a99981298121baa00414985858c088dd50018b19299981218118008a999810980918110008a51153330213013302200114a02c2c6ea8c094004c094008c08c004c07cdd50008b119299980e9807800899192999811181280109924c64a666040602400226464a66604a60500042930b1bae3026001302237540042a666040602200226464a66604a60500042930b1bae3026001302237540042c60406ea800458c08c004c07cdd50010a99980e9807000899191919299981218138010991924c6464646464a666054605a0042930b1bad302b001302b002375c605200260520066eb8c09c008c8c8c8c8c94ccc0a4c0b000852616375a605400260540046eb8c0a0004c0a0010dd718130018b1bac3025001302500237586046002603e6ea800854ccc074c0340044c8c94ccc088c0940084c9263232323232323232533302a302d002149858dd6981580098158011bae30290013029003375c604e0046464646464a66605260580042930b1bad302a001302a002375c605000260500066eb8c098008dd618110011bac3020001163253330223025302500113376060480026048604a0022c6eb0c08c004c07cdd50010a99980e9806000899192999811181280109924c6464646464a66604e60540042930b1bad30280013028002375c604c002604c0046eb8c09000458dd61811800980f9baa0021533301d300b0011323253330223025002132498c8c8c8c8c8c8c8c94ccc0a8c0b400852616375a605600260560046eb8c0a4004c0a400cdd718138011919191919299981498160010a4c2c6eb4c0a8004c0a8008dd7181400098140019bae3026002375860440046eb0c08000458c94ccc088c094c0940044cdd81812000981218128008b1bac3023001301f37540042a66603a601400226464a666044604a00426493191bae3022002375c60400022c64a666044604a604a002266ec0c090004c090c09400458dd61811800980f9baa00216301d3754002464a666038601c00226464a66604260480042930b1bae3022001301e37540042a666038601a0022a66603e603c6ea80085261616301c375400260020264a666030601460326ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0acc0b80084c8c92632533302a301c00113232533302f3032002132498c05800458c0c0004c0b0dd50038a999815180d8008a99981698161baa00714985858c0a8dd5003191919191bae302e003375c6058004646eb8c0b400cdd718158011919bb0302f001302f30300013758605601c6466ec0c0b8004c0b8c0bc004dd618148068b1bad302c001302c002375a60540026054004605000260500046eb4c098004c098008dd6981200098120011bad3022001302200232533301f302230220011337606042002604260440022c6eb0c080004c080008dd7180f000980d1baa00116300100122325333018300a00113232533301d3020002149858dd7180f000980d1baa00215333018300900113232533301d3020002132498cc0180048cc01801800458dd6180f000980d1baa00215333018300800113232533301d3020002132498cc0180048cc01801800458dd6180f000980d1baa002153330183007001132323232533301f3022002132498cc0200048cc02002000458dd6181000098100011bad301e001301a37540042a666030600c00226464a66603a60400042930b1bad301e001301a37540042a666030600a00226464a66603a60400042930b1bad301e001301a37540042a66603066e1d200c00113232533301d3020002149858dd7180f000980d1baa002163018375400244646600200200644a66603600229309919801801980f8011801980e800980c980b1baa00e370e90051b8748020dc3a400c6e1d2004370e90011b8748000dd2a40006e012002370090009b8f488100375e980103d8798000371290001ba548008dd70009bae0015734aae7555cf2ab9f5740ae855d12611e581ce0fccbbfb75923bff6dac5f23805dcf6cecfaae8aa3a6d3e474ee670004c011e581c6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc500001",
      "hash": "e0302560ced2fdcbfcb2602697df970cd0d6a38f94b32703f51c312b"
    },
    {
      "title": "pool_stake.stake",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "compiledCode": "5908af01000033323232323232322322322253330073232323232323232323232323232323253323301833322232330010010042232533301e300b001132323300100100722533302400114a0264a66604466e3cdd718138010020a511330030030013027001375c604660406ea800854ccc078c0280044c8cc004004dd6181218109baa00322533302300114a2264a6660426600c00c604c0042660060060022940c09800454ccc078c0340044c8cc004004dd6181218109baa00322533302300114a0264a6660426600c00c604c00429444cc00c00c004c09800454ccc078c0300044c8cdc49bad3024001323330010013758604a604c004900011129998128010800899980180198140012999811198038039813801099b80001480084004c080dd50010a99980f19b87480200044c8c94ccc080c030c084dd5000899299981099299981298120008a999811180718118008a5115333022300f302300114a02c2c6ea8c048c08cdd5180918119baa007133712002006266e2000400cdd6981298111baa00114a0601260426ea8c040c084dd50029bad3023302037540042a66603c66e1d200a001132325333020300c30213754002264a66604264a66604a60480022a666044601c6046002294454ccc088c03cc08c0045280b0b1baa301230233754601660466ea801c4cdc4801800899b88003001375a604a60446ea8004528180498109baa30093021375400a6eb4c08cc080dd500109919198008008099129998120008a5013253330223375e0086046604e00429444cc00c00c004c09c004c01ccc088cdd2a400466044604660406ea80092f5c097ae0301e3754002601060346ea800cdd6180e980f005180e805099299980c98040008991919299980e1804980e9baa001132533301d3371200664a66603c6014603e6ea8004520001375a604660406ea8004c94ccc078c028c07cdd50008a6103d87a8000132330010013756604860426ea8008894ccc08c004530103d87a8000132323253330233371e91100375c6048006260186604e6ea00052f5c026600a00a0046eb4c090008c09c008c094004c8cc004004dd5980798101baa00222533302200114c103d87a8000132323253330223371e91100375c6046006260166604c6e980052f5c026600a00a0046eacc08c008c098008c0900044cdd79806980f9baa0014c0107d87b9fd87980ff00163021301e37540022c646600200202244a666040002298103d87a800013232533301f3375e601260426ea8008c090c094c094c094c084dd5005098041981180125eb804cc010010004c090008c088004cdc08009919b83337040046eb4c070c94ccc07cc088c0880044cdd81810800981098110008b1bac3001301d375400c6eb4c074c94ccc07cc088c0880044cdd81810800981098110008b1bac3001301d375400c4604060426042604260420026466600200201a9000111299980f801080089919980200218118019919b80375a6040004006603c00260420042a666032600e0022944528180c9baa010374a90000b1180e000991919191919191929998101811801099299980f19b8f375c603e0040382a66603c66ebcdd3000a610ba14873657474696e67730100132533301f300e3020375400226464004a666040601a60426ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0ecc0f80084c8c8c8c8c8c8c926330280112302a00132533303e302b0011323253330433046002132498cc0a80048dd70008b1bac3044001304037540262a66607c60540022a66608260806ea804c5261616303e3754024646eb4c0fc050dd6981e809981200a181080a981100b180f80b8b181e000981e0011bad303a001303a002375a607000260700046eb4c0d8004c0d8008dd6981a000981a0011bac303200130320023030001303000232533302d30303030001133760605e002605e60600022c6eb0c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004c0a0008c098004c088dd50008b181218109baa00116300e302037540082c2c6eacc07c00458c084004c084dd59806180e9baa001300b301c3754603e6eb0c07c044c00400488c94ccc06cc0200044c8c94ccc080c08c00852616375c6042002603a6ea800854ccc06cc01c0044c8c94ccc080c08c0084c926330070012330060060011637586042002603a6ea800854ccc06cc0280044c8c94ccc080c08c0084c926330070012330060060011637586042002603a6ea800854ccc06cc0240044c8c8c8c94ccc088c0940084c92633009001233008008001163758604600260460046eb4c084004c074dd50010a99980d99b87480200044c8c94ccc080c08c00852616375a6042002603a6ea800854ccc06ccdc3a401400226464a66604060460042930b1bad3021001301d37540042a66603666e1d200c0011323253330203023002149858dd71810800980e9baa00216301b37540024a666030600a60326ea80044c8c8c8c94ccc07cc0880084c8c92632533301e300b0011323253330233026002132498c94ccc084c0380044c8c94ccc098c0a40084c926300e001163027001302337540042a666042601a0022646464646464a666054605a0042930b1bad302b001302b002375a605200260520046eb4c09c004c08cdd50010b18109baa001163024001302037540062a66603c60140022a66604260406ea800c5261616301e3754004600e0062c60400026040004603c00260346ea80045888c8cc00400400c894ccc0740045261323300300330210023003301f0012325333017300400113232533301c301f002149858dd7180e800980c9baa00215333017300300113232533301c301f002149858dd7180e800980c9baa00216301737540026e1d2002370e90001b8748018dc3a40084602c602e602e0024602a602c00260280046eacc048004c048c048c048c048008dd618080009808000980798059baa300e002300d300e0013009375400229309b2b1bad001375c002ae6955ceaab9e5573eae815d0aba24c011e581c6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc50004c0101000001",
      "hash": "4399813dad91bb78a5eb17c26ff50852bc75d3fa7b6e9ae87232ccc1"
    },
    {
      "title": "settings.spend",
      "datum": {
        "title": "input_datum",
        "schema": {
          "$ref": "#/definitions/types~1settings~1SettingsDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$types~1settings~1SettingsRedeemer"
        }
      },
      "compiledCode": "59101f010000332323232323232222532323232323233300a3002300b375400e2a6660146464a6660186008601a6ea80044c8c8c8c8c8c8c8c8c94ccc060c06c0084c8c94ccc05cc04cc060dd5000899299980c0040a99980c00388018a5014a0664646464644a66603a602a603c6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e0c0ec0084c8c8c8c8c8c8c926330230112302500132533303b30330011323253330403043002132498cc0940048dd70008b1bac3041001303d37540262a66607660640022a66607c607a6ea804c5261616303b3754024646eb4c0f0050dd6981d009980e80a180e80a980d80b180d80b8b181c800981c8011bad30370013037002375a606a002606a0046eb4c0cc004c0cc008dd6981880098188011bac302f001302f002302d001302d00232533302a302d302d00113376060580026058605a0022c6eb0c0ac004c0ac008c0a4004c0a4008c09c004c09c008c094004c094008c08c004c07cdd50008b1299980e180a180e9baa0011323232325333023302600213232498c94ccc088c0680044c8c94ccc09cc0a80084c926325333025301d00113232533302a302d002132498c04000458c0ac004c09cdd50010a999812980e0008991919191919299981718188010a4c2c6eb4c0bc004c0bc008dd6981680098168011bad302b001302737540042c604a6ea800458c0a0004c090dd50018a999811180c8008a99981298121baa00314985858c088dd500118048018b181200098120011811000980f1baa0011630010012232533301c30140011323253330213024002149858dd71811000980f1baa0021533301c30130011323253330213024002132498cc0180048cc01801800458dd61811000980f1baa0021533301c30180011323253330213024002132498cc0180048cc01801800458dd61811000980f1baa0021533301c301700113232323253330233026002132498cc0200048cc02002000458dd6181200098120011bad3022001301e37540042a666038602c00226464a66604260480042930b1bad3022001301e37540042a666038602a00226464a66604260480042930b1bad3022001301e37540042a66603866e1d200c0011323253330213024002149858dd71811000980f1baa00216301c375400244646600200200644a66603e00229309919801801981180118019810800919299980c980880089919299980f18108010a4c2c6eb8c07c004c06cdd50010a99980c980800089919299980f18108010a4c2c6eb8c07c004c06cdd50010b180c9baa001301c301937540022c600860306ea8008cdd79803980b9baa30073017375400266e95200233019375201297ae0163019001323300100137586004602c6ea8c018c058dd500891299980c0008a5eb804c8c94ccc05ccdd79ba6330083756601a60326ea800922100374c0142660360046600800800226600800800260380046034002460306032603200264660020026eb0c010c050dd51802180a1baa00f22533301600114a0264a66602866ebcc018c058dd5180c8010098a5113300300300130190013375e6e98cc004dd5980a980b180b180b180b18091baa30023012375401a910100374c00644646600200200644a66602c002297adef6c6013232323253330173371e00e004200626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c0600048c050004c94ccc038c015200014bd6f7b6300991919800800a5eb7bdb180894ccc0500044cc054cdd81ba9005374c00697adef6c6013232323253330153375e6601001200498103d8798000133019337606ea4024dd30038028a99980a99b8f009002133019337606ea4024dd300380189980c99bb037520046e98004cc01801800cdd5980b0019bae30140023018002301600132330010014bd6f7b63011299980980089980a19bb04c1094873657474696e6773004c010101004bd6f7b630099191919299980a19baf3300748810873657474696e6773000024c103d879800013301833760981094873657474696e6773004c01010100005153330143371e91010873657474696e677300002133018337609801094873657474696e6773004c01010100003133018337606ea4008dd4000998030030019bad3015003375c6026004602e004602a00244a66601e66e40008004530103d87980001533300f3371e0040022980103d87a800014c103d87b8000375c6022601c6ea800458c004c034dd50041180818088008a4c26cac26646464646464644644a66602864646464646464a666036602660386ea80044c94ccc070cdd79803980f1baa001004132533301d3019301e375400226464646464646464646464a666050604060526ea805c4c94ccc0a4cccc008c050c0acdd50139bac3003302b3754602860566ea8058c010c0acdd5180a18159baa0163756600a60566ea8c050c0acdd500b0a99981499baf00c00115333029009100714a0294052819191919180b19818181880219818181880199818181880119818180498171baa02a3303032374e66062605c00266062605e00297ae0325333030303330330011337606064002606460660022c6eb0c02cc0b8dd501519818181880099818180418171baa02a303230320013031303130310013030001302f001302a3754016264a6660526666004602060566ea809cdd6180198159baa3014302b375402c600860566ea8c050c0acdd500b1bab3005302b3754602860566ea805854ccc0a4cdd78060008a99981480488038a5014a02940c8c8c8c8c058cc0c0c0c4010cc0c0c0c400ccc0c0c0c4008cc0c0c024c0b8dd500799818191ba733031302e00133031302f0014bd7019299981818199819800899bb03032001303230330011637586016605c6ea803ccc0c0c0c4004cc0c0c020c0b8dd5007981918190009818981898188009818000981780098151baa026222232330010010052232533302e3026001132323300100100822533303400114a0264a66606466e3cdd7181b8010020a511330030030013037001375c606660606ea800854ccc0b8c0940044c8cc004004dd6181a18189baa00322533303300114a2264a6660626600c00c606c0042660060060022940c0d800454ccc0b8c0a80044c8cc004004dd6181a18189baa00322533303300114a0264a6660626600c00c606c00429444cc00c00c004c0d800454ccc0b8c0a40044c8cdc49bad3034001323330010013758606a606c0049000111299981a80108008999801801981c001299981919803803981b801099b80001480084004c0c0dd50010a9998171814000899192999818181398189baa00113253330313253330353034001153330323029303300114a22a6660646054606600229405858dd5180e98199baa301d30333754010266e2400400c4cdc40008019bad3035303237540022940c068c0c4dd5180d98189baa006375a606660606ea800854ccc0b8c09c0044c8c94ccc0c0c09cc0c4dd5000899299981899299981a981a0008a999819181498198008a5115333032302a303300114a02c2c6ea8c074c0ccdd5180e18199baa008133712006002266e2000c004dd6981a98191baa00114a0603460626ea8c068c0c4dd50031bad303330303754004264646600200200c44a66606800229404c94ccc0c8cdd78021819981b8010a5113300300300130370013018330323374a900119819181998181baa0024bd7025eb80c0b8dd50009181618169816981698169816981698169816800918159816181618161816181618161816000918151815981598159815981598158009181498151815181500099baf374c660066eacc004c090dd5180698121baa00f4881004c0101a000230273028302830283028001323375e6e98c004dd5980698119baa006374c60026eacc034c08cdd5005119801000a4410022323300100100322533302600114bd6f7b630099191919299981399b8f007002100313302b337606ea4008dd3000998030030019bab3028003375c604c00460540046050002601e0026044603e6ea800458c00cc078dd50008b1810180e9baa0011632533301e00114c0103d87a8000130053301f30200014bd701bac3001301c3754600a60386ea801c8c07cc080c080004c00cc068dd500099299980c1807980c9baa00113253330193011301a37540022600a60366ea8c078c06cdd50008b1991191980080080191299980f8008a6103d87a800013232533301e3375e601260406ea80080144c020cc0880092f5c0266008008002604600460420026eb0c00cc068dd51801980d1baa005301d301a37540022c600660326ea8010dd2a40004603600246034603600229309b2b19299980998058008a99980b180a9baa00214985854ccc04cc02800454ccc058c054dd50010a4c2c2c60266ea8004c00403894ccc040c020c044dd500089919191919191919191919191919191919191919191919192999815981700109919191919191924c660460224604a00264a66605c604c00226464a666066606c004264931981280091bae001163758606800260606ea804c54ccc0b8c09400454ccc0c4c0c0dd50098a4c2c2c605c6ea8048c8dd6981780a1bad302d013301d014301d015301b016301b01716302c001302c002375a605400260540046eb4c0a0004c0a0008dd6981300098130011bad302400130240023758604400260440046040002604000464a66603a60406040002266ec0c07c004c07cc08000458dd6180f000980f001180e000980e001180d000980d001180c000980c001180b00098091baa001162533300f300730103754002264646464a66602c6032004264649319299980a980680089919299980d180e80109924c64a666030602000226464a66603a60400042649318080008b180f000980d1baa00215333018300f001132323232323253330213024002149858dd6981100098110011bad30200013020002375a603c00260346ea800858c060dd50008b180d800980b9baa00315333015300c00115333018301737540062930b0b180a9baa002300900316301700130170023015001301137540022c60020024464a66601e600e00226464a666028602e0042930b1bae3015001301137540042a66601e600c00226464a666028602e00426493198030009198030030008b1bac3015001301137540042a66601e601600226464a666028602e00426493198030009198030030008b1bac3015001301137540042a66601e6014002264646464a66602c603200426493198040009198040040008b1bac30170013017002375a602a00260226ea800854ccc03cc0240044c8c94ccc050c05c00852616375a602a00260226ea800854ccc03cc0200044c8c94ccc050c05c00852616375a602a00260226ea800854ccc03ccdc3a401800226464a666028602e0042930b1bae3015001301137540042c601e6ea800488c8cc00400400c894ccc04800452613233003003301600230033014001232533300c30040011323253330113014002149858dd7180900098071baa0021533300c30030011323253330113014002149858dd7180900098071baa00216300c3754002601e60186ea801cdc3a40046e1d2000370e90051b8748020dc3a400c6e1d20045734aae7555cf2ab9f5740ae855d126012bd8799fd8799f5820382b27b28c70343161f9abebdab78264e0fd7271baf3bb88ca04b52e5f0067efff01ff0001",
      "hash": "6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc50"
    },
    {
      "title": "settings.mint",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "compiledCode": "59101f010000332323232323232222532323232323233300a3002300b375400e2a6660146464a6660186008601a6ea80044c8c8c8c8c8c8c8c8c94ccc060c06c0084c8c94ccc05cc04cc060dd5000899299980c0040a99980c00388018a5014a0664646464644a66603a602a603c6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e0c0ec0084c8c8c8c8c8c8c926330230112302500132533303b30330011323253330403043002132498cc0940048dd70008b1bac3041001303d37540262a66607660640022a66607c607a6ea804c5261616303b3754024646eb4c0f0050dd6981d009980e80a180e80a980d80b180d80b8b181c800981c8011bad30370013037002375a606a002606a0046eb4c0cc004c0cc008dd6981880098188011bac302f001302f002302d001302d00232533302a302d302d00113376060580026058605a0022c6eb0c0ac004c0ac008c0a4004c0a4008c09c004c09c008c094004c094008c08c004c07cdd50008b1299980e180a180e9baa0011323232325333023302600213232498c94ccc088c0680044c8c94ccc09cc0a80084c926325333025301d00113232533302a302d002132498c04000458c0ac004c09cdd50010a999812980e0008991919191919299981718188010a4c2c6eb4c0bc004c0bc008dd6981680098168011bad302b001302737540042c604a6ea800458c0a0004c090dd50018a999811180c8008a99981298121baa00314985858c088dd500118048018b181200098120011811000980f1baa0011630010012232533301c30140011323253330213024002149858dd71811000980f1baa0021533301c30130011323253330213024002132498cc0180048cc01801800458dd61811000980f1baa0021533301c30180011323253330213024002132498cc0180048cc01801800458dd61811000980f1baa0021533301c301700113232323253330233026002132498cc0200048cc02002000458dd6181200098120011bad3022001301e37540042a666038602c00226464a66604260480042930b1bad3022001301e37540042a666038602a00226464a66604260480042930b1bad3022001301e37540042a66603866e1d200c0011323253330213024002149858dd71811000980f1baa00216301c375400244646600200200644a66603e00229309919801801981180118019810800919299980c980880089919299980f18108010a4c2c6eb8c07c004c06cdd50010a99980c980800089919299980f18108010a4c2c6eb8c07c004c06cdd50010b180c9baa001301c301937540022c600860306ea8008cdd79803980b9baa30073017375400266e95200233019375201297ae0163019001323300100137586004602c6ea8c018c058dd500891299980c0008a5eb804c8c94ccc05ccdd79ba6330083756601a60326ea800922100374c0142660360046600800800226600800800260380046034002460306032603200264660020026eb0c010c050dd51802180a1baa00f22533301600114a0264a66602866ebcc018c058dd5180c8010098a5113300300300130190013375e6e98cc004dd5980a980b180b180b180b18091baa30023012375401a910100374c00644646600200200644a66602c002297adef6c6013232323253330173371e00e004200626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c0600048c050004c94ccc038c015200014bd6f7b6300991919800800a5eb7bdb180894ccc0500044cc054cdd81ba9005374c00697adef6c6013232323253330153375e6601001200498103d8798000133019337606ea4024dd30038028a99980a99b8f009002133019337606ea4024dd300380189980c99bb037520046e98004cc01801800cdd5980b0019bae30140023018002301600132330010014bd6f7b63011299980980089980a19bb04c1094873657474696e6773004c010101004bd6f7b630099191919299980a19baf3300748810873657474696e6773000024c103d879800013301833760981094873657474696e6773004c01010100005153330143371e91010873657474696e677300002133018337609801094873657474696e6773004c01010100003133018337606ea4008dd4000998030030019bad3015003375c6026004602e004602a00244a66601e66e40008004530103d87980001533300f3371e0040022980103d87a800014c103d87b8000375c6022601c6ea800458c004c034dd50041180818088008a4c26cac26646464646464644644a66602864646464646464a666036602660386ea80044c94ccc070cdd79803980f1baa001004132533301d3019301e375400226464646464646464646464a666050604060526ea805c4c94ccc0a4cccc008c050c0acdd50139bac3003302b3754602860566ea8058c010c0acdd5180a18159baa0163756600a60566ea8c050c0acdd500b0a99981499baf00c00115333029009100714a0294052819191919180b19818181880219818181880199818181880119818180498171baa02a3303032374e66062605c00266062605e00297ae0325333030303330330011337606064002606460660022c6eb0c02cc0b8dd501519818181880099818180418171baa02a303230320013031303130310013030001302f001302a3754016264a6660526666004602060566ea809cdd6180198159baa3014302b375402c600860566ea8c050c0acdd500b1bab3005302b3754602860566ea805854ccc0a4cdd78060008a99981480488038a5014a02940c8c8c8c8c058cc0c0c0c4010cc0c0c0c400ccc0c0c0c4008cc0c0c024c0b8dd500799818191ba733031302e00133031302f0014bd7019299981818199819800899bb03032001303230330011637586016605c6ea803ccc0c0c0c4004cc0c0c020c0b8dd5007981918190009818981898188009818000981780098151baa026222232330010010052232533302e3026001132323300100100822533303400114a0264a66606466e3cdd7181b8010020a511330030030013037001375c606660606ea800854ccc0b8c0940044c8cc004004dd6181a18189baa00322533303300114a2264a6660626600c00c606c0042660060060022940c0d800454ccc0b8c0a80044c8cc004004dd6181a18189baa00322533303300114a0264a6660626600c00c606c00429444cc00c00c004c0d800454ccc0b8c0a40044c8cdc49bad3034001323330010013758606a606c0049000111299981a80108008999801801981c001299981919803803981b801099b80001480084004c0c0dd50010a9998171814000899192999818181398189baa00113253330313253330353034001153330323029303300114a22a6660646054606600229405858dd5180e98199baa301d30333754010266e2400400c4cdc40008019bad3035303237540022940c068c0c4dd5180d98189baa006375a606660606ea800854ccc0b8c09c0044c8c94ccc0c0c09cc0c4dd5000899299981899299981a981a0008a999819181498198008a5115333032302a303300114a02c2c6ea8c074c0ccdd5180e18199baa008133712006002266e2000c004dd6981a98191baa00114a0603460626ea8c068c0c4dd50031bad303330303754004264646600200200c44a66606800229404c94ccc0c8cdd78021819981b8010a5113300300300130370013018330323374a900119819181998181baa0024bd7025eb80c0b8dd50009181618169816981698169816981698169816800918159816181618161816181618161816000918151815981598159815981598158009181498151815181500099baf374c660066eacc004c090dd5180698121baa00f4881004c0101a000230273028302830283028001323375e6e98c004dd5980698119baa006374c60026eacc034c08cdd5005119801000a4410022323300100100322533302600114bd6f7b630099191919299981399b8f007002100313302b337606ea4008dd3000998030030019bab3028003375c604c00460540046050002601e0026044603e6ea800458c00cc078dd50008b1810180e9baa0011632533301e00114c0103d87a8000130053301f30200014bd701bac3001301c3754600a60386ea801c8c07cc080c080004c00cc068dd500099299980c1807980c9baa00113253330193011301a37540022600a60366ea8c078c06cdd50008b1991191980080080191299980f8008a6103d87a800013232533301e3375e601260406ea80080144c020cc0880092f5c0266008008002604600460420026eb0c00cc068dd51801980d1baa005301d301a37540022c600660326ea8010dd2a40004603600246034603600229309b2b19299980998058008a99980b180a9baa00214985854ccc04cc02800454ccc058c054dd50010a4c2c2c60266ea8004c00403894ccc040c020c044dd500089919191919191919191919191919191919191919191919192999815981700109919191919191924c660460224604a00264a66605c604c00226464a666066606c004264931981280091bae001163758606800260606ea804c54ccc0b8c09400454ccc0c4c0c0dd50098a4c2c2c605c6ea8048c8dd6981780a1bad302d013301d014301d015301b016301b01716302c001302c002375a605400260540046eb4c0a0004c0a0008dd6981300098130011bad302400130240023758604400260440046040002604000464a66603a60406040002266ec0c07c004c07cc08000458dd6180f000980f001180e000980e001180d000980d001180c000980c001180b00098091baa001162533300f300730103754002264646464a66602c6032004264649319299980a980680089919299980d180e80109924c64a666030602000226464a66603a60400042649318080008b180f000980d1baa00215333018300f001132323232323253330213024002149858dd6981100098110011bad30200013020002375a603c00260346ea800858c060dd50008b180d800980b9baa00315333015300c00115333018301737540062930b0b180a9baa002300900316301700130170023015001301137540022c60020024464a66601e600e00226464a666028602e0042930b1bae3015001301137540042a66601e600c00226464a666028602e00426493198030009198030030008b1bac3015001301137540042a66601e601600226464a666028602e00426493198030009198030030008b1bac3015001301137540042a66601e6014002264646464a66602c603200426493198040009198040040008b1bac30170013017002375a602a00260226ea800854ccc03cc0240044c8c94ccc050c05c00852616375a602a00260226ea800854ccc03cc0200044c8c94ccc050c05c00852616375a602a00260226ea800854ccc03ccdc3a401800226464a666028602e0042930b1bae3015001301137540042c601e6ea800488c8cc00400400c894ccc04800452613233003003301600230033014001232533300c30040011323253330113014002149858dd7180900098071baa0021533300c30030011323253330113014002149858dd7180900098071baa00216300c3754002601e60186ea801cdc3a40046e1d2000370e90051b8748020dc3a400c6e1d20045734aae7555cf2ab9f5740ae855d126012bd8799fd8799f5820382b27b28c70343161f9abebdab78264e0fd7271baf3bb88ca04b52e5f0067efff01ff0001",
      "hash": "6d9d7acac59a4469ec52bb207106167c5cbfa689008ffa6ee92acc50"
    },
    {
      "title": "stake.stake",
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "compiledCode": "5901420100003323232323232322322253330053253330063370e900218039baa300130083754004264a66600e66e1d2000300837540022646600200264a66601266e1d2002300a3754002297adef6c6013756601c60166ea8004c8cc004004dd5980218059baa300e300b375400644a66601a0022980103d87a80001323232533300d3371e0166eb8c03800c4cdd2a4000660226e980052f5c026600a00a0046eacc038008c044008c03c004894ccc030004528099299980519b873371c6eb8c02cc03c00920024806852889980180180098078008b1929998050008a6103d87a800013374a9000198059806000a5eb80dd618059806180618041baa300b3008375400429408c02cc03000452613656375c002ae6955ceaab9e5573eae815d0aba24c011e581ce0302560ced2fdcbfcb2602697df970cd0d6a38f94b32703f51c312b0001",
      "hash": "99e5aacf401fed0eb0e2993d72d423947f42342e8f848353d03efe61"
    }
  ],
  "definitions": {
    "Bool": {
      "title": "Bool",
      "anyOf": [
        {
          "title": "False",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "True",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "ByteArray": {
      "dataType": "bytes"
    },
    "Data": {
      "title": "Data",
      "description": "Any Plutus data."
    },
    "Int": {
      "dataType": "integer"
    },
    "List$ByteArray": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/ByteArray"
      }
    },
    "List$Int": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/Int"
      }
    },
    "List$Tuple$Int_Option$types/order/SignedStrategyExecution_Int": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/Tuple$Int_Option$types~1order~1SignedStrategyExecution_Int"
      }
    },
    "List$aiken/transaction/credential/Credential": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
      }
    },
    "List$sundae/multisig/MultisigScript": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
      }
    },
    "Option$ByteArray": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$List$ByteArray": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/List$ByteArray"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$aiken/transaction/credential/Referenced$aiken/transaction/credential/Credential": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/aiken~1transaction~1credential~1Referenced$aiken~1transaction~1credential~1Credential"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$sundae/multisig/MultisigScript": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Option$types/order/SignedStrategyExecution": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/types~1order~1SignedStrategyExecution"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "RedeemerWrapper$Data": {
      "title": "Wrapped Redeemer",
      "description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/Data"
            }
          ]
        }
      ]
    },
    "RedeemerWrapper$types/pool/PoolRedeemer": {
      "title": "Wrapped Redeemer",
      "description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/types~1pool~1PoolRedeemer"
            }
          ]
        }
      ]
    },
    "RedeemerWrapper$types/settings/SettingsRedeemer": {
      "title": "Wrapped Redeemer",
      "description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/types~1settings~1SettingsRedeemer"
            }
          ]
        }
      ]
    },
    "Tuple$ByteArray_ByteArray": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/ByteArray"
        },
        {
          "$ref": "#/definitions/ByteArray"
        }
      ]
    },
    "Tuple$ByteArray_ByteArray_Int": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/ByteArray"
        },
        {
          "$ref": "#/definitions/ByteArray"
        },
        {
          "$ref": "#/definitions/Int"
        }
      ]
    },
    "Tuple$Int_Int": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/Int"
        },
        {
          "$ref": "#/definitions/Int"
        }
      ]
    },
    "Tuple$Int_Option$types/order/SignedStrategyExecution_Int": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/Int"
        },
        {
          "$ref": "#/definitions/Option$types~1order~1SignedStrategyExecution"
        },
        {
          "$ref": "#/definitions/Int"
        }
      ]
    },
    "Tuple$Tuple$ByteArray_ByteArray_Int_Tuple$ByteArray_ByteArray_Int": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
        },
        {
          "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
        }
      ]
    },
    "Tuple$Tuple$ByteArray_ByteArray_Tuple$ByteArray_ByteArray": {
      "title": "Tuple",
      "dataType": "list",
      "items": [
        {
          "$ref": "#/definitions/Tuple$ByteArray_ByteArray"
        },
        {
          "$ref": "#/definitions/Tuple$ByteArray_ByteArray"
        }
      ]
    },
    "aiken/interval/Interval$Int": {
      "title": "Interval",
      "description": "A type to represent intervals of values. Interval are inhabited by a type\n `a` which is useful for non-infinite intervals that have a finite\n lower-bound and/or upper-bound.\n\n This allows to represent all kind of mathematical intervals:\n\n ```aiken\n // [1; 10]\n let i0: Interval<PosixTime> = Interval\n   { lower_bound:\n       IntervalBound { bound_type: Finite(1), is_inclusive: True }\n   , upper_bound:\n       IntervalBound { bound_type: Finite(10), is_inclusive: True }\n   }\n ```\n\n ```aiken\n // (20; infinity)\n let i1: Interval<PosixTime> = Interval\n   { lower_bound:\n       IntervalBound { bound_type: Finite(20), is_inclusive: False }\n   , upper_bound:\n       IntervalBound { bound_type: PositiveInfinity, is_inclusive: False }\n   }\n ```",
      "anyOf": [
        {
          "title": "Interval",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "lower_bound",
              "$ref": "#/definitions/aiken~1interval~1IntervalBound$Int"
            },
            {
              "title": "upper_bound",
              "$ref": "#/definitions/aiken~1interval~1IntervalBound$Int"
            }
          ]
        }
      ]
    },
    "aiken/interval/IntervalBound$Int": {
      "title": "IntervalBound",
      "description": "An interval bound, either inclusive or exclusive.",
      "anyOf": [
        {
          "title": "IntervalBound",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "bound_type",
              "$ref": "#/definitions/aiken~1interval~1IntervalBoundType$Int"
            },
            {
              "title": "is_inclusive",
              "$ref": "#/definitions/Bool"
            }
          ]
        }
      ]
    },
    "aiken/interval/IntervalBoundType$Int": {
      "title": "IntervalBoundType",
      "description": "A type of interval bound. Where finite, a value of type `a` must be\n provided. `a` will typically be an `Int`, representing a number of seconds or\n milliseconds.",
      "anyOf": [
        {
          "title": "NegativeInfinity",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Finite",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "PositiveInfinity",
          "dataType": "constructor",
          "index": 2,
          "fields": []
        }
      ]
    },
    "aiken/transaction/Datum": {
      "title": "Datum",
      "description": "An output `Datum`.",
      "anyOf": [
        {
          "title": "NoDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "DatumHash",
          "description": "A datum referenced by its hash digest.",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "InlineDatum",
          "description": "A datum completely inlined in the output.",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "$ref": "#/definitions/Data"
            }
          ]
        }
      ]
    },
    "aiken/transaction/OutputReference": {
      "title": "OutputReference",
      "description": "An `OutputReference` is a unique reference to an output on-chain. The `output_index`\n corresponds to the position in the output list of the transaction (identified by its id)\n that produced that output",
      "anyOf": [
        {
          "title": "OutputReference",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "transaction_id",
              "$ref": "#/definitions/aiken~1transaction~1TransactionId"
            },
            {
              "title": "output_index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "aiken/transaction/TransactionId": {
      "title": "TransactionId",
      "description": "A unique transaction identifier, as the hash of a transaction body. Note that the transaction id\n isn't a direct hash of the `Transaction` as visible on-chain. Rather, they correspond to hash\n digests of transaction body as they are serialized on the network.",
      "anyOf": [
        {
          "title": "TransactionId",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "hash",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aiken/transaction/credential/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/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "stake_credential",
              "$ref": "#/definitions/Option$aiken~1transaction~1credential~1Referenced$aiken~1transaction~1credential~1Credential"
            }
          ]
        }
      ]
    },
    "aiken/transaction/credential/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": "VerificationKeyCredential",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "ScriptCredential",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aiken/transaction/credential/Referenced$aiken/transaction/credential/Credential": {
      "title": "Referenced",
      "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/aiken~1transaction~1credential~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"
            }
          ]
        }
      ]
    },
    "sundae/multisig/MultisigScript": {
      "title": "MultisigScript",
      "anyOf": [
        {
          "title": "Signature",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "key_hash",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "AllOf",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "scripts",
              "$ref": "#/definitions/List$sundae~1multisig~1MultisigScript"
            }
          ]
        },
        {
          "title": "AnyOf",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "scripts",
              "$ref": "#/definitions/List$sundae~1multisig~1MultisigScript"
            }
          ]
        },
        {
          "title": "AtLeast",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "required",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "scripts",
              "$ref": "#/definitions/List$sundae~1multisig~1MultisigScript"
            }
          ]
        },
        {
          "title": "Before",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "title": "time",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "After",
          "dataType": "constructor",
          "index": 5,
          "fields": [
            {
              "title": "time",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 6,
          "fields": [
            {
              "title": "script_hash",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "types/oracle/OracleDatum": {
      "title": "OracleDatum",
      "anyOf": [
        {
          "title": "OracleDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "owner",
              "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
            },
            {
              "title": "valid_range",
              "$ref": "#/definitions/aiken~1interval~1Interval$Int"
            },
            {
              "title": "pool_ident",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "reserve_a",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            },
            {
              "title": "reserve_b",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            },
            {
              "title": "circulating_lp",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            }
          ]
        }
      ]
    },
    "types/oracle/OracleRedeemer": {
      "title": "OracleRedeemer",
      "anyOf": [
        {
          "title": "Mint",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            },
            {
              "$ref": "#/definitions/List$Int"
            }
          ]
        },
        {
          "title": "Burn",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/order/Destination": {
      "title": "Destination",
      "description": "The destination where funds are to be sent after the order",
      "anyOf": [
        {
          "title": "Fixed",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "address",
              "description": "The address to attach to the output (such as the users wallet, or another script)",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "datum",
              "description": "The datum to attach to the output; Could be none in typical cases, but could also be used to compose with other protocols,\n such as paying the results of a swap back to a treasury contract",
              "$ref": "#/definitions/aiken~1transaction~1Datum"
            }
          ]
        },
        {
          "title": "Self",
          "description": "The result gets paid back to the exact same address and datum it came from; useful for strategies\n with unbounded legs",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/order/Order": {
      "title": "Order",
      "description": "The specific order details for executing an order",
      "anyOf": [
        {
          "title": "Strategy",
          "description": "The details of the order aren't yet determined, but will be communicated out of band to the scoopers\n This can be thought of as \"late-binding\" the order details, so long as the strategy is signed by `signer`\n For example, you could use this to implement trailing stop loss, where the order to sell a token is only triggered\n after a specific threshold is met.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "auth",
              "$ref": "#/definitions/types~1order~1StrategyAuthorization"
            }
          ]
        },
        {
          "title": "Swap",
          "description": "A swap from one token to another, offering some subset of the UTXO, in return for at least some quantity of another token",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "offer",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            },
            {
              "title": "min_received",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            }
          ]
        },
        {
          "title": "Deposit",
          "description": "A deposit, offering at most two quantities from the UTXO to provide liquidity to the pool, resulting in LP tokens paid to the output to track an ownership percentage of the pool\n We use an at-most semantics to aide in composibility; perhaps the deposit is part of a longer chain, and you only want to deposit a portion of the full asset.",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "assets",
              "$ref": "#/definitions/Tuple$Tuple$ByteArray_ByteArray_Int_Tuple$ByteArray_ByteArray_Int"
            }
          ]
        },
        {
          "title": "Withdrawal",
          "description": "A withdrawal, which will burn some LP tokens in return for the corresponding portion of the pool\n We use an at-most amount semantics to aide in composibility; perhaps the withdrawal is part of a longer chain,\n and you only want to withdraw a portion of your full LP tokens",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "amount",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray_Int"
            }
          ]
        },
        {
          "title": "Donation",
          "description": "Deposit these assets into the pool, and mint the appropriate number of LP tokens\n Donate some value to the pool; Likely not useful for an end user, but lets other\n protocols create interesting options: for example, an incentive program for their liquidity providers, etc.",
          "dataType": "constructor",
          "index": 4,
          "fields": [
            {
              "title": "assets",
              "$ref": "#/definitions/Tuple$Tuple$ByteArray_ByteArray_Int_Tuple$ByteArray_ByteArray_Int"
            }
          ]
        },
        {
          "title": "Record",
          "dataType": "constructor",
          "index": 5,
          "fields": [
            {
              "title": "policy",
              "$ref": "#/definitions/Tuple$ByteArray_ByteArray"
            }
          ]
        }
      ]
    },
    "types/order/OrderDatum": {
      "title": "OrderDatum",
      "description": "An order to execute within the SundaeSwap ecosystem",
      "anyOf": [
        {
          "title": "OrderDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "pool_ident",
              "description": "An optional pool identifier against which this order must be executed\n If set to none, the order is allowed to execute against any pool with the\n correct assets.",
              "$ref": "#/definitions/Option$ByteArray"
            },
            {
              "title": "owner",
              "description": "An canonical \"owner\" of this order, with the possibility of multisig\n schemes and script restrictions. Allows updates or cancellations of the order",
              "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
            },
            {
              "title": "max_protocol_fee",
              "description": "The maximum amount of ADA that can be taken as a protocol fee\n For example, a user would typically set this to baseFee + incrementalFee\n which allows their order to execute as the only order in a batch; if it\n executes as a larger batch, the user may receive some of this ADA back as a rebate.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "destination",
              "description": "Where the output of executing an order should be sent",
              "$ref": "#/definitions/types~1order~1Destination"
            },
            {
              "title": "details",
              "description": "A description of how to actually execute the order",
              "$ref": "#/definitions/types~1order~1Order"
            },
            {
              "title": "extension",
              "description": "The pool contracts should work with any order contract that adheres to this datum;\n to aid in extensibility, we leave room here for arbitrary extension data that other\n order scripts might want to take advantage of.",
              "$ref": "#/definitions/Data"
            }
          ]
        }
      ]
    },
    "types/order/OrderRedeemer": {
      "title": "OrderRedeemer",
      "description": "An order can be spent either to Scoop (execute) it, or to cancel it",
      "anyOf": [
        {
          "title": "Scoop",
          "description": "Execute the order",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Cancel",
          "description": "Or cancel/update it",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/order/SignedStrategyExecution": {
      "title": "SignedStrategyExecution",
      "description": "A specific strategy execution, plus a signature of that data",
      "anyOf": [
        {
          "title": "SignedStrategyExecution",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "execution",
              "description": "The details about how to execute the strategy for a given order",
              "$ref": "#/definitions/types~1order~1StrategyExecution"
            },
            {
              "title": "signature",
              "description": "An ed25519 signature of the serialized `strategy`",
              "$ref": "#/definitions/Option$ByteArray"
            }
          ]
        }
      ]
    },
    "types/order/StrategyAuthorization": {
      "title": "StrategyAuthorization",
      "description": "There are two ways to delegate authorization of a strategy::\n - by a signing key\n - or by some script in the withdrawals of the transaction",
      "anyOf": [
        {
          "title": "Signature",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "signer",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "Script",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "script",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "types/order/StrategyExecution": {
      "title": "StrategyExecution",
      "description": "The details used to execute an order of type \"Strategy\"",
      "anyOf": [
        {
          "title": "StrategyExecution",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "tx_ref",
              "description": "The order that the execution is \"valid\" for\n This prevents re-use of a signature against a different order",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            },
            {
              "title": "validity_range",
              "description": "For what time window is this strategy valid\n This allows specific time-sensitive strategies",
              "$ref": "#/definitions/aiken~1interval~1Interval$Int"
            },
            {
              "title": "details",
              "description": "The details for how the order should be processed\n These are the late-bound details that the delegated authority chose to execute\n likely based on some arbitrary off-chain trigger condition",
              "$ref": "#/definitions/types~1order~1Order"
            },
            {
              "title": "extensions",
              "description": "This extension data allows arbitrary other data to be attached that the pool\n doesn't care about, but that the order script might",
              "$ref": "#/definitions/Data"
            }
          ]
        }
      ]
    },
    "types/pool/ManageRedeemer": {
      "title": "ManageRedeemer",
      "description": "Manage settings about a pool (used against the pool manage script)",
      "anyOf": [
        {
          "title": "WithdrawFees",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "treasury_output",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "pool_input",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "UpdatePoolFees",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "pool_input",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "types/pool/PoolDatum": {
      "title": "PoolDatum",
      "description": "The current state of a AMM liquidity pool at a UTXO.",
      "anyOf": [
        {
          "title": "PoolDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "identifier",
              "description": "the unique identifier of the pool. Produced by hashing one of the input UTXOs used to produce the pool\n to ensure uniqueness.",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "assets",
              "description": "The two asset IDs that this pool can exchange, in alphabetical order\n Used to validate that the assets being swapped are indeed the intended assets",
              "$ref": "#/definitions/Tuple$Tuple$ByteArray_ByteArray_Tuple$ByteArray_ByteArray"
            },
            {
              "title": "circulating_lp",
              "description": "The total number of LP tokens in circulation\n Maintains the following two invariants on each deposit or withdrawal:\n - circulating_lp is always equal to the number of LP tokens that have been minted and are in circulation\n - A users LP tokens (or burned LP tokens), as a percentage of the circulating LP tokens, represent the percentage of assets they just deposited or withdrew.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "bid_fees_per_10_thousand",
              "description": "The basis points to charge on each trade for bid (A -> B) and ask (B -> A) orders\n For example, a 1% fee would be represented as 100 (out of 10,000), and a 0.3% fee would be represented as 30",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "ask_fees_per_10_thousand",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "fee_manager",
              "$ref": "#/definitions/Option$sundae~1multisig~1MultisigScript"
            },
            {
              "title": "market_open",
              "description": "The UNIX millisecond timestamp at which trading against the pool should be allowed\n TODO: deposits and arguably withdrawals should be processed before the market open",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "protocol_fees",
              "description": "The amount of ADA on the UTXO that is set aside by collecting protocol fees\n This should be increased on each scoop to represent collecting fees; deducted from the reserve amount (if one of the tokens in the pair is ADA)\n to calculate the swap amounts, and decreased when some amount is withdrawn.\n Note that this also allows us to conveniently sidestep minUTXO woes, because the creator of the pool can set the initial protocol fees to whatever minUTXO is needed\n and withdrawals never have to be for the full amount.\n TODO: should we add a field to the settings object to set a minimum initial protocol_fees on pool mint?",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "types/pool/PoolMintRedeemer": {
      "title": "PoolMintRedeemer",
      "description": "We use the pool mint script for two different purposes",
      "anyOf": [
        {
          "title": "MintLP",
          "description": "to mint LP tokens for the user for a specific pool (by identifier)",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "identifier",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "CreatePool",
          "description": "to mint the actual pool itself",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "assets",
              "description": "The assets to create the pool with;\n provided so we can enforce that they are paid to the pool output, and the pool datum is constructed correctly",
              "$ref": "#/definitions/Tuple$Tuple$ByteArray_ByteArray_Tuple$ByteArray_ByteArray"
            },
            {
              "title": "pool_output",
              "description": "The index in the outputs that corresponds to the pool output\n This is done so we can efficiently skip to the correct output\n This is safe because we validate that the datum, value, and pool token are paid into this UTXO",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "metadata_output",
              "description": "The index in the outputs that the corresponding CIP-68 metadata token is paid to\n Note that the tokens are structured as such:\n  - A CIP-68 (222) token, indicating an NFT, held by the pool script address\n  - A CIP-68 (333) token, indicating a fungible token, paid anywhere the user wants; this is the LP token\n  - A CIP-68 (111) token; Whichever UTXO holds this token can set a datum that determines on-chain metadata like decimals, name, and image\n That token is given to a \"metadata administrator\" who can set the appropriate metadata, and update it if needed.\n This is done so we can efficiently skip to the correct metadata output\n This is safe because we validate that the token is paid to the metadata admin",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "BurnPool",
          "description": "to burn the pool NFT (when permitted by the spending validator)",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "identifier",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "types/pool/PoolRedeemer": {
      "title": "PoolRedeemer",
      "description": "A pool UTXO can be spent for two purposes:",
      "anyOf": [
        {
          "title": "PoolScoop",
          "description": "Execute a scoop, a batch of transactions all processed at once",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "signatory_index",
              "description": "The index in the transaction extra_signatories that represents the \"scooper\" signature\n This lets us quickly skip to the scooper if there are multiple signatures on the transaciton for some reason\n And this is safe to do, because at the end of the day the value pointed at has to be in the list of authorized scoopers anyway",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "scooper_index",
              "description": "The index in the list of authorized scoopers on the settings datum of the scooper processing the order\n This is so that we can quickly skip to the correct scooper in the list of authorized scoopers\n And this is safe to do, because at the end of the day, the pointed at scooper must have signed the transaction",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "input_order",
              "description": "The order to process the transaction inputs in, and optionally the signed strategy execution to execute for strategy orders\n This is because the cardano ledger re-orders transaction inputs when building the script context; so this could end up processing\n users orders out of order, and open the protocol to sandwich attacks and line-cutting.\n Much of the complexity of the protocol comes from ensuring this list is processed both efficiently and safely.",
              "$ref": "#/definitions/List$Tuple$Int_Option$types~1order~1SignedStrategyExecution_Int"
            }
          ]
        },
        {
          "title": "Manage",
          "description": "Withdraw the earned protocol fees into the treasury, or update the pool\n fees",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/settings/SettingsDatum": {
      "title": "SettingsDatum",
      "description": "Various protocol-wide settings, mostly used as reference inputs to other transactions",
      "anyOf": [
        {
          "title": "SettingsDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "settings_admin",
              "description": "The conditions under which the critical settings can be updated\n For example, this may be a multisig script, or have additional script conditions using a staking withdrawal address\n The settings the settings_admin is allowed to update are:\n - settings_admin, to allow rotating their own keys\n - metadata_admin, to allow setting a new metadata admin at the will of the DAO\n - treasury_admin, to allow setting the treasury admin, at the will of the DAO\n - authorized_scoopers, to allow adding and removing scoopers in accordance with the will of the DAO\n - base_fee, simple_fee, strategy_fee, to set the monetary policy\n - extensions, to allow configuring arbitrary non-binding settings data",
              "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
            },
            {
              "title": "metadata_admin",
              "description": "The address to which the CIP-68 (100) tokens are minted with a void datum, to allow administration of the LP tokens image",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "treasury_admin",
              "description": "The conditions under which the treasury admin can act\n For example, this may be a multisig script, or have additional script conditions using a stake withdrawal address\n The treasury admin is allowed to withdraw funds from a pool into the treasury, and can set the following settings\n - treasury_address, to allow setting the destination of the DAO treasury withdrawals; TODO: should this instead be the settings admin, for separation of powers?\n - authorized_staking_keys, to establish a policy of which pools each liquidity pool can be delegated to (each pool can be changed at the time of withdrawal)",
              "$ref": "#/definitions/sundae~1multisig~1MultisigScript"
            },
            {
              "title": "treasury_address",
              "description": "The address to which the treasury funds must be withdrawn, such as a governance DAO; TODO: should this be a destination or something similar? Should it enforce a null datum?",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "treasury_allowance",
              "description": "An allowed withholding that the treasury admin can keep to pay administrative fees\n Asking for a DAO vote for each bit of administrative overhead would quickly deter and overwhelm people from participating in governance\n So, the DAO can instead set a specific percentage of operating funds that go to operating costs\n The treasury administrator is responsible for keeping this percentage, and then paying for things like the scoopers, server infrastructure, etc.",
              "$ref": "#/definitions/Tuple$Int_Int"
            },
            {
              "title": "authorized_scoopers",
              "description": "The list of actors who are allowed to execute scoops\n If set to None, *anyone* is allowed to execute a scoop\n Note: this would forfeit first-come-first-serve and MEV protection that Sundae\n currently enjoys, but this at least provides the DAO with flexibility to make that choice.",
              "$ref": "#/definitions/Option$List$ByteArray"
            },
            {
              "title": "authorized_staking_keys",
              "description": "The list of authorized staking keys that can be attached to a pool; It's a list, so that if the protocol TVL exceeds the saturation point for a single pool,\n or the DAO directs the treasury administrator to split the pool delegation across multiple pools, the treasury administrator can do so.\n Also note, that if any one pool ever exceeds the delegation percentage, it can't be split further. This is a problem we intend to solve with a future version of the protocol",
              "$ref": "#/definitions/List$aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "base_fee",
              "description": "The base fee, in lovelace, to be collected each time a batch happens; can be shared among all participants in the batch.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "simple_fee",
              "description": "The additional fee, in lovelace, to charge each \"simple\" order, such as a swap, deposit, withdraw, etc.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "strategy_fee",
              "description": "The additional fee, in lovelace, to charge each \"strategy\" execution;\n This is configurable separately because the DAO may decide to collect more from automated strategies\n or give automated strategies a discount, to incentivize more volume since it's automated.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "pool_creation_fee",
              "description": "This fee is charged to those who open pools, and represents the minimum initial value for `protocol_fees`.\n It represents another source of revenue for the protocol, should it choose to exercise it.",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "extensions",
              "description": "Any arbitrary \"extension\" data that can be added to the datum; This isn't used by any existing scripts, but may be used to:\n - publish data for convenient and canonical access by off-chain actors\n - expose data to the script conditions in the multisig scripts of the two administrator roles\n - expose additional settings for more advanced pool and order types to operate off of",
              "$ref": "#/definitions/Data"
            }
          ]
        }
      ]
    },
    "types/settings/SettingsRedeemer": {
      "title": "SettingsRedeemer",
      "description": "The settings redeemer can be spent for two different purposes",
      "anyOf": [
        {
          "title": "SettingsAdminUpdate",
          "description": "To make an update by the settings administrator",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "TreasuryAdminUpdate",
          "description": "To make an update by the treasury administrator",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    }
  }
}