plutus.json

{
  "preamble": {
    "title": "aadafinance/aada_finance_v2",
    "description": "Aada Finance - Decentralized Lending",
    "version": "1.0.0",
    "plutusVersion": "v2"
  },
  "validators": [
    {
      "title": "collateral.collateral_spend",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1collateral~1CollateralDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$collateral~1CollateralRedeemer"
        }
      },
      "parameters": [
        {
          "title": "collateral_script_params",
          "schema": {
            "$ref": "#/definitions/collateral~1CollateralScriptParams"
          }
        }
      ],
      "compiledCode": "5937aa0100003232323232323232323232323222253330083370e900018038008999911191919192999807991919191919191919191919191919191919191919191919299981598170010991919191919191919191919191919191919191919191919299981f99b87017480084c8c8c8c8c8c8c8c94ccc11ccdc3a4000608c0022646464646464646464646464646464646464646464646464a6660c660cc0042646464646464646464646464646464646464a6660e266e1d20023070001132325333077307a002153330733370e900018390008991919191919299983e9840008010a99983c99b8748008c1e00144c8c8c8c8c8c8c8c94ccc21404c220040084c8c8c8c8c8c8c8c8c8c8c94ccc23004cdc3a400061160203c26464646464646464a666130026136020042a6661280266e1d200030930100713232323232323232323232323232323253330a80130ab01002132323232323253330aa013371205c002264646464646464a66616202a66616202a66616202a66616202a6661620266ebc1ac02454ccc2c404c8c94ccc2cc040045288a9985a00a4811b6f7665725f636f6c6c61746572616c697a6564203f2046616c73650014a0646466e24cdc11bad330b00130b20100148000dd699858009859008012400466e08dd69985800985900801240006eb4cc2c004c2c8040052002307a4820225e8c8c94ccc2d004cdc4000a4000266e952000330b901375066e052000002330b901375066e0520000014bd70099ba548000cc2e404dd40011985c809ba80014bd7019b820020093370400e90406054654d1d1bad330ad0130af01027480085288a9985900a497466696e616e63652e636865636b5f69735f6f766572636f6c6c61746572697a6564286c6f616e5f76616c75652c20636f6c6c61746572616c5f746f6b656e735f76616c75652c20706f6f6c5f636f6e6669672e696e697469616c5f636f6c6c61746572616c5f726174696f29203f2046616c73650014a0294054ccc2c404cdd79985680985780824240046615a02615e020e290010a5115330b20149014c706f6f6c5f616464726573732e7374616b655f63726564656e7469616c203d3d20636f6c6c61746572616c5f616464726573732e7374616b655f63726564656e7469616c203f2046616c73650014a0294054ccc2c4040085288a9985900a4918746f6b656e5f6e616d655f636865636b203f2046616c73650014a0294054ccc2c4040145288a9985900a49117461675f636865636b203f2046616c73650014a0294054ccc2c4040045288a9985900a4926746f6b656e5f6e616d655f6f7265665f636f6e73756d65645f636865636b203f2046616c73650014a02940cc1c8268048cdd79985680985780800a400000666e3c22004c8c8c8c8c8c8c8dca00099b8b003001375c6174020026162020066eb4c2e004004c2e004008c2d804004c2b404004c2d004004c2ac0428804c94ccc2b404cdc3a400000226464660e213202466ebccc2b004c2b804005200000230b40100130ab0104f14a261560209c6666660ec126020080246460ec00260e400402044666444646460f8002660f200264646466e952000330b901375066e00cdc11bad330b00130b20100248000dd69985800985900800a400466e08dd69985800985900800a40006eb4cc2c004c2c8040092002330b901375066e08dd69985800985900801240046eb4cc2c004c2c80400520024bd70191983e800803983d241941e60f200266e0800920d00f3307900332307800133704906507801183a00200100099999983a8490080180999183a8009838818006911999111919183d8009983c00099191983d800983ca41941e66e952000330b601375066e04cdc11bad330ad0130af0100148000dd69985680985780802a400466e08dd69985680985780802a40006eb4cc2b404c2bc040052002330b601375066e08dd69985680985780800a40046eb4cc2b404c2bc0401520024bd70183b8011983c00199183b80099b82483403c008c1cc0c800800454cc2ac05241254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e740016333076067375c6614a02614e0202090001bae330a50130a70101048008cdd2a40006615a026ea401ccc2b404044cc2b404dd4017198568080f198568080799856809ba802c330ad0137500506615a026ea0004cc2b404dd481519856808069985680805998568082525eb80dd69856808009852009929998538099b8748008c29804004400454cc2a00524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330a20130a401330a20130a401085014800120003071006307700f15330a501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6152020026152020046eb8c29c04004c29c04008c29404004c29404008c28c04004c28c04008c28404004c28404008c27c04004c27c04008c27404004c27404008c26c04004c2480401c54cc254052412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153309501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6132020026132020046eb4c25c04004c25c04008dd6984a80800984a8080118498080098450080f0a9984680a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305d001309001001308701001308e01001308e01001308d01001308301001308a01001308a0100130800132308901001308001325333083013370e900018410080088008a9984200a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163305206a23375e660fe61020200290000069929998410099b87480000044c8c94ccc22004c22c040084c926307c001153308501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630890100130800100a15333082013370e90010008a999843009840008050a4c2a661060292011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533083014912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163080010091533082014901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a610c02002610c020046eb8c21004004c21004008dd69841008009841008011bad3080010013077005153307a49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153307a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016307e001307e002307c001307c002307a001307100115330744912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533074491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163078001306f00115330724912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163076001306d3253330703370e9000183780088008a99838a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330333756660d660da660d660da0ca90002402466e9520023307400a4bd70183a0009835800983900098390009838801183780098330009836800983680118358009831181d9981c827119b873330323756660c260c6660c260c60029001240040aa03a90011817803981700418168089819009181580a8a99830249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016306400130640023062001306200230600013060002375c60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad305800130580023056001305600230540013054002375a60a400260a400460a000260a00046eb8c138004c11400454cc12124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304c0013043001304a001304a002375660900026090004608c002607a602c6602804a46464a66608466e1d2002001132323371e0020406eb8c124004c10000852818200009981e181f1981e181f000a400090000a99981f99b87017480044c8c94ccc104ccc104cdd7998029bab3303d303f3303d303f0374800120123374a900119823000a5eb81300103d87a80004a09444cc00cdd61981e981f9981e981f81ba400090001299982119baf3303e3040001480000084cdd79981f18201981f18201981f1820000a400490002400066e95200233047375203c97ae014a02940c118004c0f40d0528180080091129998220010a50132325333042300300214a2266600a00a0020066090006608c00444660060040026002002444a666082004298103d87a800013232323253330413375e00a002266e952000330460024bd7009998038038018029821001982100118228019821801119ba548000cc0fcdd40009981f9ba8480092f5c0446466008002006a66607466e20dd69981b181c000a40009000099ba548000cc0fcdd419b8148000dd69981b181c000a40046607e6ea0cdc0a40006eb4cc0d8c0e000520004bd700a99981d19b8848000dd69981b181c000a4000266e9520003303f33036303800148008cc0fccc0d8c0e000520004bd700a9981da491744656e6f6d696e61746f722063616e6e6f7420626520300016223374a90001981f1ba8337046eb4cc0d4c0dc0092000375a6606a606e00290001981f1ba8337046eb4cc0d4c0dc0092002375a6606a606e002900125eb808cdc19bad33033303500148000dd699819981a800a4004444444a66607666e3cdd71981b981c802240009110010031323232533303e337100106eb4cc0e8c0f000d20061533303e533303e3375e00e6607460780029002099baf3303a303c00148019300106d8799f4040ff0014a02660046eb4cc0e8c0f000d2004375a66074607800690010a99981f299981f19baf0073303a303c001480184cdd79981d181e000a4008980106d8799f4040ff0014a02660046eb4cc0e8c0f000d2002375a66074607800690020a9981fa490f426164206f7261636c6520646174610016153303f491174f7261636c652064617461206973206578706972656420001633039303b0024800088cc010008004c8c8c8c8c8c8c8c8c8c8008c94ccc114cdc3a4000002264646464646464646464a6660a660ac0042649319299982819b87480000044c8c8c8c8c8c8c8c94ccc170c17c0084c8c8c8c92630270043026005302500630240071533059491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305d001305d002305b001305b002305900130590023057001304e00a15330514912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304e00915330504901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60a800260a80046eb4c148004c148008dd6982800098280011bad304e001304e002304c0013043002153304649012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630430013049001304053330423370e9002182080088008a99821a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304700130470013046001303c0013043001304300130393322323044001303b32533303e3370e9000181e80088008a9981fa492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d00823370e6660166eaccc0e8c0f0cc0e8c0f000520024800800c0092002375c6606e607200490001bae330373039002480088c94ccc0d8cdc3a4000002264646464a66607c60820042930a9981da481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607e002607e0046eb8c0f4004c0d000854cc0dd2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400122232323253330393370e90010008a40002646eb4c100004c0dc008c0dc004c94ccc0e0cdc3a4004002298103d87a800013232330080010053756607e002606c004606c002660500060046002002444a666070004298103d87a800013232323253330383371e00a002266e9520003303d375000497ae01333007007003005375c60720066eb4c0e4008c0f000cc0e8008c0040048894ccc0d8008530103d87a8000132325333034300300213374a90001981c80125eb804ccc01401400400cc0e800cc0e00088c94ccc0c0cdc3a400000226464646464646464a666078607e0042649319299981c99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc134c1400084c926301c001153304a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304e001304e002375a609800260980046eb4c128004c128008dd6982400098240011bad30460013046002375a608800260880046eb4c108004c108008dd69820000981b8010a9981d2492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303700115330394901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002375a607600260760046eb4c0e4004c0e4008dd6981b80098170010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e001232533302f3370e9000000899191919299981b981d0010991924c64a66606a66e1d200000113232533303b303e002132498c94ccc0e0cdc3a400000226464a66607c60820042649318070008a9981da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f0013036002153330383370e90010008991919191919299982118228010a4c2a6607e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608600260860046eb4c104004c104008dd6981f800981b0010a9981ca4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600115330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013033003153330353370e90010008a99981c98198018a4c2a6606c92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330364912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300230070031533034491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303800130380023036001302d00215330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d001232533302e3370e900000089919299981a181b8010a4c2a66062921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606a00260580042a66605c66e1d20020011323253330343037002149854cc0c52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606a00260580042a6605e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c0013001001222533303100214bd70099192999817980180109981a0011998028028008018999802802800801981a80198198011299981518191818800898180008a99815a4810c61696b656e3a3a6572726f720016375a60560046eb8c0a400454cc0a1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302c001323253330273370e90010008a5eb7bdb1804c8dd59817000981280118128009980b8018009bae302a001302153330233370e9000181100788078a998122492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332322330020014881003001001222533302900214bd6f7b630099191919299981499b8f005001100313302e337606ea4004dd30011998038038018029bae302a00337566054004605a006605600400a604e002604e002604c002604a0046eacc08c004c08c004c088008dd6181000098100011bac301e001301e002375860380026026006603400260340046030002601e00e6eb8c058004c0340285261622330030020013001001222533301300214c103d87a800013232323253330133371e00a002266e95200033018374c00497ae01333007007003005375c60280066eacc050008c05c00cc054008c800cc94ccc030cdc3a400000226464a666024602a0042649318030008a99807a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163013001300a003153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a002232533300a3370e90000008991919192999809180a80109924c64a66601e66e1d20000011323253330153018002149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c002601a0082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d003153300f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60260026026004602200260100042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800100200113332323222232323232323232323232323232323232533301e323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232325333052323371266e08dd6998279828801240006eb4cc13cc1440052002337046eb4cc13cc1440052000375a6609e60a20049001181c00109919191919191919191919191919191919299983199b87480000044c94ccc1914ccc1900385288a99832a48119706c6174666f726d5f6665655f70616964203f2046616c73650014a02a6660c8002294454cc1952401116e66745f636865636b203f2046616c73650014a02940ccccc8c88888c8cdd79ba6001374c660de66ec0dd48019ba80024bd6f7b63019911919299983699b874800800452f5bded8c02646eacc1d0004c1ac008c1ac004cc15c008004cc0140112201000033001001222533306a00214bd6f7b630099191919299983519b8f005001100313306f337606ea4004dd30011998038038018029bae306b003375660d600460dc00660d80046eaccc17cc184cc17cc184159200048020008dd71982f983082a24020900089919191919191919191919192999837a999837a99983780c8a51153307049119706c6174666f726d5f6665655f70616964203f2046616c73650014a02a6660de006294454cc1c1240118636f6c6c61746572616c5f636865636b203f2046616c73650014a0294054ccc1bc0045288a99838249206c69717569646174696f6e5f6f75747075745f636865636b203f2046616c73650014a029414ccc1b8cdc42400000226464646464646464646464646464a6660f8a6660f8004294454cc1f52401167175616e746974795f636865636b203f2046616c73650014a02a6660f8002294454cc1f5240113646174756d5f636865636b203f2046616c73650014a02940cdd780180119b8900d33306300600b0093374a90001983f1ba90183307e33075307706a480412f5c060fc00260eaa6660ee66e1d200430760011001153307849012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016307c001307c002375660f400260f400260e064a6660e660f660f4002260f20022a660e89210c61696b656e3a3a6572726f72001633323001001222533307900214bd7009919299983b980180109983e0011998028028008018999802802800801983e801983d801023919baf3306f307100148000028dd7183b800983b8011bae3075001306c3306a306c05f4802052898280011929998368008a51153306e49011c756e6465725f636f6c6c61746572616c697a6564203f2046616c73650014a064660a400260a6904044bd191982880099b820260073370400890406054654d1d191980380098291bad33068306a05d48028cc01c004c14400ccc138cdc119b81002004482c209dd2080897a3374a90001983719ba548008cc1b8dd482425eb80cc1b80292f5c066666600a07e056660c860cc0b29004182580099832183302ca4024446464609e0026600c0026464660a8002646601400200e60a6906507982900099b82002483403ccc01800cc8c144004cdc1241941e00464609c0026eb4cc18cc194161200a33333300303d02933062306405748008c124048cc188c19015d2014223232304d001330040013232330070013051483283ccdd2a4000660de6ea0cdc099b82375a660cc60d000290001bad33066306801648008cdc11bad33066306801648000dd6998331834000a4004660de6ea0cdc11bad33066306800148008dd699833183400b2400497ae0304f0023300401432304f00133704906807801111919802000801a99983399b88375a660c660ca002900024000266e9520003306c375066e052000375a660c660ca0029001198361ba83370290001bad330633065001480012f5c02a6660ce66e212000375a660c660ca0029000099ba548000cc1b0cc18cc19400520023306c330633065001480012f5c02a660d09211744656e6f6d696e61746f722063616e6e6f7420626520300016223374a9000198359ba8337046eb4cc188c1900092000375a660c460c80029000198359ba8337046eb4cc188c1900092002375a660c460c8002900125eb808888894ccc1a4cdc79bae330653067004480012210010031323232533306c337100106eb4cc1a0c1a800d20061533306c533306c3375e00e660d060d40029002099baf33068306a00148019300106d8799f4040ff0014a02660046eb4cc1a0c1a800d2004375a660d060d400690010a999836299983619baf00733068306a001480184cdd7998341835000a4008980106d8799f4040ff0014a02660046eb4cc1a0c1a800d2002375a660d060d400690020a99836a490f426164206f7261636c6520646174610016153306d491174f7261636c65206461746120697320657870697265642000163306730690024800088cc010008004c8c8c8c8c8c8c8c8c8c8008c94ccc1cccdc3a4000002264646464646464646464a666102026108020042649319299983f19b87480000044c8c8c8c8c8c8c8c94ccc22804c234040084c8c8c8c926307f004307e005307d006307c007153308701491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016308b01001308b01002308901001308901002308701001308701002308501001307c00a153307f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016307c009153307e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6104020026104020046eb4c20004004c20004008dd6983f000983f0011bad307c001307c002307a0013071002153307449012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630710013077001306e53330703370e9002183780088008a99838a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016307500130750013074001306a001307100130710013067333051006375c660ca60ce00490001bae33065306700248008c184050dd71833800982f001983280098328011831800982d0009830800982c000982f800982f800982a99182f000982a99299982c19b8748000c15c004400454cc16524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163304603023375e660a860ac0029000012a99982b299982b19b87003480005288a9982ba48124706c6174666f726d5f6665655f616d6f756e745f696e74203d3d2030203f2046616c73650014a0294454ccc1580045288a9982ba4919706c6174666f726d5f6665655f73656e74203f2046616c73650014a066646002002444a6660b800429404c8c94ccc168c00c00852889998028028008019830001982f00101511999911119191919299982f19baf00300813371200a66608e00200e00c2940dd5983180098318011830800982c00299829182a005a401c6eb8cc148c150cc148c15011d200248000dd719829182a19829182a023a40049001001991981e000981d9bad33051305304648010cc0ec00c008c0d8004c8cc0dc0052080897a3370400400c2a660a6921254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e74001633332222323303a0013370490405844fdf500a410112f466e08cdc100180219b81001002375a6609a609e08490061bad3304d304f04248010dd69982698278212401c0246eb4c158004c158008c150004c12c0fcc94ccc134cc0c8004c0ccdd69982498258012400426eb4cc124c12c00920001533304d330320013033375a660926096004900309bad33049304b002480104dd699824982580124010646606200266e00dd6998249825804a40086eb4cc124c12c0252002337046eb4cc120c1280f520044820225e8c144004c144004c140004c13c008dd69826800982219821182201ba400c64a66608c66e1d20000011323232323232323253330523055002132498c94ccc13ccdc3a4000002264646464646464646464646464646464a6660c660cc004264646464646493182d005182c805982c006182b806982b007182b0078a99830249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60c800260c80046eb8c188004c188008c180004c180008c178004c178008c170004c170008c168004c168008c160004c160008c158004c13402054cc1412412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304d007153304f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60a600260a60046eb4c144004c144008dd698278009827801182680098220010a99823a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163044001304a00130413253330443370e9002182180088008a99822a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163303f30413303f304100148009200433302a01b023001375c608e002607c0626eb4c114004c0f14ccc0f8cdc3a4004607a00620062a6607e92012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a60860026074a66607866e1d2002303b0031003153303d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630410013038003303f0013036003303d001303d002303b00130320033039001303053330323370e9001181880688068a99819a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163037001303700130360013035001303400130330023758606200260620046eb0c0bc004c0bc008dd618168009812001981580098158011814800981000a9bae30270013027002375c604a00260380322930b119b83375a66034603800290001bad3301a301c00148008894ccc078cdc4000a4000266e95200033023375066e05200000233023375066e0520000014bd70099ba548000cc08cdd4001198119ba80014bd701119b88337046eb4cc064c06c0092000375a660326036002900119b82375a66032603600290001bad33019301b002480088cdd2a4000660406ea0004cc080dd42400497ae0223374a9000198101ba83370066e08dd69980b980c801240006eb4cc05cc0640052002337046eb4cc05cc0640052000375a6602e60320049001198101ba8337046eb4cc05cc0640092002375a6602e6032002900125eb80888c8c088004c064c94ccc070cdc3a4000603600220022a6603a9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00323370e66600a6eaccc060c068cc060c06800520024800800c0092002222323232533301d3370e90010008a40002646eb4c090004c06c008c06c004c94ccc070cdc3a40040022980103d87a8000132323300800100537566046002603400460340026600c0060046002002444a666038004298103d87a8000132323232533301c3371e00a002266e95200033021375000497ae01333007007003005375c603a0066eb4c074008c08000cc07800888cc00c008004c0040048894ccc0640085300103d87a800013232323253330193371e00a002266e9520003301e374c00497ae01333007007003005375c60340066eacc068008c07400cc06c008c0040048894ccc05c008530103d87a8000132325333015300300213374a90001980d00125eb804ccc01401400400cc06c00cc064008c8014c94ccc040cdc3a40000022646464646464646464646464646464646464646464646464a666058605e00426464646464649319299981719b87480000044c8c94ccc0d0c0dc0084c9263253330313370e9000000899191919299981c981e00109924c64a66606c66e1d200000113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260680082a6606e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400315330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046070002605e0042a660649212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00115330314901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302c0071533302e3370e90010008a99981918160038a4c2a6605e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c00630220073021008302001132533302a3370e900000089919191919191919299981b181c80109924c64a66606666e1d20000011323232323232323232323232323232325333047304a002132498c0e800454cc1112401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630480013048002375a608c002608c0046eb4c110004c110008dd6982100098210011bad30400013040002375a607c002607c0046eb4c0f0004c0f0008dd6981d00098188010a9981a2492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100115330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630370013037002375a606a002606a0046eb4c0cc004c0cc008dd6981880098140098a99815a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028012301e0151533029491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302d001302d002302b001302b00230290013029002375c604e002604e0046eb4c094004c094008dd6981180098118011bad30210013021002301f001301f002301d001301d002375a60360026036004603200260320046eb8c05c004c03801454cc04524012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e0043200332533300f3370e9000000899191919299980b980d00109924c64a66602866e1d2000001153330183012004149854cc0552411d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330143370e90010008a99980c18090020a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200315330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60300026030004602c002601a0062a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d002232533300c3370e9000000899191919299980a180b8010a4c2a66022921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602a002602a0046eb8c04c004c02800854cc0352412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001232533300b3370e90000008991919192999809980b0010991924c64a66602266e1d2000001132325333017301a002132498c94ccc050cdc3a400000226464a666034603a0042649318070008a9980ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013012002153330143370e90010008991919191919299980f18108010a4c2a660369201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb4c074004c074008dd6980d80098090010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f003153330113370e90010008a99980a98078018a4c2a6602492011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330124912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00230070031533010491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001301400230120013009002153300c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001232533300a3370e900000089919299980818098010a4c2a6601a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602200260100042a66601466e1d20020011323253330103013002149854cc0352401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602200260100042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163008001002300e300600133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba257461",
      "hash": "b9103daf05c8c262a6a461c2a35bfb940beaca37b8a194880c782bf6"
    },
    {
      "title": "collateral.collateral_policy",
      "redeemer": {
        "title": "r",
        "schema": {
          "$ref": "#/definitions/collateral~1CollateralMintRedeemer"
        }
      },
      "parameters": [
        {
          "title": "collateral_script_params",
          "schema": {
            "$ref": "#/definitions/collateral~1CollateralScriptParams"
          }
        }
      ],
      "compiledCode": "5937aa0100003232323232323232323232323222253330083370e900018038008999911191919192999807991919191919191919191919191919191919191919191919299981598170010991919191919191919191919191919191919191919191919299981f99b87017480084c8c8c8c8c8c8c8c94ccc11ccdc3a4000608c0022646464646464646464646464646464646464646464646464a6660c660cc0042646464646464646464646464646464646464a6660e266e1d20023070001132325333077307a002153330733370e900018390008991919191919299983e9840008010a99983c99b8748008c1e00144c8c8c8c8c8c8c8c94ccc21404c220040084c8c8c8c8c8c8c8c8c8c8c94ccc23004cdc3a400061160203c26464646464646464a666130026136020042a6661280266e1d200030930100713232323232323232323232323232323253330a80130ab01002132323232323253330aa013371205c002264646464646464a66616202a66616202a66616202a66616202a6661620266ebc1ac02454ccc2c404c8c94ccc2cc040045288a9985a00a4811b6f7665725f636f6c6c61746572616c697a6564203f2046616c73650014a0646466e24cdc11bad330b00130b20100148000dd699858009859008012400466e08dd69985800985900801240006eb4cc2c004c2c8040052002307a4820225e8c8c94ccc2d004cdc4000a4000266e952000330b901375066e052000002330b901375066e0520000014bd70099ba548000cc2e404dd40011985c809ba80014bd7019b820020093370400e90406054654d1d1bad330ad0130af01027480085288a9985900a497466696e616e63652e636865636b5f69735f6f766572636f6c6c61746572697a6564286c6f616e5f76616c75652c20636f6c6c61746572616c5f746f6b656e735f76616c75652c20706f6f6c5f636f6e6669672e696e697469616c5f636f6c6c61746572616c5f726174696f29203f2046616c73650014a0294054ccc2c404cdd79985680985780824240046615a02615e020e290010a5115330b20149014c706f6f6c5f616464726573732e7374616b655f63726564656e7469616c203d3d20636f6c6c61746572616c5f616464726573732e7374616b655f63726564656e7469616c203f2046616c73650014a0294054ccc2c4040085288a9985900a4918746f6b656e5f6e616d655f636865636b203f2046616c73650014a0294054ccc2c4040145288a9985900a49117461675f636865636b203f2046616c73650014a0294054ccc2c4040045288a9985900a4926746f6b656e5f6e616d655f6f7265665f636f6e73756d65645f636865636b203f2046616c73650014a02940cc1c8268048cdd79985680985780800a400000666e3c22004c8c8c8c8c8c8c8dca00099b8b003001375c6174020026162020066eb4c2e004004c2e004008c2d804004c2b404004c2d004004c2ac0428804c94ccc2b404cdc3a400000226464660e213202466ebccc2b004c2b804005200000230b40100130ab0104f14a261560209c6666660ec126020080246460ec00260e400402044666444646460f8002660f200264646466e952000330b901375066e00cdc11bad330b00130b20100248000dd69985800985900800a400466e08dd69985800985900800a40006eb4cc2c004c2c8040092002330b901375066e08dd69985800985900801240046eb4cc2c004c2c80400520024bd70191983e800803983d241941e60f200266e0800920d00f3307900332307800133704906507801183a00200100099999983a8490080180999183a8009838818006911999111919183d8009983c00099191983d800983ca41941e66e952000330b601375066e04cdc11bad330ad0130af0100148000dd69985680985780802a400466e08dd69985680985780802a40006eb4cc2b404c2bc040052002330b601375066e08dd69985680985780800a40046eb4cc2b404c2bc0401520024bd70183b8011983c00199183b80099b82483403c008c1cc0c800800454cc2ac05241254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e740016333076067375c6614a02614e0202090001bae330a50130a70101048008cdd2a40006615a026ea401ccc2b404044cc2b404dd4017198568080f198568080799856809ba802c330ad0137500506615a026ea0004cc2b404dd481519856808069985680805998568082525eb80dd69856808009852009929998538099b8748008c29804004400454cc2a00524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330a20130a401330a20130a401085014800120003071006307700f15330a501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6152020026152020046eb8c29c04004c29c04008c29404004c29404008c28c04004c28c04008c28404004c28404008c27c04004c27c04008c27404004c27404008c26c04004c2480401c54cc254052412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153309501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6132020026132020046eb4c25c04004c25c04008dd6984a80800984a8080118498080098450080f0a9984680a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305d001309001001308701001308e01001308e01001308d01001308301001308a01001308a0100130800132308901001308001325333083013370e900018410080088008a9984200a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163305206a23375e660fe61020200290000069929998410099b87480000044c8c94ccc22004c22c040084c926307c001153308501491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630890100130800100a15333082013370e90010008a999843009840008050a4c2a661060292011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533083014912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163080010091533082014901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a610c02002610c020046eb8c21004004c21004008dd69841008009841008011bad3080010013077005153307a49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153307a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016307e001307e002307c001307c002307a001307100115330744912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533074491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163078001306f00115330724912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163076001306d3253330703370e9000183780088008a99838a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330333756660d660da660d660da0ca90002402466e9520023307400a4bd70183a0009835800983900098390009838801183780098330009836800983680118358009831181d9981c827119b873330323756660c260c6660c260c60029001240040aa03a90011817803981700418168089819009181580a8a99830249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016306400130640023062001306200230600013060002375c60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad305800130580023056001305600230540013054002375a60a400260a400460a000260a00046eb8c138004c11400454cc12124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304c0013043001304a001304a002375660900026090004608c002607a602c6602804a46464a66608466e1d2002001132323371e0020406eb8c124004c10000852818200009981e181f1981e181f000a400090000a99981f99b87017480044c8c94ccc104ccc104cdd7998029bab3303d303f3303d303f0374800120123374a900119823000a5eb81300103d87a80004a09444cc00cdd61981e981f9981e981f81ba400090001299982119baf3303e3040001480000084cdd79981f18201981f18201981f1820000a400490002400066e95200233047375203c97ae014a02940c118004c0f40d0528180080091129998220010a50132325333042300300214a2266600a00a0020066090006608c00444660060040026002002444a666082004298103d87a800013232323253330413375e00a002266e952000330460024bd7009998038038018029821001982100118228019821801119ba548000cc0fcdd40009981f9ba8480092f5c0446466008002006a66607466e20dd69981b181c000a40009000099ba548000cc0fcdd419b8148000dd69981b181c000a40046607e6ea0cdc0a40006eb4cc0d8c0e000520004bd700a99981d19b8848000dd69981b181c000a4000266e9520003303f33036303800148008cc0fccc0d8c0e000520004bd700a9981da491744656e6f6d696e61746f722063616e6e6f7420626520300016223374a90001981f1ba8337046eb4cc0d4c0dc0092000375a6606a606e00290001981f1ba8337046eb4cc0d4c0dc0092002375a6606a606e002900125eb808cdc19bad33033303500148000dd699819981a800a4004444444a66607666e3cdd71981b981c802240009110010031323232533303e337100106eb4cc0e8c0f000d20061533303e533303e3375e00e6607460780029002099baf3303a303c00148019300106d8799f4040ff0014a02660046eb4cc0e8c0f000d2004375a66074607800690010a99981f299981f19baf0073303a303c001480184cdd79981d181e000a4008980106d8799f4040ff0014a02660046eb4cc0e8c0f000d2002375a66074607800690020a9981fa490f426164206f7261636c6520646174610016153303f491174f7261636c652064617461206973206578706972656420001633039303b0024800088cc010008004c8c8c8c8c8c8c8c8c8c8008c94ccc114cdc3a4000002264646464646464646464a6660a660ac0042649319299982819b87480000044c8c8c8c8c8c8c8c94ccc170c17c0084c8c8c8c92630270043026005302500630240071533059491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305d001305d002305b001305b002305900130590023057001304e00a15330514912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304e00915330504901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60a800260a80046eb4c148004c148008dd6982800098280011bad304e001304e002304c0013043002153304649012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630430013049001304053330423370e9002182080088008a99821a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304700130470013046001303c0013043001304300130393322323044001303b32533303e3370e9000181e80088008a9981fa492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300d00823370e6660166eaccc0e8c0f0cc0e8c0f000520024800800c0092002375c6606e607200490001bae330373039002480088c94ccc0d8cdc3a4000002264646464a66607c60820042930a9981da481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607e002607e0046eb8c0f4004c0d000854cc0dd2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400122232323253330393370e90010008a40002646eb4c100004c0dc008c0dc004c94ccc0e0cdc3a4004002298103d87a800013232330080010053756607e002606c004606c002660500060046002002444a666070004298103d87a800013232323253330383371e00a002266e9520003303d375000497ae01333007007003005375c60720066eb4c0e4008c0f000cc0e8008c0040048894ccc0d8008530103d87a8000132325333034300300213374a90001981c80125eb804ccc01401400400cc0e800cc0e00088c94ccc0c0cdc3a400000226464646464646464a666078607e0042649319299981c99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc134c1400084c926301c001153304a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304e001304e002375a609800260980046eb4c128004c128008dd6982400098240011bad30460013046002375a608800260880046eb4c108004c108008dd69820000981b8010a9981d2492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303700115330394901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303d002375a607600260760046eb4c0e4004c0e4008dd6981b80098170010a99818a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302e001232533302f3370e9000000899191919299981b981d0010991924c64a66606a66e1d200000113232533303b303e002132498c94ccc0e0cdc3a400000226464a66607c60820042649318070008a9981da49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f0013036002153330383370e90010008991919191919299982118228010a4c2a6607e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608600260860046eb4c104004c104008dd6981f800981b0010a9981ca4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600115330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013033003153330353370e90010008a99981c98198018a4c2a6606c92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330364912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300230070031533034491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303800130380023036001302d00215330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d001232533302e3370e900000089919299981a181b8010a4c2a66062921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606a00260580042a66605c66e1d20020011323253330343037002149854cc0c52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606a00260580042a6605e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c0013001001222533303100214bd70099192999817980180109981a0011998028028008018999802802800801981a80198198011299981518191818800898180008a99815a4810c61696b656e3a3a6572726f720016375a60560046eb8c0a400454cc0a1241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302c001323253330273370e90010008a5eb7bdb1804c8dd59817000981280118128009980b8018009bae302a001302153330233370e9000181100788078a998122492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016332322330020014881003001001222533302900214bd6f7b630099191919299981499b8f005001100313302e337606ea4004dd30011998038038018029bae302a00337566054004605a006605600400a604e002604e002604c002604a0046eacc08c004c08c004c088008dd6181000098100011bac301e001301e002375860380026026006603400260340046030002601e00e6eb8c058004c0340285261622330030020013001001222533301300214c103d87a800013232323253330133371e00a002266e95200033018374c00497ae01333007007003005375c60280066eacc050008c05c00cc054008c800cc94ccc030cdc3a400000226464a666024602a0042649318030008a99807a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163013001300a003153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a002232533300a3370e90000008991919192999809180a80109924c64a66601e66e1d20000011323253330153018002149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c002601a0082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d003153300f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60260026026004602200260100042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800100200113332323222232323232323232323232323232323232533301e323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232325333052323371266e08dd6998279828801240006eb4cc13cc1440052002337046eb4cc13cc1440052000375a6609e60a20049001181c00109919191919191919191919191919191919299983199b87480000044c94ccc1914ccc1900385288a99832a48119706c6174666f726d5f6665655f70616964203f2046616c73650014a02a6660c8002294454cc1952401116e66745f636865636b203f2046616c73650014a02940ccccc8c88888c8cdd79ba6001374c660de66ec0dd48019ba80024bd6f7b63019911919299983699b874800800452f5bded8c02646eacc1d0004c1ac008c1ac004cc15c008004cc0140112201000033001001222533306a00214bd6f7b630099191919299983519b8f005001100313306f337606ea4004dd30011998038038018029bae306b003375660d600460dc00660d80046eaccc17cc184cc17cc184159200048020008dd71982f983082a24020900089919191919191919191919192999837a999837a99983780c8a51153307049119706c6174666f726d5f6665655f70616964203f2046616c73650014a02a6660de006294454cc1c1240118636f6c6c61746572616c5f636865636b203f2046616c73650014a0294054ccc1bc0045288a99838249206c69717569646174696f6e5f6f75747075745f636865636b203f2046616c73650014a029414ccc1b8cdc42400000226464646464646464646464646464a6660f8a6660f8004294454cc1f52401167175616e746974795f636865636b203f2046616c73650014a02a6660f8002294454cc1f5240113646174756d5f636865636b203f2046616c73650014a02940cdd780180119b8900d33306300600b0093374a90001983f1ba90183307e33075307706a480412f5c060fc00260eaa6660ee66e1d200430760011001153307849012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016307c001307c002375660f400260f400260e064a6660e660f660f4002260f20022a660e89210c61696b656e3a3a6572726f72001633323001001222533307900214bd7009919299983b980180109983e0011998028028008018999802802800801983e801983d801023919baf3306f307100148000028dd7183b800983b8011bae3075001306c3306a306c05f4802052898280011929998368008a51153306e49011c756e6465725f636f6c6c61746572616c697a6564203f2046616c73650014a064660a400260a6904044bd191982880099b820260073370400890406054654d1d191980380098291bad33068306a05d48028cc01c004c14400ccc138cdc119b81002004482c209dd2080897a3374a90001983719ba548008cc1b8dd482425eb80cc1b80292f5c066666600a07e056660c860cc0b29004182580099832183302ca4024446464609e0026600c0026464660a8002646601400200e60a6906507982900099b82002483403ccc01800cc8c144004cdc1241941e00464609c0026eb4cc18cc194161200a33333300303d02933062306405748008c124048cc188c19015d2014223232304d001330040013232330070013051483283ccdd2a4000660de6ea0cdc099b82375a660cc60d000290001bad33066306801648008cdc11bad33066306801648000dd6998331834000a4004660de6ea0cdc11bad33066306800148008dd699833183400b2400497ae0304f0023300401432304f00133704906807801111919802000801a99983399b88375a660c660ca002900024000266e9520003306c375066e052000375a660c660ca0029001198361ba83370290001bad330633065001480012f5c02a6660ce66e212000375a660c660ca0029000099ba548000cc1b0cc18cc19400520023306c330633065001480012f5c02a660d09211744656e6f6d696e61746f722063616e6e6f7420626520300016223374a9000198359ba8337046eb4cc188c1900092000375a660c460c80029000198359ba8337046eb4cc188c1900092002375a660c460c8002900125eb808888894ccc1a4cdc79bae330653067004480012210010031323232533306c337100106eb4cc1a0c1a800d20061533306c533306c3375e00e660d060d40029002099baf33068306a00148019300106d8799f4040ff0014a02660046eb4cc1a0c1a800d2004375a660d060d400690010a999836299983619baf00733068306a001480184cdd7998341835000a4008980106d8799f4040ff0014a02660046eb4cc1a0c1a800d2002375a660d060d400690020a99836a490f426164206f7261636c6520646174610016153306d491174f7261636c65206461746120697320657870697265642000163306730690024800088cc010008004c8c8c8c8c8c8c8c8c8c8008c94ccc1cccdc3a4000002264646464646464646464a666102026108020042649319299983f19b87480000044c8c8c8c8c8c8c8c94ccc22804c234040084c8c8c8c926307f004307e005307d006307c007153308701491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016308b01001308b01002308901001308901002308701001308701002308501001307c00a153307f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016307c009153307e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6104020026104020046eb4c20004004c20004008dd6983f000983f0011bad307c001307c002307a0013071002153307449012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630710013077001306e53330703370e9002183780088008a99838a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016307500130750013074001306a001307100130710013067333051006375c660ca60ce00490001bae33065306700248008c184050dd71833800982f001983280098328011831800982d0009830800982c000982f800982f800982a99182f000982a99299982c19b8748000c15c004400454cc16524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163304603023375e660a860ac0029000012a99982b299982b19b87003480005288a9982ba48124706c6174666f726d5f6665655f616d6f756e745f696e74203d3d2030203f2046616c73650014a0294454ccc1580045288a9982ba4919706c6174666f726d5f6665655f73656e74203f2046616c73650014a066646002002444a6660b800429404c8c94ccc168c00c00852889998028028008019830001982f00101511999911119191919299982f19baf00300813371200a66608e00200e00c2940dd5983180098318011830800982c00299829182a005a401c6eb8cc148c150cc148c15011d200248000dd719829182a19829182a023a40049001001991981e000981d9bad33051305304648010cc0ec00c008c0d8004c8cc0dc0052080897a3370400400c2a660a6921254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e74001633332222323303a0013370490405844fdf500a410112f466e08cdc100180219b81001002375a6609a609e08490061bad3304d304f04248010dd69982698278212401c0246eb4c158004c158008c150004c12c0fcc94ccc134cc0c8004c0ccdd69982498258012400426eb4cc124c12c00920001533304d330320013033375a660926096004900309bad33049304b002480104dd699824982580124010646606200266e00dd6998249825804a40086eb4cc124c12c0252002337046eb4cc120c1280f520044820225e8c144004c144004c140004c13c008dd69826800982219821182201ba400c64a66608c66e1d20000011323232323232323253330523055002132498c94ccc13ccdc3a4000002264646464646464646464646464646464a6660c660cc004264646464646493182d005182c805982c006182b806982b007182b0078a99830249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60c800260c80046eb8c188004c188008c180004c180008c178004c178008c170004c170008c168004c168008c160004c160008c158004c13402054cc1412412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304d007153304f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60a600260a60046eb4c144004c144008dd698278009827801182680098220010a99823a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163044001304a00130413253330443370e9002182180088008a99822a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163303f30413303f304100148009200433302a01b023001375c608e002607c0626eb4c114004c0f14ccc0f8cdc3a4004607a00620062a6607e92012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a60860026074a66607866e1d2002303b0031003153303d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001630410013038003303f0013036003303d001303d002303b00130320033039001303053330323370e9001181880688068a99819a492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163037001303700130360013035001303400130330023758606200260620046eb0c0bc004c0bc008dd618168009812001981580098158011814800981000a9bae30270013027002375c604a00260380322930b119b83375a66034603800290001bad3301a301c00148008894ccc078cdc4000a4000266e95200033023375066e05200000233023375066e0520000014bd70099ba548000cc08cdd4001198119ba80014bd701119b88337046eb4cc064c06c0092000375a660326036002900119b82375a66032603600290001bad33019301b002480088cdd2a4000660406ea0004cc080dd42400497ae0223374a9000198101ba83370066e08dd69980b980c801240006eb4cc05cc0640052002337046eb4cc05cc0640052000375a6602e60320049001198101ba8337046eb4cc05cc0640092002375a6602e6032002900125eb80888c8c088004c064c94ccc070cdc3a4000603600220022a6603a9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300a00323370e66600a6eaccc060c068cc060c06800520024800800c0092002222323232533301d3370e90010008a40002646eb4c090004c06c008c06c004c94ccc070cdc3a40040022980103d87a8000132323300800100537566046002603400460340026600c0060046002002444a666038004298103d87a8000132323232533301c3371e00a002266e95200033021375000497ae01333007007003005375c603a0066eb4c074008c08000cc07800888cc00c008004c0040048894ccc0640085300103d87a800013232323253330193371e00a002266e9520003301e374c00497ae01333007007003005375c60340066eacc068008c07400cc06c008c0040048894ccc05c008530103d87a8000132325333015300300213374a90001980d00125eb804ccc01401400400cc06c00cc064008c8014c94ccc040cdc3a40000022646464646464646464646464646464646464646464646464a666058605e00426464646464649319299981719b87480000044c8c94ccc0d0c0dc0084c9263253330313370e9000000899191919299981c981e00109924c64a66606c66e1d200000113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a00260680082a6606e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400315330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607400260740046070002605e0042a660649212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f00115330314901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163035001302c0071533302e3370e90010008a99981918160038a4c2a6605e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c00630220073021008302001132533302a3370e900000089919191919191919299981b181c80109924c64a66606666e1d20000011323232323232323232323232323232325333047304a002132498c0e800454cc1112401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630480013048002375a608c002608c0046eb4c110004c110008dd6982100098210011bad30400013040002375a607c002607c0046eb4c0f0004c0f0008dd6981d00098188010a9981a2492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100115330334901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630370013037002375a606a002606a0046eb4c0cc004c0cc008dd6981880098140098a99815a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028012301e0151533029491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302d001302d002302b001302b00230290013029002375c604e002604e0046eb4c094004c094008dd6981180098118011bad30210013021002301f001301f002301d001301d002375a60360026036004603200260320046eb8c05c004c03801454cc04524012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e0043200332533300f3370e9000000899191919299980b980d00109924c64a66602866e1d2000001153330183012004149854cc0552411d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330143370e90010008a99980c18090020a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200315330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60300026030004602c002601a0062a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d002232533300c3370e9000000899191919299980a180b8010a4c2a66022921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602a002602a0046eb8c04c004c02800854cc0352412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001232533300b3370e90000008991919192999809980b0010991924c64a66602266e1d2000001132325333017301a002132498c94ccc050cdc3a400000226464a666034603a0042649318070008a9980ba49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013012002153330143370e90010008991919191919299980f18108010a4c2a660369201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603e002603e0046eb4c074004c074008dd6980d80098090010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f003153330113370e90010008a99980a98078018a4c2a6602492011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330124912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00230070031533010491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001301400230120013009002153300c4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001232533300a3370e900000089919299980818098010a4c2a6601a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602200260100042a66601466e1d20020011323253330103013002149854cc0352401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602200260100042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163008001002300e300600133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba257461",
      "hash": "b9103daf05c8c262a6a461c2a35bfb940beaca37b8a194880c782bf6"
    },
    {
      "title": "collateral.leftovers",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1AssetClass"
        }
      },
      "redeemer": {
        "title": "_r",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "5901fe010000323232323232323232323232222325333009323232323333323232322222323375e6e98004dd31980d99bb037520066ea00092f5bded8c066446464a66603266e1d200200114bd6f7b6300991bab30200013017002301700133009002001330050044881000033001001222533301600214bd6f7b630099191919299980b19b8f005001100313301b337606ea4004dd30011998038038018029bae30170033756602e004603400660300046002002444a666028004298103d87a800013232323253330143371e00a002266e95200033019374c00497ae01333007007003005375c602a0066eacc054008c06000cc058008dd5998049805998049805803240009004001800a40026eb8c048004c048008dd7180800098038008a4c2c6400864a66601266e1d200000113232323253330113014002149854cc039241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602400260240046eb8c040004c01c01054cc0292412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300700333001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "820404561855b4bcba8fd92a2d068d47e5b070382f59f43523a84392"
    },
    {
      "title": "liquidity_token.liquidity_token",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/liquidity_token~1TokenRedeemer"
        }
      },
      "parameters": [
        {
          "title": "pool_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "5910a5010000323232323232323232323232322322232533300a3232323232323232323232323232323232323232533301e3370e9000000899191919191919191919191929998171818801099191919299981700108008a503370e66e04dd69981498158052400c6eb4cc0a4c0ac01d20060023371e0046eb8cc0a0c0a8cc0a0c0a8025200048030dd698170011bae302c001153302b4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302f0013300f3013375666048604c66048604c040900024010038602a0026058002604664a66604c66e1d20043025001100115330274912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302130233302130230054800920043012001302900130203253330233370e9002181100088008a9981224812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163301e302000148010c050cc048dd61980e980f9980e980f80ca40009002119baf3301e30203301e30200014800120003301e302001848000c04ccc044dd61980e180f1980e180f00c240009000119baf3301d301f3301d301f3301d301f00148009200048000cc074c07c05d20003025001301c0151533301e3370e9002000899191919191919299981299b87001375a66042604600690030a5115330264913b61637475616c5f746f6b656e735f6d696e746564203d3d20696e7075745f646174756d2e746f74616c5f6c705f746f6b656e73203f2046616c73650014a0666010601e6eaccc080c088cc080c088071200048020060dd719810181119810181100124000900618088009814000980f99299981119b8748010c084004400454cc08d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163301d301f3301d301f001480092004301333223301300223375e6603e60426603e60420029001240000046eb0cc070c078cc070c078061200048000058c094004c0700544c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cc8c004004894ccc0cc0045288991929998188010998020020008a5030370023370e900118189baa30350010013303133302c533302c00614a22a6605a9211e636f72726563745f706f6f6c746f6b656e5f6d696e74203f2046616c73650014a0980103d87a80004c0103d87980003303133302c533302c00514a22a6605a92011d636f72726563745f706f6f6c746f6b656e5f6f7574203f2046616c73650014a0980103d87a80004c0103d87980003303133302c533302c00414a22a6605a920121636f72726563745f7265636f726465645f6c70746f6b656e73203f2046616c73650014a0980103d87a80004c0103d87980003303133302c533302c00314a22a6605a9201176465706f736974696e675f67745f30203f2046616c73650014a0980103d87a80004c0103d87980003303133302c533302c00214a22a6605a92011c6465706f736974696e675f61745f736372697074203f2046616c73650014a0980103d87a80004c0103d87980003303133302c533302c00114a22a6605a92011a6d696e7465645f61745f646973636f756e74203f2046616c73650014a0980103d87a80004c0103d87980004bd7019b873370200c900a00399b87005375a6604c6050014900119b8848000010cdc39bad33024302600848018010cdc39998059bab3302330250094800808401120023370e66601400804000690011998049bab33021302300748008dd7198109811998109811998109811802a40009001240006eb8cc084c08ccc084c08ccc084c08c0152000480092002333008002018001325333024302c302b0011375c60540022a6604a92010c61696b656e3a3a6572726f7200163323223002001300100122533302900114bd70099191919198171ba900133006006003375c60540066eb4c0a8008c0b4008c0ac004cc028004074c034dd59980f18101980f181000d24000900418078009813000980e99299981019b8748010c07c004400454cc0852412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163301b301d00148010c044cc03cdd61980d180e1980d180e00b240009002119baf3301b301d3301b301d0014800120003301b301d01548000c070050888c8c8c94ccc088cdc3a4004002290000991bad3029001302000230200013253330213370e90010008a60103d87a8000132323300800100537566050002603e004603e0026600e0060046002002444a666042004298103d87a800013232323253330213371e00a002266e95200033026375000497ae01333007007003005375c60440066eb4c088008c09400cc08c00888c8c94ccc074cdc3a4004002297adef6c6013237566048002603600460360026600600400244660060040026002002444a66603a004298103d87a8000132323232533301d3371e00a002266e95200033022374c00497ae01333007007003005375c603c0066eacc078008c08400cc07c0088cc008005221003001001222533301a00214bd6f7b630099191919299980d19b8f005001100313301f337606ea4004dd30011998038038018029bae301b00337566036004603c0066038004464a66602866e1d20000011323232323232323253330203023002132498c94ccc074cdc3a4000002264646464646464646464646464646464a666062606800426464646464649318108051810005980f806180f006980e80719299981719b87480000044c8c8c8c94ccc0d8c0e40084c8c9263253330343370e900000089919299981d181e80109924c64a66606e66e1d200000113232533303d3040002132498c0a400454cc0e92401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303e0013035002153330373370e90010008991919191919299982098220010a4c2a6607c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608400260840046eb4c100004c100008dd6981f000981a8010a9981c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303500115330374901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303b0013032003153330343370e90010008a99981c18190018a4c2a6606a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330354912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303200230220031533033491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303700130370023035001302c010153302f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302c00f153302e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606400260640046eb8c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004c0a0008c098004c098008c090004c06c02054cc0792412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b007153301d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980e801180d80098090010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200123253330133370e9000000899191919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603800260380046eb8c068004c04400854cc0512412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100123253330123370e900000089919299980c180d8010a4c2a6602a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603200260200042a66602466e1d2002001132325333018301b002149854cc0552401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603200260200042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630100013001001222533301500214bd70099192999809980180109980c0011998028028008018999802802800801980c801980b80112999807180b180a8008980a0008a99807a4810c61696b656e3a3a6572726f720016375c6024002601264a66601866e1d2000300b0011001153300d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633007300900348008cdd2a40006601e66e9520023300f375200897ae03300f4c0103d87a80004bd700a4c2c64006664464a66601866e1d20000011323253330123015002132498c01400454cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163013001300a0021533300c3370e90010008a99980818050010a4c2a6601a92011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300c3370e9002000899192999809180a80109924c600a0022a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163013001300a002153300d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001232533300b3370e90000008991919192999809980b00109924c64a66602066e1d20000011323253330163019002149854cc04d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602e002601c0082a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00315330104901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60280026028004602400260120042a660189212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001002375c0026600200290001111199980399b8700100300d233330050053370000890011807800801001118031baa001230043754002ae695ce2ab9d5573caae7d5d02ba15744ae8c1",
      "hash": "4c9572f840a5a0382453540c917f3a0816db24c6e18a5ec34c360d5d"
    },
    {
      "title": "oracle_validator.oracle_spend_validator",
      "datum": {
        "title": "oracle_datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1oracle~1Datum"
        }
      },
      "redeemer": {
        "title": "_oracle_redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$aada~1types~1oracle~1OracleSpendRedeemer"
        }
      },
      "compiledCode": "590c42010000323232323232323232323232322253330073370e90001803000899299980419191919191919191919191919199999191919191919111119299981099b87480000044c8c8c94ccc090cccc02c018014005200213300900723375e66042604600290000018a5032323232323232372800266e2c00c004dd7181700098128019bad302c001302c002302a00130210013028001301f00513232333300a00500400148004dd71814000980f802980f802180080091129998108010a5013232533301f300300214a2266600a00a002006604a006604600444446466ebcdd30009ba633023337606ea400cdd400125eb7bdb180cc88c8c94ccc084cdc3a4004002297adef6c6013237566050002603e004603e002660120040026600a008911000033001001222533301e00214bd6f7b630099191919299980f19b8f0050011003133023337606ea4004dd30011998038038018029bae301f0033756603e004604400660400046002002444a666038004298103d87a8000132323232533301c3371e00a002266e95200033021374c00497ae01333007007003005375c603a0066eacc074008c08000cc078008cc044c04c0392000008003001375c60340026022a66602666e1d200030120081008153301449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660300026030002602e002602c002602a0046eb0c04c004c02800cc044004c044008c03c004c01800852616320033253330083370e9000000899191919299980818098010991924c64a66601c66e1d20000011323253330143017002149854cc0452401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a00260180062a6601e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00232533300d3370e9000000899192999809980b00109924c64a66602066e1d20000011323232325333018301b002132498c94ccc054cdc3a400000226464a666036603c0042930a9980c249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603800260260082a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300315330154901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00115330104901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001300b0041533300d3370e9001000899192999809980b0010a4c2a660209201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160082a6601c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b003153300d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630110013011002300f001300600315330094912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163006002132232323232323232325333011323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232533303e3375e006002200c2940c10c004c0e8c94ccc0f4cdc3a4008607800220022a6607c9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633038303a00748010cdd2a400066080052660806ea0020cc100dd4003998201ba800233040375000297ae03370000690404fa499b8000248202fa4804cdc400f8009bad303d00130343253330373370e9001181b00088008a9981c24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633032303433032303433032303433032303402e48001200e480012000325333036303e303d0011303c001153303749010c61696b656e3a3a6572726f72001633332322223300400323371090001998159bab3303730390014800800c008c0040048894ccc0f000852f5c026464a666074600600426607e00466600a00a002006266600a00a0020066080006607c0046eb0cc0c4c0cccc0c4c0cc0b5200048010038030c8c8c0ac004cc0ac0052004337006660486eaccc0c0c0c8cc0c0c0c800920024800801400c078c8c8c0a8004cc0a80052004337006660466eaccc0bcc0c4cc0bcc0c400520024800802001807ccccc8c8888c8c0f8004c0d4c94ccc0e0cdc3a4000606e00220022a660729212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300400323370e6660506eaccc0d0c0d8cc0d0c0d800520024800800c00920023001001222533303900214c103d87a8000132325333037300300213374a90001981e00125eb804ccc01401400400cc0f400cc0ec008dd61981718181981718180152400090010078069bae30370013037002375c606a002605801a6eb8c0cc004c0cc008dd7181880098140059bae302f001302f002375c605a00260480126eb8c0ac004c0ac008dd7181480098100039813800981380118128009812801181180098118011810800980c0041bad301f001301f001301e002375a603800260380046eb4c068004c068008c060004c03c0205261622232323253330163370e90010008a40002646eb4c074004c050008c050004c94ccc054cdc3a40040022980103d87a8000132323300800100537566038002602600460260026600c0060046002002444a66602a004298103d87a800013232323253330153371e00a002266e9520003301a375000497ae01333007007003005375c602c0066eb4c058008c06400cc05c008c0040048894ccc04c008530103d87a800013232323253330133371e00a002266e95200033018374c00497ae01333007007003005375c60280066eacc050008c05c00cc0540088cdc19bad33008300a00148000dd6998041805000a400444a66601866e20005200013374a9000198089ba8337029000001198089ba8337029000000a5eb804cdd2a4000660226ea0008cc044dd4000a5eb80c8014cc88c94ccc030cdc3a4000002264646464646464646464a666034603a0042649319299980b99b87480000044c8c8c8c8c8c8c8c94ccc08cc0980084c8c8c8c92630190043018005301700630160071533020491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302400130240023022001302200230200013020002301e001301500a15330184912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500915330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046eb4c064004c064008dd6980b800980b8011bad301500130150023013001300a002153300d49012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001232533300b3370e90000008991919192999809980b0010a4c2a66020921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260280046eb8c048004c02400854cc0312412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001004300d300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba257461",
      "hash": "cf92ce323d4625f29d443ef9b59d9708927a98733c77c14ea217f0c3"
    },
    {
      "title": "oracle_validator.oracle_mint_validator",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1nft~1NFTRedeemer$aada~1types~1oracle~1OracleMintRedeemer"
        }
      },
      "compiledCode": "590c42010000323232323232323232323232322253330073370e90001803000899299980419191919191919191919191919199999191919191919111119299981099b87480000044c8c8c94ccc090cccc02c018014005200213300900723375e66042604600290000018a5032323232323232372800266e2c00c004dd7181700098128019bad302c001302c002302a00130210013028001301f00513232333300a00500400148004dd71814000980f802980f802180080091129998108010a5013232533301f300300214a2266600a00a002006604a006604600444446466ebcdd30009ba633023337606ea400cdd400125eb7bdb180cc88c8c94ccc084cdc3a4004002297adef6c6013237566050002603e004603e002660120040026600a008911000033001001222533301e00214bd6f7b630099191919299980f19b8f0050011003133023337606ea4004dd30011998038038018029bae301f0033756603e004604400660400046002002444a666038004298103d87a8000132323232533301c3371e00a002266e95200033021374c00497ae01333007007003005375c603a0066eacc074008c08000cc078008cc044c04c0392000008003001375c60340026022a66602666e1d200030120081008153301449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660300026030002602e002602c002602a0046eb0c04c004c02800cc044004c044008c03c004c01800852616320033253330083370e9000000899191919299980818098010991924c64a66601c66e1d20000011323253330143017002149854cc0452401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602a00260180062a6601e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00232533300d3370e9000000899192999809980b00109924c64a66602066e1d20000011323232325333018301b002132498c94ccc054cdc3a400000226464a666036603c0042930a9980c249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603800260260082a6602c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301300315330154901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00115330104901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163014001300b0041533300d3370e9001000899192999809980b0010a4c2a660209201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160082a6601c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b003153300d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630110013011002300f001300600315330094912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163006002132232323232323232325333011323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232533303e3375e006002200c2940c10c004c0e8c94ccc0f4cdc3a4008607800220022a6607c9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633038303a00748010cdd2a400066080052660806ea0020cc100dd4003998201ba800233040375000297ae03370000690404fa499b8000248202fa4804cdc400f8009bad303d00130343253330373370e9001181b00088008a9981c24812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633032303433032303433032303433032303402e48001200e480012000325333036303e303d0011303c001153303749010c61696b656e3a3a6572726f72001633332322223300400323371090001998159bab3303730390014800800c008c0040048894ccc0f000852f5c026464a666074600600426607e00466600a00a002006266600a00a0020066080006607c0046eb0cc0c4c0cccc0c4c0cc0b5200048010038030c8c8c0ac004cc0ac0052004337006660486eaccc0c0c0c8cc0c0c0c800920024800801400c078c8c8c0a8004cc0a80052004337006660466eaccc0bcc0c4cc0bcc0c400520024800802001807ccccc8c8888c8c0f8004c0d4c94ccc0e0cdc3a4000606e00220022a660729212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300400323370e6660506eaccc0d0c0d8cc0d0c0d800520024800800c00920023001001222533303900214c103d87a8000132325333037300300213374a90001981e00125eb804ccc01401400400cc0f400cc0ec008dd61981718181981718180152400090010078069bae30370013037002375c606a002605801a6eb8c0cc004c0cc008dd7181880098140059bae302f001302f002375c605a00260480126eb8c0ac004c0ac008dd7181480098100039813800981380118128009812801181180098118011810800980c0041bad301f001301f001301e002375a603800260380046eb4c068004c068008c060004c03c0205261622232323253330163370e90010008a40002646eb4c074004c050008c050004c94ccc054cdc3a40040022980103d87a8000132323300800100537566038002602600460260026600c0060046002002444a66602a004298103d87a800013232323253330153371e00a002266e9520003301a375000497ae01333007007003005375c602c0066eb4c058008c06400cc05c008c0040048894ccc04c008530103d87a800013232323253330133371e00a002266e95200033018374c00497ae01333007007003005375c60280066eacc050008c05c00cc0540088cdc19bad33008300a00148000dd6998041805000a400444a66601866e20005200013374a9000198089ba8337029000001198089ba8337029000000a5eb804cdd2a4000660226ea0008cc044dd4000a5eb80c8014cc88c94ccc030cdc3a4000002264646464646464646464a666034603a0042649319299980b99b87480000044c8c8c8c8c8c8c8c94ccc08cc0980084c8c8c8c92630190043018005301700630160071533020491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302400130240023022001302200230200013020002301e001301500a15330184912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500915330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603600260360046eb4c064004c064008dd6980b800980b8011bad301500130150023013001300a002153300d49012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001232533300b3370e90000008991919192999809980b0010a4c2a66020921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260280046eb8c048004c02400854cc0312412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163009001004300d300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba257461",
      "hash": "cf92ce323d4625f29d443ef9b59d9708927a98733c77c14ea217f0c3"
    },
    {
      "title": "order_contract.borrow_order_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Datum$aada~1types~1order~1BorrowRequest"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Redeemer$aada~1types~1order~1ProcessBorrow"
        }
      },
      "compiledCode": "59188e0100003232323232323232323232323232323232222323232323232325333013323233333232323232323232222232323232323232323232323232323232323232323253330363370e900000089919299981c19b87480000044c8c8cc090028004dd7181f800981b0010991981080600099ba548000cc0f40092f5c0606c00266064606803090000991919191919191919191919299982119b8748008c1040044c8c94ccc120c12c00854ccc110cdc3a400060860022646464646464a66609c60a2004264a660989211257696c6c20736561636820666f72204e46540013253304d4910f57696c6c20636865636b74207461670013253304e4911257696c6c20646f206c617374207468696e67001533304d533304d533304d00214a22a6609c920116706f6f6c5f6e66745f666f756e64203f2046616c73650014a02a66609a002294454cc139240118706f6f6c5f7461676765645f74686973203f2046616c73650014a029404cc0c005002052819baf0033374a90001982880c25eb80cdc399981c8061bae33047304933047304902d480112000375c6608e60926608e609205a900224004900118210018a99825a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304f001304f002304d001304d002304b001304200115330454912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533045491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163049001304000115330434912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163047001303e3253330413370e9000182000088008a998212492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323302500f0013374a900119822804a5eb80dd598228009822800981d80098210009821000981c191820800981c19299981d99b8748000c0e8004400454cc0f124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302001423375e6606e60720029000002181f800981f801181e800981a00b981a00b181d0009818a99981999b8748008c0c803c403c54cc0d124012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756607000260700046eb0c0d8004c0d8004c0d4008dd598198009819800981900098188009818000981780098170011bac302c0013023003302a001302a0023028001301f0013001001222533302200214c0103d87a800013232323253330223375e00a002266e952000330270024bd7009998038038018029811801981180118130019812001180080091129998100010a6103d87a800013232533301e300300213374a90001981180125eb804ccc01401400400cc09000cc088008c0040048894ccc078008528099191919299980f19baf00500114a2266600e00e00600a603e0066eb4c07c008c08800cc080008c0040048894ccc07000852809919299980d19b8f00200314a2266600a00a00200660400066eb8c07800888c94ccc060cdc3a40040022646464646464646464646464646464646464646464646464646464664600200244a66607200229444c8c94ccc0dc0084cc010010004528181e80119b8748008c0dcdd5181d8008009981b99981929998190010a5115330334911b76616c69645f696e7465726573745f72617465203f2046616c73650014a0980103d87a80004c0103d879800033037333032533303200114a22a6606692012476616c69645f706f6f6c5f636f6c6c61746572616c5f616d6f756e74203f2046616c73650014a0980103d87a80004c0103d879800033037333032533303200514a22a6606692011d626f72726f7765725f746f6b656e5f6d696e746564203f2046616c73650014a0980103d87a80004c0103d879800033037333032533303200414a22a66066920120726563697069656e745f676f745f626f72726f775f6e6674203f2046616c73650014a0980103d87a80004c0103d879800033037333032533303200614a22a6606692011b757365725f72656365697665645f76616c7565203f2046616c73650014a0980103d87a80004c0103d879800033037333032533303200314a22a6606692011d636f6c6c61746572616c5f7761735f746167676564203f2046616c73650014a0980103d87a80004c0103d87980004bd7019b8900c0153371202201264a6660606660606070002941288981c181b8008a5033323001001222533303600214bd7009919299981a180180109981c8011998028028008018999802802800801981d001981c0011bac3302b302d3302b302d024480012004232323232323253330363370e900200089919299981c19baf00700f1323375e6606a606e004900b19ba548000cc0f80952f5c064a66607266e1d20000011323232323232323232323232323232323232323232323232533305530580021323232323232498c94ccc15ccdc3a400000226464a6660ba60c00042649318288008a9982d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305e0013055007153330573370e90010008a99982d982a8038a4c2a660b092011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330584912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163055006304e007304d008304c0113253330533370e900000089919191919191919299982f983100109924c64a6660b866e1d200000113232323232323232323232323232323253330703073002132498c19800454cc1b52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630710013071002375a60de00260de0046eb4c1b4004c1b4008dd6983580098358011bad30690013069002375a60ce00260ce0046eb4c194004c194008dd69831800982d0010a9982ea492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016305a001153305c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630600013060002375a60bc00260bc0046eb4c170004c170008dd6982d00098288098a9982a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163051012304a0151533052491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305600130560023054001305400230520013052002375c60a000260a00046eb4c138004c138008dd6982600098260011bad304a001304a0023048001304800230460013046002375a60880026088004608400260840046eb8c100004c0dc00854cc0e924012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303700114a0607a00260680042940c0d0004c0e8004c0e8004c0e4008c0dc004c0b8004cc054dd6198151816198151816011a4000900211999911119191919299981b99baf00300813371200a66604a00200e00c2940dd5981e000981e001181d000981880299815981681124004018008900119b8733301b33232233002001489003001001222533303400214bd6f7b630099191919299981a19b8f0050011003133039337606ea4004dd30011998038038018029bae30350033756606a0046070006606c0046eaccc0a4c0accc0a4c0ac0892000480200280092002330133758660506054660506054042900024008466ebc004030dd71818800981400a981780098178011bad302d001302d002375a605600260560046eb8c0a4004c0a4008c09c004c078cc070c07804d2008375a604a002604a00260480046eb4c088004c088004c060010c0040048894ccc07c00852809919299980e98018010a5113330050050010033023003302100214a0602c0020100120146034002602264a66602866e1d20023013001100115330154912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300f3011008480085261622232323253330183370e90010008a40002646eb4c07c004c058008c058004c94ccc05ccdc3a40040022980103d87a800013232330080010053756603c002602a004602a0026600c0060046002002444a66602e004298103d87a800013232323253330173371e00a002266e9520003301c375000497ae01333007007003005375c60300066eb4c060008c06c00cc064008c0040048894ccc054008530103d87a800013232323253330153371e00a002266e9520003301a374c00497ae01333007007003005375c602c0066eacc058008c06400cc05c008c8014cc8c88c94ccc044cdc3a4000002264646464646464646464a66603e60440042646464649319299980f99b87480000044c8c8c8c8c8c8c8c8c8c94ccc0b4c0c00084c8c926302400232533302a3370e900000089919191919191919299981b181c80109919191924c64a66606c66e1d200000113232533303c303f002149854cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607a002606800a2a66606c66e1d20020011533303a3034005149854cc0dd24011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330374912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630340043253330353370e90000008a99981c98198030a4c2a6606c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330353370e900100089919299981d981f0010a4c2a660709201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6078002606600c2a66606a66e1d200400113232533303b303e002149854cc0e12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c001303300615330364912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163033005330250062323232498cc0a00048c8c926375a60760046eb8c0e4004dd5981c0011bae3036001302c0071533033491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163037001303700230350013035002375660660026066004606200260500142a660569212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163028009153302a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302e001302e002375a605800260580046eb4c0a8004c0a8008dd7181400098140011813000980e8028a9981024812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301d004301600730160083016009153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013020002375a603c002603c00460380026038004603400260340046030002601e0042a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f0013001001222533301400214984c8ccc010010c06000c008c004c058008010c800cc94ccc034cdc3a40000022a66602260160062930a9980724811d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300d3370e9001000899191919299980a980c0010991924c64a66602666e1d2000001132325333019301c002149854cc0592401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603400260220062a660289212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100230090031533012491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301600130160023014001300b003153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b002232533300a3370e90000008991919192999809180a80109924c64a66601e66e1d20000011323253330153018002149854cc049241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602c002601a0082a660209212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d003153300f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60260026026004602200260100042a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800123253330093370e90000008991919192999808980a0010a4c2a6601c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602400260240046eb8c040004c01c00854cc0292412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300700123253330083370e9000000899191919299980818098010991924c64a66601c66e1d20000011323253330143017002132498c94ccc044cdc3a400000226464a66602e60340042649318070008a9980a249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f002153330113370e90010008991919191919299980d980f0010a4c2a660309201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603800260380046eb4c068004c068008dd6980c00098078010a9980924812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00115330114901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163015001300c0031533300e3370e90010008a99980918060018a4c2a6601e92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c0023007003153300d491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630110013011002300f001300600215330094912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300600123253330073370e900000089919299980698080010a4c2a66014921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c601c002600a0042a66600e66e1d200200113232533300d3010002149854cc0292401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c601c002600a0042a660109212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba257461",
      "hash": "7900171b30f5957c944ab66c20b146b118371473e390cdd1701df987"
    },
    {
      "title": "order_contract.deposit_order_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Datum$aada~1types~1order~1DepositRequest"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Redeemer$Void"
        }
      },
      "compiledCode": "590f86010000323232323232323232323232322223232533300b3333323232323232323232323232222232323232323232323232323232323232323232323253330303370e900000089919299981919b87480000044c8c8cc0a0028004dd7181c80098180010991981280600099ba548000cc0dc0092f5c0606000266058605c03090000991919191919191919191919299981e19b8748008c0ec0044c8c94ccc108c11400854ccc0f8cdc3a4000607a0022646464646464a6660906096004264a6608c9211257696c6c20736561636820666f72204e4654001325330474910f57696c6c20636865636b7420746167001325330484911257696c6c20646f206c617374207468696e6700153330475333047533304700214a22a66090920116706f6f6c5f6e66745f666f756e64203f2046616c73650014a02a66608e002294454cc121240118706f6f6c5f7461676765645f74686973203f2046616c73650014a029404cc0c005002052819baf0033374a90001982580c25eb80cdc39991191919299982519b874800800452000132375a60a20026090004609000264a66609266e1d200200114c103d87a80001323233035001005375660a0002608e004608e0026606601c0046eb8cc104c10ccc104c10c0b5200448000dd7198209821998209821816a4008900124004607e0062a6608a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630490013049002304700130470023045001303c001153303f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153303f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163043001303a001153303d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163041001303832533303b3370e9000181d00088008a9981e2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323302900f0013374a90011981f804a5eb80dd5981f800981f800981a800981e000981e000981919181d800981919299981a99b8748000c0d0004400454cc0d924012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302401423375e6606260660029000002299981999b8748000c0d4dd5181c8008a4c2c6072004606e002605c02e605c02c60680026056a66605a66e1d2002302c00f100f153302e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606400260640046eb0c0c0004c0c0004c0bc008dd598168009816800981600098158009815000981480098140011bac3026001301d00330240013024002302200130190013001001222533301c00214c0103d87a8000132323232533301c3371e00a002266e95200033021375000497ae01333007007003005375c603a0066eb4c074008c08000cc078008c0040048894ccc068008530103d87a8000132323232533301a3371e00a002266e9520003301f374c00497ae01333007007003005375c60360066eacc06c008c07800cc070008c0040048894ccc060008530103d87a800013232323253330183375e00a002266e9520003301d0024bd700999803803801802980c801980c801180e001980d0011800800911299980b0010a6103d87a8000132325333014300300213374a90001980c80125eb804ccc01401400400cc06800cc060008c0040048894ccc050008528099191919299980a19baf00500114a2266600e00e00600a602a0066eb4c054008c06000cc058008c0040048894ccc04800852809919299980819b8f00200314a2266600a00a002006602c0066eb8c05000888c94ccc038cdc3a4000002264944c03000852818060008008010018a4c2c6400a664646464464a66602066e1d2000001132323232323232323232533301e3021002132323232498c94ccc078cdc3a4000002264646464a66604c60520042649319299981199b87480000044c8c8c8c8c8c94ccc0b4c0c00084c8c8c92632533302c3370e90000008a99981818150020a4c2a6605a9211d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e9001000899192999819181a8010a4c2a6605e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606600260540082a66605866e1d20040011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163033001302a004153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a0033301d0042323232498cc0800048c8c926375a60640046eb8c0c0004dd598178011bae302d001301e005153302a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302e001302e002375660580026058004605400260420042a660489212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302100115330234901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630270013027002375a604a002603800a2a6603e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301c00432533301d3370e9000000899191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002604c0046eb8c090004c06c02054cc0792412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b00730100083010009153301b4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301f001301f002375a603a002603a0046036002603600460320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e0013001001222533301300214984c8ccc010010c05c00c008c004c0540088c94ccc034cdc3a4000002264646464a66602a6030004264649319299980999b87480000044c8c94ccc064c0700084c9263253330163370e900000089919299980e180f80109924c601c0022a660329201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013014002153330163370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980a0010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400115330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013011003153330133370e90010008a99980b98088018a4c2a6602892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100230070031533012491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301600130160023014001300b002153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001232533300c3370e9000000899192999809180a8010a4c2a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a66601866e1d20020011323253330123015002149854cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0010043200332533300a3370e90000008a99980718040018a4c2a6601692011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300a3370e90010008991919192999809180a80109924c60120062a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300d3370e900018079baa3013001149858c04c008c044004c02000c54cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800223253330073370e90000008991919192999807980900109924c64a66601866e1d20000011323253330123015002149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140082a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a003153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60200026020004601c002600a0042a660109212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "a68078c912580ce55e5f7d2ad09fd89490baf74733a630eee70b6822"
    },
    {
      "title": "order_contract.liquidate_order_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Datum$aada~1types~1order~1LiquidateRequest"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Redeemer$Void"
        }
      },
      "compiledCode": "59104f010000323232323232323232323232322223232533300b3333323232323232323232323232222232323232323232323232323232323232323232323253330303370e900000089919299981919b87480000044c8c8cc0a0028004dd7181c80098180010991981280600099ba548000cc0dc0092f5c0606000266058605c03090000991919191919191919191919299981e19b8748008c0ec0044c8c94ccc108c11400854ccc0f8cdc3a4000607a0022646464646464a6660906096004264a6608c9211257696c6c20736561636820666f72204e4654001325330474910f57696c6c20636865636b7420746167001325330484911257696c6c20646f206c617374207468696e6700153330475333047533304700214a22a66090920116706f6f6c5f6e66745f666f756e64203f2046616c73650014a02a66608e002294454cc121240118706f6f6c5f7461676765645f74686973203f2046616c73650014a029404cc0c005002052819baf0033374a90001982580c25eb80cdc39991191919299982519b874800800452000132375a60a20026090004609000264a66609266e1d200200114c103d87a80001323233035001005375660a0002608e004608e0026606601c0046eb8cc104c10ccc104c10c0b5200448000dd7198209821998209821816a4008900124004607e0062a6608a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630490013049002304700130470023045001303c001153303f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153303f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163043001303a001153303d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163041001303832533303b3370e9000181d00088008a9981e2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323302900f0013374a90011981f804a5eb80dd5981f800981f800981a800981e000981e000981919181d800981919299981a99b8748000c0d0004400454cc0d924012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302401423375e6606260660029000002299981999b8748000c0d4dd5181c8008a4c2c6072004606e002605c02e605c02c60680026056a66605a66e1d2002302c00f100f153302e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606400260640046eb0c0c0004c0c0004c0bc008dd598168009816800981600098158009815000981480098140011bac3026001301d00330240013024002302200130190013001001222533301c00214c0103d87a8000132323232533301c3371e00a002266e95200033021375000497ae01333007007003005375c603a0066eb4c074008c08000cc078008c0040048894ccc068008530103d87a8000132323232533301a3371e00a002266e9520003301f374c00497ae01333007007003005375c60360066eacc06c008c07800cc070008c0040048894ccc060008530103d87a800013232323253330183375e00a002266e9520003301d0024bd700999803803801802980c801980c801180e001980d0011800800911299980b0010a6103d87a8000132325333014300300213374a90001980c80125eb804ccc01401400400cc06800cc060008c0040048894ccc050008528099191919299980a19baf00500114a2266600e00e00600a602a0066eb4c054008c06000cc058008c0040048894ccc04800852809919299980819b8f00200314a2266600a00a002006602c0066eb8c05000888c94ccc038cdc3a4008002264944c03000852818060008008010018a4c2c6400a664646464464a66602066e1d2000001132323232323232323232533301e3021002132323232498c94ccc078cdc3a400000226464a666048604e0042649319299981099b87480000044c8c8c8c8c8c8c8c94ccc0b4c0c00084c8c8c8c92632533302d3370e9000000899192999819981b0010a4c2a66060921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6068002605600a2a66605a66e1d200200115333031302b005149854cc0b924011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b00432533302c3370e90000008a99981818150030a4c2a6605a92011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533302c3370e9001000899192999819181a8010a4c2a6605e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6066002605400c2a66605866e1d20040011323253330323035002149854cc0bd2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163033001302a006153302d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302a0053301d0062323232498cc0800048c8c926375a60640046eb8c0c0004dd598178011bae302d001301e007153302a491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302e001302e002302c001302c0023756605400260540046050002603e0042a660449212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301f00115330214901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163025001301c005153301f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301c00432533301d3370e9000000899191919299981298140010a4c2a660449201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c604c002604c0046eb8c090004c06c02054cc0792412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b00730100083010009153301b4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301f001301f002375a603a002603a0046036002603600460320026032004602e002601c0042a660229212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e0013001001222533301300214984c8ccc010010c05c00c008c004c0540088c94ccc034cdc3a4000002264646464a66602a6030004264649319299980999b87480000044c8c94ccc064c0700084c9263253330163370e900000089919299980e180f80109924c601c0022a660329201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013014002153330163370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980a0010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400115330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013011003153330133370e90010008a99980b98088018a4c2a6602892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100230070031533012491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301600130160023014001300b002153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001232533300c3370e9000000899192999809180a8010a4c2a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a66601866e1d20020011323253330123015002149854cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0010043200332533300a3370e90000008a99980718040018a4c2a6601692011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300a3370e90010008991919192999809180a80109924c60120062a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300d3370e900018079baa3013001149858c04c008c044004c02000c54cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800223253330073370e90000008991919192999807980900109924c64a66601866e1d20000011323253330123015002149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140082a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a003153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60200026020004601c002600a0042a660109212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "91276ee90fa62c9b9a453c9a2a383ffc86a74ccbe499f66c36a09dc6"
    },
    {
      "title": "order_contract.repay_order_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Datum$aada~1types~1order~1RepayRequest"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Redeemer$Void"
        }
      },
      "compiledCode": "5912580100003232323232323232323232323222232323232323232533301033333232323232323232222232323232323232323232323232323232323232323253330313370e900000089919299981999b87480000044c8c8cc090028004dd7181d00098188010991981080600099ba548000cc0e00092f5c060620026605a605e03090000991919191919191919191919299981e99b8748008c0f00044c8c94ccc10cc11800854ccc0fccdc3a4000607c0022646464646464a6660926098004264a6608e9211257696c6c20736561636820666f72204e4654001325330484910f57696c6c20636865636b7420746167001325330494911257696c6c20646f206c617374207468696e6700153330485333048533304800214a22a66092920116706f6f6c5f6e66745f666f756e64203f2046616c73650014a02a666090002294454cc125240118706f6f6c5f7461676765645f74686973203f2046616c73650014a029404cc0c005002052819baf0033374a90001982600c25eb80cdc399981b8061bae33042304433042304402d480112000375c66084608866084608805a900224004900118200018a99823249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304a001304a002304800130480023046001303d00115330404912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533040491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001303b001153303e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163042001303932533303c3370e9000181d80088008a9981ea492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323302500f0013374a900119820004a5eb80dd598200009820000981b000981e800981e800981999181e000981999299981b19b8748000c0d4004400454cc0dd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302001423375e6606460680029000002299981a19b8748000c0d8dd5181d0008a4c2c60740046070002605e02e605e02c606a0026058a66605c66e1d2002302d00f100f153302f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606600260660046eb0c0c4004c0c4004c0c0008dd598170009817000981680098160009815800981500098148011bac3027001301e003302500130250023023001301a0013001001222533301d00214c0103d87a8000132323232533301d3375e00a002266e952000330220024bd700999803803801802980f001980f0011810801980f8011800800911299980d8010a6103d87a8000132325333019300300213374a90001980f00125eb804ccc01401400400cc07c00cc074008c0040048894ccc064008528099191919299980c99baf00500114a2266600e00e00600a60340066eb4c068008c07400cc06c008c0040048894ccc05c00852809919299980a99b8f00200314a2266600a00a00200660360066eb8c06400888c94ccc04ccdc3a4008002264646464646464646464646464664600200244a66604c00229444c8c94ccc0900084cc010010004528181500119b8748008c090dd518140008009981219980fa99980f8018a5115330204912072656365697665645f65787065637465645f6f7574707574203f2046616c73650014a0980103d87a80004c0103d87980003302433301f533301f00214a22a66040920116636f6e73756d65645f6f72646572203f2046616c73650014a0980103d87a80004c0103d87980003302433301f533301f00114a22a660409201146275726e745f656e6f756768203f2046616c73650014a0980103d87a80004c0103d87980004bd7019b8733300f332322330020014881003001001222533302500214bd6f7b630099191919299981299b8f005001100313302a337606ea4004dd30011998038038018029bae30260033756604c0046052006604e0046eaccc068c070cc068c070059200048020dd71980d180e001a40006eb8cc068c07000d200248004cc024dd61980c980d9980c980d80aa40009000119baf3301a301c00148000014cc020dd61980c180d1980c180d00a240009002119baf00100630210013021002301f001301f002301d001301433012301400c48020c04c010c0040048894ccc06800852809919299980c18018010a511333005005001003301e003301c00214a0602200200c00e0102930b111191919299980a99b874800800452000132375a60380026026004602600264a66602866e1d200200114c0103d87a8000132323300800100537566036002602400460240026600c0060046002002444a666028004298103d87a800013232323253330143371e00a002266e95200033019375000497ae01333007007003005375c602a0066eb4c054008c06000cc058008c0040048894ccc048008530103d87a800013232323253330123371e00a002266e95200033017374c00497ae01333007007003005375c60260066eacc04c008c05800cc050008c8014cc8c8c8c8c88c94ccc044cdc3a4000002264646464646464646464a66603e60440042646464649319299980f99b87480000044c8c8c8c8c8c94ccc0a4c0b00084c8c8c926301b00330210043253330263370e9000000899191919191919192999819181a80109919191924c64a66606466e1d2000001132325333038303b002149854cc0d5241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6072002606000a2a66606466e1d2002001153330363030005149854cc0cd24011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330334912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630300043253330313370e90000008a99981a98178030a4c2a6606492011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e900100089919299981b981d0010a4c2a660689201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6070002605e00c2a66606266e1d2004001132325333037303a002149854cc0d12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163038001302f00615330324912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f005330210062323232498cc0900048c8c926375a606e0046eb8c0d4004dd5981a0011bae30320013023007153302f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630330013033002303100130310023756605e002605e004605a002604800c2a6604e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302400515330264901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302a001302a002302800130280023026001301d00515330204912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301d004301100730110083011009153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013020002375a603c002603c00460380026038004603400260340046030002601e0042a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f0013001001222533301400214984c8ccc010010c06000c008c004c0580088c94ccc038cdc3a4000002264646464a66602c60320042930a99809a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602e002602e0046eb8c054004c03000854cc03d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001232533300d3370e9000000899191919299980a980c0010991924c64a66602666e1d2000001132325333019301c002132498c94ccc058cdc3a400000226464a666038603e0042649318070008a9980ca49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013014002153330163370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980a0010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400115330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013011003153330133370e90010008a99980b98088018a4c2a6602892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100230070031533012491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301600130160023014001300b002153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001232533300c3370e9000000899192999809180a8010a4c2a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a66601866e1d20020011323253330123015002149854cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0010043200332533300a3370e90000008a99980718040018a4c2a6601692011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300a3370e90010008991919192999809180a80109924c60120062a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300d3370e900018079baa3013001149858c04c008c044004c02000c54cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800223253330073370e90000008991919192999807980900109924c64a66601866e1d20000011323253330123015002149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140082a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a003153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60200026020004601c002600a0042a660109212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "476a1aad2c772ac703226680bbfdc9a903cfdef360917b24ad321724"
    },
    {
      "title": "order_contract.withdraw_order_contract",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Datum$aada~1types~1order~1WithdrawRequest"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/aada~1types~1order~1Redeemer$Void"
        }
      },
      "compiledCode": "5913ec0100003232323232323232323232323222232323232323232533301033333232323232323232222232323232323232323232323232323232323232323253330313370e900000089919299981999b87480000044c8c8cc090028004dd7181d00098188010991981080600099ba548000cc0e00092f5c060620026605a605e03090000991919191919191919191919299981e99b8748008c0f00044c8c94ccc10cc11800854ccc0fccdc3a4000607c0022646464646464a6660926098004264a6608e9211257696c6c20736561636820666f72204e4654001325330484910f57696c6c20636865636b7420746167001325330494911257696c6c20646f206c617374207468696e6700153330485333048533304800214a22a66092920116706f6f6c5f6e66745f666f756e64203f2046616c73650014a02a666090002294454cc125240118706f6f6c5f7461676765645f74686973203f2046616c73650014a029404cc0c005002052819baf0033374a90001982600c25eb80cdc399981b8061bae33042304433042304402d480112000375c66084608866084608805a900224004900118200018a99823249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304a001304a002304800130480023046001303d00115330404912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533040491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163044001303b001153303e4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163042001303932533303c3370e9000181d80088008a9981ea492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323302500f0013374a900119820004a5eb80dd598200009820000981b000981e800981e800981999181e000981999299981b19b8748000c0d4004400454cc0dd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302001423375e6606460680029000002299981a19b8748000c0d8dd5181d0008a4c2c60740046070002605e02e605e02c606a0026058a66605c66e1d2002302d00f100f153302f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606600260660046eb0c0c4004c0c4004c0c0008dd598170009817000981680098160009815800981500098148011bac3027001301e003302500130250023023001301a0013001001222533301d00214c0103d87a8000132323232533301d3375e00a002266e952000330220024bd700999803803801802980f001980f0011810801980f8011800800911299980d8010a6103d87a8000132325333019300300213374a90001980f00125eb804ccc01401400400cc07c00cc074008c0040048894ccc064008528099191919299980c99baf00500114a2266600e00e00600a60340066eb4c068008c07400cc06c008c0040048894ccc05c00852809919299980a99b8f00200314a2266600a00a00200660360066eb8c06400888c94ccc04ccdc3a400000226464646464646464646464646464646464646464664600200244a66605a00229444c8c94ccc0ac0084cc010010004528181880119b8748008c0acdd518178008009981599981329998130008a5115330274911b757365725f72656365697665645f76616c7565203f2046616c73650014a0980103d87a80004c0103d87980003302b333026533302600314a22a6604e9201136275726e745f6173736574203f2046616c73650014a0980103d87a80004c0103d87980004bd70191999180080091129998168010a5013232533302b300300214a2266600a00a0020066062006605e004002466ebc00400cdd619810981199810981180ea4000900219ba548000cc0a4018cc0a4dd3199999191919191919111119991119999806803803001911199802801800801000999119001998050010009981a19bb037520046ea00052f5bded8c000e44466e95200033037374c6666601000400a00844464a66606c66e1c005200014c0103d87a800013374a90001981d9ba80014bd7019b8000100200a4bd700039800800911111299981980289981a19bb037520086ea000d2f5bded8c0264646464a66606666ebccc01402000530103d8798000133038337606ea4020dd40038048a99981999b8f0080011323253330353370e9000000899191981e19bb037520186ea000401cdd6981e00098198010802981980099980300400380109981c19bb037520026ea0008cccccc02802800c02001c018014dd7181a0019bad30340023037006303500522533302a33720004002298103d87980001533302a3371e0040022980103d87a800014c103d87b80003001001222533302d00214984c94ccc0b80045261323232323232323253330323370e900000089998060061981b8038030050b1818198048018009bae3032005375a60640086eb8c0c0010dd6981800198198019818801181800198180011800800911111299981700289981799bb037520086e9800d2f5bded8c0264646464a66605c66ebccc014020005300103d8798000133033337606ea4020dd30038048a99981719b8f0080011323253330303370e9000000899191981b99bb037520186e9800401cdd5981b80098170010802981700099980300400380109981999bb037520026e98008cccccc02802800c02001c018014dd718178019bab302f00230320063030005004375c66040604401490001bae33020302200a48008cdc0a4000020660520046605298103d87a80004bd7019b87333014332322330020014881003001001222533302a00214bd6f7b630099191919299981519b8f005001100313302f337606ea4004dd30011998038038018029bae302b00337566056004605c00660580046eaccc07cc084cc07cc08406d200048020dd71980f9810803a40006eb8cc07cc08401d2002337029000006981400098140011bab302600130260023024001301b0053022001302200230200013020002301e001301e002375a6038002602666022602601690041bad301a001301100214a0602200200c00e0102930b111191919299980a99b874800800452000132375a60380026026004602600264a66602866e1d200200114c103d87a8000132323300800100537566036002602400460240026600c0060046002002444a666028004298103d87a800013232323253330143371e00a002266e95200033019375000497ae01333007007003005375c602a0066eb4c054008c06000cc058008c0040048894ccc048008530103d87a800013232323253330123371e00a002266e95200033017374c00497ae01333007007003005375c60260066eacc04c008c05800cc050008c8014cc8c8c8c8c88c94ccc044cdc3a4000002264646464646464646464a66603e60440042646464649319299980f99b87480000044c8c8c8c8c8c8c8c94ccc0acc0b80084c8c8c926301d003301c0043253330283370e900000089919191919192999819181a801099191924c64a66606266e1d200000115333035302f004149854cc0c92411d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330313370e900100089919299981b981d0010a4c2a660689201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6070002605e0082a66606266e1d2004001132325333037303a002149854cc0d12401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163038001302f00415330324912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302f003330210042323232498cc0900048c8c926375a606e0046eb8c0d4004dd5981a0011bae30320013023005153302f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630330013033002375660620026062004605e002604c00c2a660529212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302600515330284901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016302c001302c002302a001302a00230280013028002375a604c002603a00a2a660409212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301d004301100730110083011009153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013020002375a603c002603c00460380026038004603400260340046030002601e0042a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f0013001001222533301400214984c8ccc010010c06000c008c004c0580088c94ccc038cdc3a4000002264646464a66602c60320042930a99809a49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602e002602e0046eb8c054004c03000854cc03d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001232533300d3370e9000000899191919299980a980c0010991924c64a66602666e1d2000001132325333019301c002132498c94ccc058cdc3a400000226464a666038603e0042649318070008a9980ca49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301d0013014002153330163370e90010008991919191919299981018118010a4c2a6603a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980a0010a9980ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400115330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301a0013011003153330133370e90010008a99980b98088018a4c2a6602892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100230070031533012491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301600130160023014001300b002153300e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001232533300c3370e9000000899192999809180a8010a4c2a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a66601866e1d20020011323253330123015002149854cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0010043200332533300a3370e90000008a99980718040018a4c2a6601692011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300a3370e90010008991919192999809180a80109924c60120062a6601e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300d3370e900018079baa3013001149858c04c008c044004c02000c54cc02d2412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300800223253330073370e90000008991919192999807980900109924c64a66601866e1d20000011323253330123015002149854cc03d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140082a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a003153300c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60200026020004601c002600a0042a660109212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300500133001001480008888cccc01ccdc38008018069199980280299b8000448008c03c0040080088c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "86b6dfa08af9ee049b491c65c1bef5fa32b10e7cff10534836dc7927"
    },
    {
      "title": "placeholder_nft.placeholder_nft",
      "redeemer": {
        "title": "r",
        "schema": {
          "$ref": "#/definitions/aada~1nft~1NFTAction"
        }
      },
      "parameters": [
        {
          "title": "_",
          "schema": {
            "$ref": "#/definitions/Int"
          }
        }
      ],
      "compiledCode": "5904770100003232323232323232323232322322232533300a3232323232323232323232323233333232323232323222223253330233370e9000000899191929998131999805803002800a400426601200e466ebccc08cc094005200000314a0646464646464646e50004cdc58018009bae30300013027003375a605c002605c004605800260460026054002604200a26464666601400a00800290009bae302a001302100530210043001001222533302300214a026464a666042600600429444ccc01401400400cc09c00cc0940088888c8cdd79ba6001374c6604a66ec0dd48019ba80024bd6f7b63019911919299981199b874800800452f5bded8c02646eacc0a8004c084008c084004cc024008004cc0140112201000033001001222533302000214bd6f7b630099191919299981019b8f0050011003133025337606ea4004dd30011998038038018029bae302100337566042004604800660440046002002444a66603c004298103d87a8000132323232533301e3371e00a002266e95200033023374c00497ae01333007007003005375c603e0066eacc07c008c08800cc08000803802000c004dd7180e0009809a99980a99b8748000c050020402054cc0592412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001637566034002603400260320026030002602e0046eb0c054004c03000cc04c004c04c008c044004c020008526163200332533300a3370e9000000899192999808180980109924c64a66601a66e1d200000113232323253330153018002132498c94ccc048cdc3a400000226464a66603060360042930a9980aa49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603200260200082a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301000315330124901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a602c002602c004602800260160042a6601c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b001153300d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301100130080031533300a3370e900100089919299980818098010a4c2a6601a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602200260100062a660169212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163008002375a0026600200290001111199980399b8700100300d233330050053370000890011807800801001118031baa001230043754002ae695ce2ab9d5573caae7d5d02ba15745",
      "hash": "6c7855ea01f4b335f907cab50fb455782595740dc6b972198bda7aad"
    },
    {
      "title": "pool.pool",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1pool~1Datum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$aada~1types~1pool~1Redeemer"
        }
      },
      "parameters": [
        {
          "title": "delegator_nft_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "pool_config_scripthash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "59269c0100003232323232323232323232323223223222533300b3370e9000180500089919191919192999808991919191919191919191919191919191980a00411919191919191919299981529998150010a51153302b49011a636f72726563745f63726564656e7469616c203f2046616c73650014a02a666054002294454cc0ad240118636f72726563745f7175616e74697479203f2046616c73650014a02940cdc39999919111191919299981899b874800800452000132375a6070002605e004605e00264a66606066e1d200200114c103d87a800013232330080010053756606e002605c004605c0026603c0060046002002444a666060004298103d87a800013232323253330303371e00a002266e95200033035375000497ae01333007007003005375c60620066eb4c0c4008c0d000cc0c800801002c02520023375e002012605a00260480066eacc0ac004c0ac008c0a4004c080004ccccc8c8c88888c94ccc0a0cdc3a40000022646464a666056a666056666601200c00a002900109980f003919baf33028302a0014800000c52808008a998162490c61696b656e3a3a6572726f72001632323232323232372800266e2c00c004dd7181a80098160019bad3033001303300230310013028001302f001302600513232533302a333300800500400148004400454cc0ad2410c61696b656e3a3a6572726f720016375c605e002604c00a604c00844446466ebcdd30009ba63302c337606ea400cdd400125eb7bdb180cc88c8c94ccc0a8cdc3a4004002297adef6c601323756606200260500046050002660300040026600a008911000033001001222533302700214bd6f7b630099191919299981399b8f005001100313302c337606ea4004dd30011998038038018029bae3028003375660500046056006605200466038603c02a900000500200119ba548008cc090dd4800a5eb80dd71812000980da99980e99b8748000c070024402454cc0792412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001637566044002604400260420046eb0c07c004c07c004c078008dd6180e0009809801980d000980d001180c00098078038a4c2c44660060040026002002444a66602a004298103d87a800013232323253330153371e00a002266e9520003301a374c00497ae01333007007003005375c602c0066eacc058008c06400cc05c008c0040048894ccc04c00852809919299980898018010a511333005005001003301700330150023200332533300c3370e9000000899191919299980a180b80109924c64a66602266e1d2000001132325333017301a002132498c94ccc050cdc3a4000002264646464a666038603e0042649319299980c99b87480000044c8c94ccc07cc088008526153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260240042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f004153330113370e900100089919299980b980d0010a4c2a660289201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0082a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00315330114901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300f3370e900018089baa3015001149858c054008c04c004c02800c54cc0352412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0021333232222323232323232323232323232533301c32323232323232323232323232323232323232323232323232323232323232323232323253330405333040333025375666078607c66078607c0029001240040706eb8cc0f0c0f808d200e14a22a6608292016c7574696c732e76616c75655f6861735f6e667428636f6e6669675f696e7075742e6f75747075742e76616c75652c20706f6f6c5f636f6e6669675f736372697074686173682c20706172616d732e706f6f6c5f636f6e6669675f61737365746e616d6529203f2046616c73650014a026464a66608466e1d2000304100113232323232323232533304e305100213232323232323253330513370e90040030991919299982a299982a299982a0018a511533055491176e6f5f72656d61696e696e675f6c70203f2046616c73650014a02a6660a8004294454cc1552401166275726e745f706f6f6c5f6e6674203f2046616c73650014a0294054ccc1500045288a9982aa491b6275726e745f64656c656761746f725f6e6674203f2046616c73650014a02940cccc00c090134dd719827982881b240189000999980101180c9bae3304e30500354803120013370e66e00ccc0dcc008088dd719826982799826982781a2401490001bae3304d304f3304d304f03448029200202e480004c8c8c8c94ccc154cdc3a40000142646464646464a6660b6a6660b6004294454cc17124011f636865636b5f7769746864726177616c5f616d6f756e74203f2046616c73650014a02a6660b6002294454cc17124011e706f6f6c5f6368616e6765645f636f72726563746c79203f2046616c73650014a02940c0808894ccc1754ccc174cdc399b8001600700313370e90000010a5013370e00200c2940c94ccc168c8cdc419b82375a660ae60b200690001bad33057305900148008cdc11bad33057305900148000dd69982b982c801a4004601090000a99982d1980080118042400026600e0046010008294054ccc168cc004008c0212000133009002300800414a0446660b666e1ccdc11bad33057305900248000dd69982b982c800a400466e08dd69982b982c800a40006eb4cc15cc16400920024a0944c8cc014004dd69982a982b8242400c66e08004cdc01bad33054305604748008dd69982a182b023a400866607a60100506eb8cc14cc154cc14cc1540e9200a48000dd719829982a99829982a81d2401490011bad305c0013053019153330553370e90010050991919191919191919191919192999833183480109919192999832a999832a999832a9998328050a511533066491186c6f616e5f69735f706f736974697665203f2046616c73650014a02a6660ca002294454cc19924011f76616c69645f636f6c6c61746572616c5f657869737473203f2046616c73650014a0294054ccc1940245288a998332491976616c69645f706f6f6c5f6368616e6765203f2046616c73650014a0294054ccc1940205288a998332491c76616c69645f696e7465726573745f7261746573203f2046616c73650014a02940cdc3800a40046eb4c198008dd718320008a99831a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163067001330143011031001375c60ca00260b864a6660be66e1d2002305e001100115330604912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163305a305c3305a305c041480012000323300d001333323222232533306433011001301248283dcd84c8c8cc01c004008c04d20c0b802330060013301048383142120a0f736132323233008001301500332323300a0010035333067337106eb4cc18cc1940052000480004cdd2a4000660d86ea0cdc0a40006eb4cc18cc19400520023306c375066e052000375a660c660ca002900025eb8054ccc19ccdc4240006eb4cc18cc194005200013374a900019836198319832800a4004660d8660c660ca002900025eb8054cc1a12411744656e6f6d696e61746f722063616e6e6f742062652030001630144820225e8c8c8cc024004c0552080897a3300800133012482026fb808cdc0a410112f490507b9b1919ba548000cc1acdd419b81337046eb4cc188c19000d2000375a660c460c8002900119b82375a660c460c800290001bad33062306400348008cc1acdd419b82375a660c460c800690011bad330623064001480092f5c0602690507b9b19b8048302e00920e0c5083300f3370466e0000800d2080897a337000020044466e95200033066375066e00cdc11bad3305d305f00248000dd69982e982f800a400466e08dd69982e982f800a40006eb4cc174c17c009200233066375066e08dd69982e982f801240046eb4cc174c17c00520024bd701119ba548000cc194dd419b82375a660b860bc00490001bad3305c305e00148000cc194dd419b82375a660b860bc00490011bad3305c305e001480092f5c001007a07e60160066044444a6660bea6660be66e1ccdc080c004801899b8700900214a0266e1c005200014a066e212000005375a60c000260c000260be00260bc0046eb4c170004c14c06454ccc154cdc3a4008014264646464646464a6660b8a6660b8a6660b8006294454cc175240114616d6f756e745f636865636b203f2046616c73650014a02a6660b8004294454cc175240116696e7465726573745f636865636b203f2046616c73650014a0294054ccc1700045288a9982ea49187472616e736974696f6e5f636865636b203f2046616c73650014a02940c0848894ccc1794ccc178cdc399b803370002e01000c006266e1ccdc0a400001000429404cdc3a40000022940cdc42400000466e212000003375a60bc00260bc0046eb4c170004c14c0644c8c8c8c94ccc1654ccc1640085288a9982d2491c76616c69645f6d696e696d756d5f616d6f756e74203f2046616c73650014a02a6660b2002294454cc16924011876616c69645f7472616e736974696f6e203f2046616c73650014a02940c0788894ccc16d4ccc16ccdc3801802899b8700248000528099b870014800052819b88010001375a60b800260a603244a6660ac66e20005200013374a90001982d9ba83370290000011982d9ba8337029000000a5eb804cdd2a4000660b66ea0008cc16cdd4000a5eb8088cdc499b82375a660a260a600490001bad33051305300148008cdc11bad33051305300148000dd699828982980124004466e952000330583750002660b06ea120024bd701119b89337046eb4cc13cc1440052000375a6609e60a2004900119b82375a6609e60a200490001bad3304f3051001480088888c8cdd79ba6001374c660b466ec0dd48019ba80024bd6f7b630198041802802001919801000a45003001001222533305400214bd6f7b630099191919299982a19b8f0050011003133059337606ea4004dd30011998038038018029bae3055003375660aa00460b000660ac004446464a6660a066e1d200200114bd6f7b6300991bab3057001304e002304e00133037002001304a00f32533304b3370e9000000899191919191919191919191919191919299982f983100109924c609e0022a660b8921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630600013060002375a60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad30580013058002375a60ac00260ac0046eb4c150004c150008dd6982900098248010a998262492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163049001153304b4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304f001304f002375a609a002609a0046eb4c12c004c12c008dd6982480098200008a99821a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163047001303e3253330413370e9002182000088008a998212492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163303c303e3303c303e0014800920041533041491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400163302b014001304400130440023042001303902b322323232533303f3370e9000181f0008991919191919191929998259827001099191919191919192999827a999827a999827a9998278018a5115330504911b76616c69645f706f6f6c5f746f6b656e5f7478203f2046616c73650014a02a66609e00c294454cc14124011a76616c75655f6368616e67655f636865636b203f2046616c73650014a02940400452808010a50533304e3330133370201805e66e040280b4cdc08040158a51153304f4916f665f64656c7461286f75747075745f62616c616e6365202d2062616c616e63652c206f75747075745f6c656e745f6f7574202d206c656e745f6f75742c206f75747075745f746f74616c5f6c705f746f6b656e73202d20746f74616c5f6c705f746f6b656e7329203f2046616c73650014a066ebc0340c14ccc1314ccc1300085288a99826a4811c706f6f6c5f696e7075745f6e66745f636865636b203f2046616c73650014a02a666098002294454cc13524011d706f6f6c5f6f75747075745f6e66745f636865636b203f2046616c73650014a02940ccc0c0dd5998239824807a40040246eb8cc11cc1240b9200c33302f37566608c60906608c60900309001240040226eb8cc118c1200b5200c3370e66605e0026eb8cc114c11ccc114c11c0b1200248000dd71982298239982298238162400490011998179bab33045304700d48008dd71982298239982298238162400490001bae33045304733045304702c480092002333232323232323232223333007002001222325333056533305a00114a22940530103d87a800013374a90001982d9ba60014bd70199980300100091119299982c99b87001480005300103d87a800013374a90001982f1ba80014bd7019b8000200101b01830010012222253330570041003132323232333330090090033333300a007001002006005006005375c60b00066eb4c160008c16c014c164010c0040048888894ccc1580144cc15ccdd81ba9004375000697adef6c6013232323253330563375e6600a01000298103d879800013305b337606ea4020dd40038048a99982b19b8f0080011323253330583370e9000000899191982f99bb037520186ea000401cdd6982f800982b0010802982b00099980300400380109982d99bb037520026ea0008cccccc02802800c02001c018014dd7182b8019bad3057002305a006305800530010012222253330530041003132323232333330090090033333300a007001002006005006005375c60a80066eacc150008c15c014c154010c0040048888894ccc1480144cc14ccdd81ba9004374c00697adef6c6013232323253330523375e6600a01000298103d8798000133057337606ea4020dd30038048a99982919b8f0080011323253330543370e9000000899191982d99bb037520186e9800401cdd5982d80098290010802982900099980300400380109982b99bb037520026e98008cccccc02802800c02001c018014dd718298019bab305300230560063054005375666088608c66088608c02c90012400400266664646464444a66609c66e1c005200014bd6f7b6300991999802a5eb7bdb180010004054cccc0192f5bded8c0004002028600200244444a6660a40082660a666ec0dd48019ba60024bd6f7b630099191919299982919baf330050070014c103d8798000133057337606ea401cdd30030040a99982919b8f007001133057337606ea401cdd300300189982b99bb037520026e98008ccccc02402400c01c018014dd718298019bab3053002305600530540043001001222225333050004133051337606ea400cdd400125eb7bdb1804c8c8c8c94ccc140cdd799802803800a60103d8798000133055337606ea401cdd40030040a99982819b8f007001133055337606ea401cdd400300189982a99bb037520026ea0008ccccc02402400c01c018014dd718288019bad305100230540053052004375c66086608a66086608a0549001240006eb8cc10cc114cc10cc1140a9200248008cdc08028140a99824249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609800260980046eb4c128004c128008dd6982400098240011823000981e8008a9982024812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163044001303b32533303e3370e9002181e80088008a9981fa492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633039303b00148010c94ccc0f4c114c1100044c10c00454cc0f924010c61696b656e3a3a6572726f72001633323001001222533304300214bd7009919299982098018010998230011998028028008018999802802800801982380198228011bac33038303a33038303a02d48001200423375e660726076002900000311299981e19b9000200114c103d87980001533303c3371e0040022980103d87a800014c103d87b8000375c607e002606c64a66607266e1d200230380011001153303a4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633034303600148000c0f4004c0d0004c0ec004c0ec004c0c4004cc078024004c0dc004c0b94ccc0c0cdc3a4004605e01220122a6606292012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606a002606a002606800260660046eb0c0c4004c0c4008dd618178009813001981680098168011815800981100a9bad30290013029002375a604e002604e0046eb4c094004c094008c08c004c06802c526162223370e6660080060040029001111191919299981019b874800800452000132375a604e002603c004603c00264a66603e66e1d200200114c103d87a800013232330080010053756604c002603a004603a0026600c0060046002002444a66603e004298103d87a8000132323232533301f3371e00a002266e95200033024375000497ae01333007007003005375c60400066eb4c080008c08c00cc08400888cc00c008004c0040048894ccc0700085300103d87a8000132323232533301c3371e00a002266e95200033021374c00497ae01333007007003005375c603a0066eacc074008c08000cc07800888c8c074004c050c94ccc05ccdc3a4000602c00220022a660309212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300300223375e66026602a00290000011800800911299980c8010a60103d87a8000132325333017300300213374a90001980e00125eb804ccc01401400400cc07400cc06c008c8014cc88c94ccc050cdc3a400000226464646464646464a66604060460042649319299980e99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0c4c0d00084c8c8c8c8c8c926302100a302000b301f00c301e00d301d00e302100f153302e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606400260640046eb8c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004c0a0008c098004c098008c090004c06c02054cc0792412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b007153301d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980e801180d80098090010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200123253330133370e9000000899191919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603800260380046eb8c068004c04400854cc0512412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630110010043200333223253330133370e90000008991919191919299980e9810001099191924c64a66603866e1d20000011323253330223025002132498c03800454cc07d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163023001301a0041533301c3370e90010008a999810180d0020a4c2a6603a92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301a003300a00432533301a3370e900000089919299981018118010a4c2a6603a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6042002603000c2a66603466e1d20020011323232323232323253330263029002149854cc08d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604e002604e0046eb8c094004c094008dd6981180098118011bad302100130180061533301a3370e9002000899191919299981118128010a4c2a6603e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604600260460046eb4c084004c06001854ccc068cdc3a400c00226464a66604060460042930a9980ea49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6042002603000c2a66603466e1d20080011533301e3018006149854cc06d24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163018005153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e001301e002301c001301c002301a001301100215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100123253330123370e9000000899191919299980d180e80109924c64a66602e66e1d200000113232533301d3020002149854cc069241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603c002602a0082a660309212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500315330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60360026036004603200260200042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010001002232533300e3370e9000000899191919299980b180c8010991924c64a66602866e1d200000113232533301a301d002132498c94ccc05ccdc3a400000226464a66603a60400042649318070008a9980d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013015002153330173370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a8010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500115330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013012003153330143370e90010008a99980c18090018a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200230070031533013491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300c002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001232533300d3370e9000000899192999809980b0010a4c2a66020921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160042a66601a66e1d20020011323253330133016002149854cc0412401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160042a6601c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100230113009001375c0026eb8004cc0040052000222233330073370e00200601a4666600a00a66e000112002300f001002002230063754002460086ea80055cd2b9c5573aaae7955cfaba05742ae895d181",
      "hash": "88834836ab91473267fb97c3dabb451c13678fcc72c1088552caf428"
    },
    {
      "title": "pool.pool_mint",
      "redeemer": {
        "title": "r",
        "schema": {
          "$ref": "#/definitions/aada~1nft~1NFTRedeemer$Void"
        }
      },
      "parameters": [
        {
          "title": "delegator_nft_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "pool_config_scripthash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "59269c0100003232323232323232323232323223223222533300b3370e9000180500089919191919192999808991919191919191919191919191919191980a00411919191919191919299981529998150010a51153302b49011a636f72726563745f63726564656e7469616c203f2046616c73650014a02a666054002294454cc0ad240118636f72726563745f7175616e74697479203f2046616c73650014a02940cdc39999919111191919299981899b874800800452000132375a6070002605e004605e00264a66606066e1d200200114c103d87a800013232330080010053756606e002605c004605c0026603c0060046002002444a666060004298103d87a800013232323253330303371e00a002266e95200033035375000497ae01333007007003005375c60620066eb4c0c4008c0d000cc0c800801002c02520023375e002012605a00260480066eacc0ac004c0ac008c0a4004c080004ccccc8c8c88888c94ccc0a0cdc3a40000022646464a666056a666056666601200c00a002900109980f003919baf33028302a0014800000c52808008a998162490c61696b656e3a3a6572726f72001632323232323232372800266e2c00c004dd7181a80098160019bad3033001303300230310013028001302f001302600513232533302a333300800500400148004400454cc0ad2410c61696b656e3a3a6572726f720016375c605e002604c00a604c00844446466ebcdd30009ba63302c337606ea400cdd400125eb7bdb180cc88c8c94ccc0a8cdc3a4004002297adef6c601323756606200260500046050002660300040026600a008911000033001001222533302700214bd6f7b630099191919299981399b8f005001100313302c337606ea4004dd30011998038038018029bae3028003375660500046056006605200466038603c02a900000500200119ba548008cc090dd4800a5eb80dd71812000980da99980e99b8748000c070024402454cc0792412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001637566044002604400260420046eb0c07c004c07c004c078008dd6180e0009809801980d000980d001180c00098078038a4c2c44660060040026002002444a66602a004298103d87a800013232323253330153371e00a002266e9520003301a374c00497ae01333007007003005375c602c0066eacc058008c06400cc05c008c0040048894ccc04c00852809919299980898018010a511333005005001003301700330150023200332533300c3370e9000000899191919299980a180b80109924c64a66602266e1d2000001132325333017301a002132498c94ccc050cdc3a4000002264646464a666038603e0042649319299980c99b87480000044c8c94ccc07cc088008526153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260240042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f004153330113370e900100089919299980b980d0010a4c2a660289201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0082a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f00315330114901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016533300f3370e900018089baa3015001149858c054008c04c004c02800c54cc0352412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a0021333232222323232323232323232323232533301c32323232323232323232323232323232323232323232323232323232323232323232323253330405333040333025375666078607c66078607c0029001240040706eb8cc0f0c0f808d200e14a22a6608292016c7574696c732e76616c75655f6861735f6e667428636f6e6669675f696e7075742e6f75747075742e76616c75652c20706f6f6c5f636f6e6669675f736372697074686173682c20706172616d732e706f6f6c5f636f6e6669675f61737365746e616d6529203f2046616c73650014a026464a66608466e1d2000304100113232323232323232533304e305100213232323232323253330513370e90040030991919299982a299982a299982a0018a511533055491176e6f5f72656d61696e696e675f6c70203f2046616c73650014a02a6660a8004294454cc1552401166275726e745f706f6f6c5f6e6674203f2046616c73650014a0294054ccc1500045288a9982aa491b6275726e745f64656c656761746f725f6e6674203f2046616c73650014a02940cccc00c090134dd719827982881b240189000999980101180c9bae3304e30500354803120013370e66e00ccc0dcc008088dd719826982799826982781a2401490001bae3304d304f3304d304f03448029200202e480004c8c8c8c94ccc154cdc3a40000142646464646464a6660b6a6660b6004294454cc17124011f636865636b5f7769746864726177616c5f616d6f756e74203f2046616c73650014a02a6660b6002294454cc17124011e706f6f6c5f6368616e6765645f636f72726563746c79203f2046616c73650014a02940c0808894ccc1754ccc174cdc399b8001600700313370e90000010a5013370e00200c2940c94ccc168c8cdc419b82375a660ae60b200690001bad33057305900148008cdc11bad33057305900148000dd69982b982c801a4004601090000a99982d1980080118042400026600e0046010008294054ccc168cc004008c0212000133009002300800414a0446660b666e1ccdc11bad33057305900248000dd69982b982c800a400466e08dd69982b982c800a40006eb4cc15cc16400920024a0944c8cc014004dd69982a982b8242400c66e08004cdc01bad33054305604748008dd69982a182b023a400866607a60100506eb8cc14cc154cc14cc1540e9200a48000dd719829982a99829982a81d2401490011bad305c0013053019153330553370e90010050991919191919191919191919192999833183480109919192999832a999832a999832a9998328050a511533066491186c6f616e5f69735f706f736974697665203f2046616c73650014a02a6660ca002294454cc19924011f76616c69645f636f6c6c61746572616c5f657869737473203f2046616c73650014a0294054ccc1940245288a998332491976616c69645f706f6f6c5f6368616e6765203f2046616c73650014a0294054ccc1940205288a998332491c76616c69645f696e7465726573745f7261746573203f2046616c73650014a02940cdc3800a40046eb4c198008dd718320008a99831a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163067001330143011031001375c60ca00260b864a6660be66e1d2002305e001100115330604912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163305a305c3305a305c041480012000323300d001333323222232533306433011001301248283dcd84c8c8cc01c004008c04d20c0b802330060013301048383142120a0f736132323233008001301500332323300a0010035333067337106eb4cc18cc1940052000480004cdd2a4000660d86ea0cdc0a40006eb4cc18cc19400520023306c375066e052000375a660c660ca002900025eb8054ccc19ccdc4240006eb4cc18cc194005200013374a900019836198319832800a4004660d8660c660ca002900025eb8054cc1a12411744656e6f6d696e61746f722063616e6e6f742062652030001630144820225e8c8c8cc024004c0552080897a3300800133012482026fb808cdc0a410112f490507b9b1919ba548000cc1acdd419b81337046eb4cc188c19000d2000375a660c460c8002900119b82375a660c460c800290001bad33062306400348008cc1acdd419b82375a660c460c800690011bad330623064001480092f5c0602690507b9b19b8048302e00920e0c5083300f3370466e0000800d2080897a337000020044466e95200033066375066e00cdc11bad3305d305f00248000dd69982e982f800a400466e08dd69982e982f800a40006eb4cc174c17c009200233066375066e08dd69982e982f801240046eb4cc174c17c00520024bd701119ba548000cc194dd419b82375a660b860bc00490001bad3305c305e00148000cc194dd419b82375a660b860bc00490011bad3305c305e001480092f5c001007a07e60160066044444a6660bea6660be66e1ccdc080c004801899b8700900214a0266e1c005200014a066e212000005375a60c000260c000260be00260bc0046eb4c170004c14c06454ccc154cdc3a4008014264646464646464a6660b8a6660b8a6660b8006294454cc175240114616d6f756e745f636865636b203f2046616c73650014a02a6660b8004294454cc175240116696e7465726573745f636865636b203f2046616c73650014a0294054ccc1700045288a9982ea49187472616e736974696f6e5f636865636b203f2046616c73650014a02940c0848894ccc1794ccc178cdc399b803370002e01000c006266e1ccdc0a400001000429404cdc3a40000022940cdc42400000466e212000003375a60bc00260bc0046eb4c170004c14c0644c8c8c8c94ccc1654ccc1640085288a9982d2491c76616c69645f6d696e696d756d5f616d6f756e74203f2046616c73650014a02a6660b2002294454cc16924011876616c69645f7472616e736974696f6e203f2046616c73650014a02940c0788894ccc16d4ccc16ccdc3801802899b8700248000528099b870014800052819b88010001375a60b800260a603244a6660ac66e20005200013374a90001982d9ba83370290000011982d9ba8337029000000a5eb804cdd2a4000660b66ea0008cc16cdd4000a5eb8088cdc499b82375a660a260a600490001bad33051305300148008cdc11bad33051305300148000dd699828982980124004466e952000330583750002660b06ea120024bd701119b89337046eb4cc13cc1440052000375a6609e60a2004900119b82375a6609e60a200490001bad3304f3051001480088888c8cdd79ba6001374c660b466ec0dd48019ba80024bd6f7b630198041802802001919801000a45003001001222533305400214bd6f7b630099191919299982a19b8f0050011003133059337606ea4004dd30011998038038018029bae3055003375660aa00460b000660ac004446464a6660a066e1d200200114bd6f7b6300991bab3057001304e002304e00133037002001304a00f32533304b3370e9000000899191919191919191919191919191919299982f983100109924c609e0022a660b8921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630600013060002375a60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad30580013058002375a60ac00260ac0046eb4c150004c150008dd6982900098248010a998262492b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163049001153304b4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304f001304f002375a609a002609a0046eb4c12c004c12c008dd6982480098200008a99821a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163047001303e3253330413370e9002182000088008a998212492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163303c303e3303c303e0014800920041533041491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400163302b014001304400130440023042001303902b322323232533303f3370e9000181f0008991919191919191929998259827001099191919191919192999827a999827a999827a9998278018a5115330504911b76616c69645f706f6f6c5f746f6b656e5f7478203f2046616c73650014a02a66609e00c294454cc14124011a76616c75655f6368616e67655f636865636b203f2046616c73650014a02940400452808010a50533304e3330133370201805e66e040280b4cdc08040158a51153304f4916f665f64656c7461286f75747075745f62616c616e6365202d2062616c616e63652c206f75747075745f6c656e745f6f7574202d206c656e745f6f75742c206f75747075745f746f74616c5f6c705f746f6b656e73202d20746f74616c5f6c705f746f6b656e7329203f2046616c73650014a066ebc0340c14ccc1314ccc1300085288a99826a4811c706f6f6c5f696e7075745f6e66745f636865636b203f2046616c73650014a02a666098002294454cc13524011d706f6f6c5f6f75747075745f6e66745f636865636b203f2046616c73650014a02940ccc0c0dd5998239824807a40040246eb8cc11cc1240b9200c33302f37566608c60906608c60900309001240040226eb8cc118c1200b5200c3370e66605e0026eb8cc114c11ccc114c11c0b1200248000dd71982298239982298238162400490011998179bab33045304700d48008dd71982298239982298238162400490001bae33045304733045304702c480092002333232323232323232223333007002001222325333056533305a00114a22940530103d87a800013374a90001982d9ba60014bd70199980300100091119299982c99b87001480005300103d87a800013374a90001982f1ba80014bd7019b8000200101b01830010012222253330570041003132323232333330090090033333300a007001002006005006005375c60b00066eb4c160008c16c014c164010c0040048888894ccc1580144cc15ccdd81ba9004375000697adef6c6013232323253330563375e6600a01000298103d879800013305b337606ea4020dd40038048a99982b19b8f0080011323253330583370e9000000899191982f99bb037520186ea000401cdd6982f800982b0010802982b00099980300400380109982d99bb037520026ea0008cccccc02802800c02001c018014dd7182b8019bad3057002305a006305800530010012222253330530041003132323232333330090090033333300a007001002006005006005375c60a80066eacc150008c15c014c154010c0040048888894ccc1480144cc14ccdd81ba9004374c00697adef6c6013232323253330523375e6600a01000298103d8798000133057337606ea4020dd30038048a99982919b8f0080011323253330543370e9000000899191982d99bb037520186e9800401cdd5982d80098290010802982900099980300400380109982b99bb037520026e98008cccccc02802800c02001c018014dd718298019bab305300230560063054005375666088608c66088608c02c90012400400266664646464444a66609c66e1c005200014bd6f7b6300991999802a5eb7bdb180010004054cccc0192f5bded8c0004002028600200244444a6660a40082660a666ec0dd48019ba60024bd6f7b630099191919299982919baf330050070014c103d8798000133057337606ea401cdd30030040a99982919b8f007001133057337606ea401cdd300300189982b99bb037520026e98008ccccc02402400c01c018014dd718298019bab3053002305600530540043001001222225333050004133051337606ea400cdd400125eb7bdb1804c8c8c8c94ccc140cdd799802803800a60103d8798000133055337606ea401cdd40030040a99982819b8f007001133055337606ea401cdd400300189982a99bb037520026ea0008ccccc02402400c01c018014dd718288019bad305100230540053052004375c66086608a66086608a0549001240006eb8cc10cc114cc10cc1140a9200248008cdc08028140a99824249334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609800260980046eb4c128004c128008dd6982400098240011823000981e8008a9982024812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163044001303b32533303e3370e9002181e80088008a9981fa492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633039303b00148010c94ccc0f4c114c1100044c10c00454cc0f924010c61696b656e3a3a6572726f72001633323001001222533304300214bd7009919299982098018010998230011998028028008018999802802800801982380198228011bac33038303a33038303a02d48001200423375e660726076002900000311299981e19b9000200114c103d87980001533303c3371e0040022980103d87a800014c103d87b8000375c607e002606c64a66607266e1d200230380011001153303a4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633034303600148000c0f4004c0d0004c0ec004c0ec004c0c4004cc078024004c0dc004c0b94ccc0c0cdc3a4004605e01220122a6606292012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606a002606a002606800260660046eb0c0c4004c0c4008dd618178009813001981680098168011815800981100a9bad30290013029002375a604e002604e0046eb4c094004c094008c08c004c06802c526162223370e6660080060040029001111191919299981019b874800800452000132375a604e002603c004603c00264a66603e66e1d200200114c103d87a800013232330080010053756604c002603a004603a0026600c0060046002002444a66603e004298103d87a8000132323232533301f3371e00a002266e95200033024375000497ae01333007007003005375c60400066eb4c080008c08c00cc08400888cc00c008004c0040048894ccc0700085300103d87a8000132323232533301c3371e00a002266e95200033021374c00497ae01333007007003005375c603a0066eacc074008c08000cc07800888c8c074004c050c94ccc05ccdc3a4000602c00220022a660309212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300300223375e66026602a00290000011800800911299980c8010a60103d87a8000132325333017300300213374a90001980e00125eb804ccc01401400400cc07400cc06c008c8014cc88c94ccc050cdc3a400000226464646464646464a66604060460042649319299980e99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0c4c0d00084c8c8c8c8c8c926302100a302000b301f00c301e00d301d00e302100f153302e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606400260640046eb8c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004c0a0008c098004c098008c090004c06c02054cc0792412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b007153301d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604200260420046eb4c07c004c07c008dd6980e800980e801180d80098090010a9980aa4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200123253330133370e9000000899191919299980d980f0010a4c2a66030921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603800260380046eb8c068004c04400854cc0512412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630110010043200333223253330133370e90000008991919191919299980e9810001099191924c64a66603866e1d20000011323253330223025002132498c03800454cc07d241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163023001301a0041533301c3370e90010008a999810180d0020a4c2a6603a92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301d4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301a003300a00432533301a3370e900000089919299981018118010a4c2a6603a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6042002603000c2a66603466e1d20020011323232323232323253330263029002149854cc08d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604e002604e0046eb8c094004c094008dd6981180098118011bad302100130180061533301a3370e9002000899191919299981118128010a4c2a6603e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604600260460046eb4c084004c06001854ccc068cdc3a400c00226464a66604060460042930a9980ea49334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a6042002603000c2a66603466e1d20080011533301e3018006149854cc06d24011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301b4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163018005153301a4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e001301e002301c001301c002301a001301100215330144912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301100123253330123370e9000000899191919299980d180e80109924c64a66602e66e1d200000113232533301d3020002149854cc069241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603c002602a0082a660309212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500315330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60360026036004603200260200042a660269212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163010001002232533300e3370e9000000899191919299980b180c8010991924c64a66602866e1d200000113232533301a301d002132498c94ccc05ccdc3a400000226464a66603a60400042649318070008a9980d2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301e0013015002153330173370e90010008991919191919299981098120010a4c2a6603c9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a604400260440046eb4c080004c080008dd6980f000980a8010a9980c24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500115330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301b0013012003153330143370e90010008a99980c18090018a4c2a6602a92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330154912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200230070031533013491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301700130170023015001300c002153300f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c001232533300d3370e9000000899192999809980b0010a4c2a66020921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160042a66601a66e1d20020011323253330133016002149854cc0412401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602800260160042a6601c9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b00100230113009001375c0026eb8004cc0040052000222233330073370e00200601a4666600a00a66e000112002300f001002002230063754002460086ea80055cd2b9c5573aaae7955cfaba05742ae895d181",
      "hash": "88834836ab91473267fb97c3dabb451c13678fcc72c1088552caf428"
    },
    {
      "title": "pool_config.spend",
      "datum": {
        "title": "_datum",
        "schema": {
          "$ref": "#/definitions/aada~1types~1pool~1Config"
        }
      },
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/RedeemerWrapper$Void"
        }
      },
      "parameters": [
        {
          "title": "gov_nft",
          "schema": {
            "$ref": "#/definitions/aada~1types~1AssetClass"
          }
        },
        {
          "title": "_default_config",
          "schema": {
            "$ref": "#/definitions/aada~1types~1pool~1Config"
          }
        }
      ],
      "compiledCode": "5906d3010000323232323232323232323232222253330093370e900018040008a9998049919191919299980719b87480000044c8c8c8c8c8c8c8c8c8c8ccccc8c8c8c8c8c8c88888c94ccc090cdc3a40000022646464a66604e666601600c00a0029001099804803919baf3302430260014800000c528191919191919191b94001337160060026eb8c0c4004c0a000cdd6981780098178011816800981200098158009811002899191999805002802000a40026eb8c0ac004c088014c088010c0040048894ccc09000852809919299981118018010a511333005005001003302800330260022222323375e6e98004dd31981319bb037520066ea00092f5bded8c066446464a66604866e1d200200114bd6f7b6300991bab302b001302200230220013300900200133005004489000033001001222533302100214bd6f7b630099191919299981099b8f0050011003133026337606ea4004dd30011998038038018029bae302200337566044004604a00660460046002002444a66603e004298103d87a8000132323232533301f3371e00a002266e95200033024374c00497ae01333007007003005375c60400066eacc080008c08c00cc084008044018004024dd5980e800980e800980e000980d800980d0011bac3018001300f0073253330113370e900000089919299980b980d00109924c64a66602866e1d2000001132323232533301c301f002132498c94ccc064cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260240042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f00a153330113370e900100089919299980b980d0010a4c2a660289201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0142a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f009375c602a00260180042a66601c66e1d20040011324a260180042940c030004c048004c048008c040004c01c004526161322533300b3232323232323232323232323232323232323333332323232323232323232222223232533302e3370e9000000899191919191919191919299981c19b87480000044c8c8cc05803c8cdc78008011bae303f00130360021323301300f0013374a90001981e80125eb80c0d8004c0f0004c0cc004c0e8004c0c4004c0e0004c0e0004c0b8004c0d4004c0b0008528181600099807001919b8733322232323253330333370e90010008a40002646eb4c0e8004c0c4008c0c4004c94ccc0c8cdc3a4004002298103d87a800013232330120010053756607200260600046060002660200060046eaccc0a4c0accc0a4c0ac00520024800801801520023001001222533302c00214a0264646464a66605866ebc014004528899980380380180298168019bad302d0023030003302e0023001001222533302a00214a026464a666050600600429444ccc01401400400cc0b800cdd71816001180080091129998140010a6103d87a800013232323253330283371e00a002266e9520003302d375000497ae01333007007003005375c60520066eb4c0a4008c0b000cc0a8008c0040048894ccc098008530103d87a800013232323253330263371e00a002266e9520003302b374c00497ae01333007007003005375c604e0066eacc09c008c0a800cc0a0008c0040048894ccc090008530103d87a8000132325333022300300213374a90001981380125eb804ccc01401400400cc0a000cc09800804403c028010004dd61811000981100098108011bab301f001301f001301e001301d001301c001301b002375860320026032002601e002602c002601a00a6eb8c050004c050008dd7180900098048030a4c2c601e600e0026600200290001111199980399b8700100300d233330050053370000890011807800801001118031baa001230043754002ae695ce2ab9d5573caae7d5d02ba157441",
      "hash": "82200750931fb602c557fab6f2d8dbf5f384806b50a4ecd0cfaba222"
    },
    {
      "title": "pool_config.other",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "parameters": [
        {
          "title": "gov_nft",
          "schema": {
            "$ref": "#/definitions/aada~1types~1AssetClass"
          }
        },
        {
          "title": "_default_config",
          "schema": {
            "$ref": "#/definitions/aada~1types~1pool~1Config"
          }
        }
      ],
      "compiledCode": "5906d3010000323232323232323232323232222253330093370e900018040008a9998049919191919299980719b87480000044c8c8c8c8c8c8c8c8c8c8ccccc8c8c8c8c8c8c88888c94ccc090cdc3a40000022646464a66604e666601600c00a0029001099804803919baf3302430260014800000c528191919191919191b94001337160060026eb8c0c4004c0a000cdd6981780098178011816800981200098158009811002899191999805002802000a40026eb8c0ac004c088014c088010c0040048894ccc09000852809919299981118018010a511333005005001003302800330260022222323375e6e98004dd31981319bb037520066ea00092f5bded8c066446464a66604866e1d200200114bd6f7b6300991bab302b001302200230220013300900200133005004489000033001001222533302100214bd6f7b630099191919299981099b8f0050011003133026337606ea4004dd30011998038038018029bae302200337566044004604a00660460046002002444a66603e004298103d87a8000132323232533301f3371e00a002266e95200033024374c00497ae01333007007003005375c60400066eacc080008c08c00cc084008044018004024dd5980e800980e800980e000980d800980d0011bac3018001300f0073253330113370e900000089919299980b980d00109924c64a66602866e1d2000001132323232533301c301f002132498c94ccc064cdc3a400000226464a66603e60440042930a9980e2481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a004603600260240042a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200115330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163018001300f00a153330113370e900100089919299980b980d0010a4c2a660289201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6030002601e0142a660249212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300f009375c602a00260180042a66601c66e1d20040011324a260180042940c030004c048004c048008c040004c01c004526161322533300b3232323232323232323232323232323232323333332323232323232323232222223232533302e3370e9000000899191919191919191919299981c19b87480000044c8c8cc05803c8cdc78008011bae303f00130360021323301300f0013374a90001981e80125eb80c0d8004c0f0004c0cc004c0e8004c0c4004c0e0004c0e0004c0b8004c0d4004c0b0008528181600099807001919b8733322232323253330333370e90010008a40002646eb4c0e8004c0c4008c0c4004c94ccc0c8cdc3a4004002298103d87a800013232330120010053756607200260600046060002660200060046eaccc0a4c0accc0a4c0ac00520024800801801520023001001222533302c00214a0264646464a66605866ebc014004528899980380380180298168019bad302d0023030003302e0023001001222533302a00214a026464a666050600600429444ccc01401400400cc0b800cdd71816001180080091129998140010a6103d87a800013232323253330283371e00a002266e9520003302d375000497ae01333007007003005375c60520066eb4c0a4008c0b000cc0a8008c0040048894ccc098008530103d87a800013232323253330263371e00a002266e9520003302b374c00497ae01333007007003005375c604e0066eacc09c008c0a800cc0a0008c0040048894ccc090008530103d87a8000132325333022300300213374a90001981380125eb804ccc01401400400cc0a000cc09800804403c028010004dd61811000981100098108011bab301f001301f001301e001301d001301c001301b002375860320026032002601e002602c002601a00a6eb8c050004c050008dd7180900098048030a4c2c601e600e0026600200290001111199980399b8700100300d233330050053370000890011807800801001118031baa001230043754002ae695ce2ab9d5573caae7d5d02ba157441",
      "hash": "82200750931fb602c557fab6f2d8dbf5f384806b50a4ecd0cfaba222"
    },
    {
      "title": "pool_stake.pool_stake",
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/Data"
        }
      },
      "parameters": [
        {
          "title": "pool_nft_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "delegation_nft_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "pool_nft_name",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "5914390100003232323232323232323232323223223223222533300d3232323232323232323232323232323232323232323232323253330263370e9003004099191919299981519b87480000044c8c928981499299981619b8748000c0ac004400454cc0b524012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633300637586604e60526604e605203e90002400004604260500062a66605466e1d2004001132324a2605264a66605866e1d2000302b0011001153302d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633300637586604e60526604e605203e90002400004604260500062a66605466e1d2002001132324a2605264a66605866e1d2000302b0011001153302d4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633300637586604e60526604e605203e90002400004604260500062a6660549405288a99815a4810d46616c7365203f2046616c73650014a06050004a66605066e1d2000302a375403a2930b1816800981200b0a99981319b87480100204c8c8c94ccc0a4cdc3a4000605003c264646464a66606260680042646464646464646464a66606c66e1d2002303500113232533303c303f002153330383370e9000181b8008991919191919299982118228010a99981f19b8748018c0f40144c8c94ccc110c11c0084c8c8c8c8c94ccc114cdc3a4000002264a66608ca66608c006294454cc11d2401187769746864726177616c5f636865636b203f2046616c73650014a02a66608c002294454cc11d240114616d6f756e745f636865636b203f2046616c73650014a02940cdc480300909919191919192999825a9998258040a51153304c491187769746864726177616c5f636865636b203f2046616c73650014a02a666096002294454cc131240114616d6f756e745f636865636b203f2046616c73650014a02940c8c8cdc499b82375a66090609400290001bad33048304a00248008cdc11bad33048304a00248000dd6998241825000a40046004018646466e95200033051375066e08dd6998241825001240006eb4cc120c128005200033051375066e08dd6998241825001240046eb4cc120c12800520024bd701980319b814820225e92098754820225e8c0040088cdd2a40006609e6ea0004cc13cdd42400497ae053330483371e6eb8cc110c118cc110c118cc110c1180652000480092000488100101513233322232533304d3371000c6eb4cc124c12c00d20061533304d533304d3375e0086609260960029002099baf33049304b00148019300106d8799f4040ff0014a02660046eb4cc124c12c00d2004375a66092609600690010a999826a99982699baf00433049304b001480184cdd7998249825800a4008980106d8799f4040ff0014a02660046eb4cc124c12c00d2002375a66092609600690020a998272490f426164206f7261636c6520646174610016153304e491174f7261636c652064617461206973206578706972656420001633048304a00248000cc114c11ccc114c11c06920004800800488c8c8cdc19bad33049304b00148000dd6998249825800a40046600e00266e00cdc1001a41a01e66e0806520ca0f3370466e0806120ca0f00132323232323232323232320023253330533370e90000008991919191919191919192999830983200109924c64a6660bc66e1d200000113232323232323232533306a306d002132323232498c10c010c108014c104018c10001c54cc19d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016306b001306b00230690013069002306700130670023065001305c00a153305f4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016305c009153305e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60c400260c40046eb4c180004c180008dd6982f000982f0011bad305c001305c002305a0013051002153305449012b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630510013057001304e53330503370e9002182780088008a99828a4812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016305500130550013054001304a001305100130510013047333024037375c6608a608e00290001bae33045304700148008cc110c118cc110c118065200048020dd69826800982219299982399b8748008c118004400454cc1212412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633042304433042304433042304433042304403a48001200e480012000225333047337100029000099ba548000cc130dd419b8148000008cc130dd419b81480000052f5c0266e9520003304c3750004660986ea00052f5c0608603466ebc04406cc94ccc10ccdc3a400000226464a66609260980042649318028008a998232481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016304a0013041006153330433370e90010008a99982398208030a4c2a6608892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330444912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163041005300100623253330423370e90000008991919192999825182680109924c64a66608e66e1d200000113232533304d3050002149854cc1292401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c609c002608a0082a660909212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304500315330474901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60960026096004609200260800042a660869212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304000115330414901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608a002607800a2a6607e9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016153303f491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163043001304300230410013041002303f001303600115330394912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533039491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d001303400115330374912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016303b00130323253330353370e9000181a00088008a9981b2492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633323222330030020013001001222533303b00214c0103d87a8000132323232533303b3375e00a002266e952000330400024bd700999803803801802981e001981e001181f801981e80100b99ba548008cc0e40212f5c06eb4c0d8008c0d00054ccc0c4c0e4c0e00604c8c8cdd8181c801181c800981c8009bac3037018153303249010c61696b656e3a3a6572726f72001633223253330333370e900000089919191919191919299981f982100109924c64a66607866e1d2000001132323232323232323232323232323232533305030530021323232323232498c0ac028c0a802cc0a4030c0a0034c09c038c94ccc134cdc3a4000002264646464a6660aa60b0004264649319299982999b87480000044c8c94ccc164c1700084c9263253330563370e900000089919299982e182f80109924c60500022a660b29201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305d0013054002153330563370e90010008991919191919299983018318010a4c2a660ba9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a60c200260c20046eb4c17c004c17c008dd6982e800982a0010a9982ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016305400115330564901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305a0013051003153330533370e90010008a99982b98288018a4c2a660a892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330544912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016305100230210031533052491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016305600130560023054001304b010153304e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304b00f153304d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60a200260a20046eb8c13c004c13c008c134004c134008c12c004c12c008c124004c124008c11c004c11c008c114004c114008c10c004c0e802054cc0f52412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303a007153303c4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608000260800046eb4c0f8004c0f8008dd6981e000981e001181d00098188010a9981a24812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100123253330323370e900000089919299981c181d8010a4c2a6606a921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607200260600042a66606466e1d2002001132325333038303b002149854cc0d52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c607200260600042a660669212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630300010013035001302c32533302f3370e9002181700088008a998182492a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302a302c3302a302c00148009200433300801b027023153302e4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303200130320023030001302701e153302a4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016302e001302501723253330283370e9000000899191919299981818198010a4c2a6605a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c606200260620046eb8c0bc004c09800854cc0a52412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302600114a044464605e002604c64a66605266e1d200030280011001153302a4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300800323370e666444646464a66605e66e1d20020011480004c8dd6981b0009816801181680099299981719b8748008004530103d87a8000132323300c0010053756606a00260580046058002660140060046eaccc094c09ccc094c09c00520024800800c00920023001001222533302a00214c103d87a8000132323232533302a3371e00a002266e9520003302f375000497ae01333007007003005375c60560066eb4c0ac008c0b800cc0b0008c0040048894ccc0a0008530103d87a800013232323253330283371e00a002266e9520003302d374c00497ae01333007007003005375c60520066eacc0a4008c0b000cc0a8008c0040048894ccc098008530103d87a8000132325333024300300213374a90001981480125eb804ccc01401400400cc0a800cc0a0008c074038dd598118009811800981100098108011bab301f001301f001301e001301d001301c001301b001301a00237586030002601e006602c002602c004602800260160022930b1bae001375c0026eb8004cc0040052000222233330073370e00200601a4666600a00a66e000112002300f001002002230063754002460086ea80055cd2b9c5573aaae7955cfaba05742ae895d19",
      "hash": "0d8fbec185dda7a10c933ad18c02ce464086e045b35a31b4eab5c4a7"
    }
  ],
  "definitions": {
    "ByteArray": {
      "dataType": "bytes"
    },
    "Data": {
      "title": "Data",
      "description": "Any Plutus data."
    },
    "Int": {
      "dataType": "integer"
    },
    "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$aiken/transaction/OutputReference": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            }
          ]
        },
        {
          "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": []
        }
      ]
    },
    "RedeemerWrapper$Void": {
      "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/Void"
            }
          ]
        }
      ]
    },
    "RedeemerWrapper$aada/types/oracle/OracleSpendRedeemer": {
      "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/aada~1types~1oracle~1OracleSpendRedeemer"
            }
          ]
        }
      ]
    },
    "RedeemerWrapper$aada/types/pool/Redeemer": {
      "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/aada~1types~1pool~1Redeemer"
            }
          ]
        }
      ]
    },
    "RedeemerWrapper$collateral/CollateralRedeemer": {
      "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/collateral~1CollateralRedeemer"
            }
          ]
        }
      ]
    },
    "Void": {
      "title": "Unit",
      "description": "The nullary constructor.",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 0,
          "fields": []
        }
      ]
    },
    "aada/nft/NFTAction": {
      "title": "NFTAction",
      "anyOf": [
        {
          "title": "MintNFT",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            }
          ]
        },
        {
          "title": "BurnNFT",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aada/nft/NFTRedeemer$Void": {
      "title": "NFTRedeemer",
      "anyOf": [
        {
          "title": "NFTRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/aada~1nft~1NFTAction"
            },
            {
              "title": "inner",
              "$ref": "#/definitions/Void"
            }
          ]
        }
      ]
    },
    "aada/nft/NFTRedeemer$aada/types/oracle/OracleMintRedeemer": {
      "title": "NFTRedeemer",
      "anyOf": [
        {
          "title": "NFTRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/aada~1nft~1NFTAction"
            },
            {
              "title": "inner",
              "$ref": "#/definitions/aada~1types~1oracle~1OracleMintRedeemer"
            }
          ]
        }
      ]
    },
    "aada/types/AssetClass": {
      "title": "AssetClass",
      "anyOf": [
        {
          "title": "AssetClass",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "policy_id",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "asset_name",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aada/types/collateral/CollateralDatum": {
      "title": "CollateralDatum",
      "anyOf": [
        {
          "title": "CollateralDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "pool_nft_name",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "loan_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "loan_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "pool_config",
              "$ref": "#/definitions/aada~1types~1pool~1Config"
            },
            {
              "title": "collateral_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "collateral_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "interest_rate",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "deposit_time",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "borrower_tn",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "oracle_collateral_nft",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "oracle_loan_nft",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "tag",
              "$ref": "#/definitions/Option$aiken~1transaction~1OutputReference"
            }
          ]
        }
      ]
    },
    "aada/types/oracle/Datum": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "oracle_parameters",
              "$ref": "#/definitions/aada~1types~1oracle~1OracleParameters"
            },
            {
              "title": "token_a_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "token_b_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "expiration_time",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "maturity_time",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "aada/types/oracle/OracleActions": {
      "title": "OracleActions",
      "anyOf": [
        {
          "title": "OracleUpdate",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "aada/types/oracle/OracleMintRedeemer": {
      "title": "OracleMintRedeemer",
      "anyOf": [
        {
          "title": "OracleMintRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "request_expiration_time",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "aada/types/oracle/OracleParameters": {
      "title": "OracleParameters",
      "anyOf": [
        {
          "title": "OracleParameters",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "oracle_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "token_a_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "token_b_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            }
          ]
        }
      ]
    },
    "aada/types/oracle/OracleSpendRedeemer": {
      "title": "OracleSpendRedeemer",
      "anyOf": [
        {
          "title": "OracleSpendRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/aada~1types~1oracle~1OracleActions"
            }
          ]
        }
      ]
    },
    "aada/types/order/BorrowRequest": {
      "title": "BorrowRequest",
      "anyOf": [
        {
          "title": "BorrowRequest",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "expected_output",
              "$ref": "#/definitions/aiken~1transaction~1Output"
            },
            {
              "title": "borrower_nft_policy",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "min_collateral_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "max_interest_rate",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "collateral_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            }
          ]
        }
      ]
    },
    "aada/types/order/Datum$aada/types/order/BorrowRequest": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "recipient_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "batcher_fee_ada",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aada~1types~1order~1BorrowRequest"
            }
          ]
        }
      ]
    },
    "aada/types/order/Datum$aada/types/order/DepositRequest": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "recipient_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "batcher_fee_ada",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aada~1types~1order~1DepositRequest"
            }
          ]
        }
      ]
    },
    "aada/types/order/Datum$aada/types/order/LiquidateRequest": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "recipient_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "batcher_fee_ada",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aada~1types~1order~1LiquidateRequest"
            }
          ]
        }
      ]
    },
    "aada/types/order/Datum$aada/types/order/RepayRequest": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "recipient_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "batcher_fee_ada",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aada~1types~1order~1RepayRequest"
            }
          ]
        }
      ]
    },
    "aada/types/order/Datum$aada/types/order/WithdrawRequest": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "control_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "recipient_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "pool_nft_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "batcher_fee_ada",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aada~1types~1order~1WithdrawRequest"
            }
          ]
        }
      ]
    },
    "aada/types/order/DepositRequest": {
      "title": "DepositRequest",
      "anyOf": [
        {
          "title": "DepositRequest",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "deposit_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "partial_output",
              "$ref": "#/definitions/aada~1types~1order~1PartialOutput"
            }
          ]
        }
      ]
    },
    "aada/types/order/LiquidateRequest": {
      "title": "LiquidateRequest",
      "anyOf": [
        {
          "title": "LiquidateRequest",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "expected_output",
              "$ref": "#/definitions/aiken~1transaction~1Output"
            }
          ]
        }
      ]
    },
    "aada/types/order/PartialOutput": {
      "title": "PartialOutput",
      "anyOf": [
        {
          "title": "PartialOutput",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "value",
              "$ref": "#/definitions/aiken~1transaction~1value~1Value"
            },
            {
              "title": "datum",
              "$ref": "#/definitions/aiken~1transaction~1Datum"
            }
          ]
        }
      ]
    },
    "aada/types/order/ProcessBorrow": {
      "title": "ProcessBorrow",
      "anyOf": [
        {
          "title": "ProcessBorrow",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "borrower_token_name",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aada/types/order/Redeemer$Void": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Cancel",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Process",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "pool_oref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            },
            {
              "title": "additional_data",
              "$ref": "#/definitions/Void"
            }
          ]
        }
      ]
    },
    "aada/types/order/Redeemer$aada/types/order/ProcessBorrow": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Cancel",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Process",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "pool_oref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            },
            {
              "title": "additional_data",
              "$ref": "#/definitions/aada~1types~1order~1ProcessBorrow"
            }
          ]
        }
      ]
    },
    "aada/types/order/RepayRequest": {
      "title": "RepayRequest",
      "anyOf": [
        {
          "title": "RepayRequest",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "expected_output",
              "$ref": "#/definitions/aiken~1transaction~1Output"
            },
            {
              "title": "order",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            },
            {
              "title": "burn_asset",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            }
          ]
        }
      ]
    },
    "aada/types/order/WithdrawRequest": {
      "title": "WithdrawRequest",
      "anyOf": [
        {
          "title": "WithdrawRequest",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "lp_tokens_burn",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "partial_output",
              "$ref": "#/definitions/aada~1types~1order~1PartialOutput"
            },
            {
              "title": "receive_asset",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "lp_asset",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            }
          ]
        }
      ]
    },
    "aada/types/pool/Action": {
      "title": "Action",
      "anyOf": [
        {
          "title": "Transition",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "value_delta",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Borrow",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "loan_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "collateral_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "borrower_tn",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "interest_rate",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "CloseLoan",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "loan_amount",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "interest_amount",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "PayFee",
          "dataType": "constructor",
          "index": 3,
          "fields": [
            {
              "title": "fee",
              "$ref": "#/definitions/Int"
            }
          ]
        },
        {
          "title": "Destroy",
          "dataType": "constructor",
          "index": 4,
          "fields": []
        }
      ]
    },
    "aada/types/pool/Config": {
      "title": "Config",
      "anyOf": [
        {
          "title": "Config",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "liquidation_threshold",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "initial_collateral_ratio",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "pool_fee",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "loan_fee_details",
              "$ref": "#/definitions/aada~1types~1pool~1PlatformFeeDetails"
            }
          ]
        }
      ]
    },
    "aada/types/pool/Constants": {
      "title": "Constants",
      "anyOf": [
        {
          "title": "Constants",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "collateral_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "loan_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "collateral_cs",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "oracle_collateral_nft",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "oracle_loan_nft",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "lp_token",
              "$ref": "#/definitions/aada~1types~1AssetClass"
            },
            {
              "title": "pool_nft_name",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "pool_config_assetname",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aada/types/pool/Datum": {
      "title": "Datum",
      "anyOf": [
        {
          "title": "Datum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "params",
              "$ref": "#/definitions/aada~1types~1pool~1Constants"
            },
            {
              "title": "balance",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "lent_out",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "total_lp_tokens",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "aada/types/pool/PlatformFeeDetails": {
      "title": "PlatformFeeDetails",
      "anyOf": [
        {
          "title": "PlatformFeeDetails",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "tier_1_fee",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "tier_1_threshold",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "tier_2_fee",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "tier_2_threshold",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "tier_3_fee",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "tier_3_threshold",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "liquidation_fee",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "platform_fee_collector_address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            }
          ]
        }
      ]
    },
    "aada/types/pool/Redeemer": {
      "title": "Redeemer",
      "anyOf": [
        {
          "title": "Redeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/aada~1types~1pool~1Action"
            },
            {
              "title": "config_ref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            },
            {
              "title": "order",
              "$ref": "#/definitions/Option$aiken~1transaction~1OutputReference"
            }
          ]
        }
      ]
    },
    "aiken/dict/Dict$ByteArray_Int": {
      "title": "Dict",
      "description": "An opaque `Dict`. The type is opaque because the module maintains some\n invariant, namely: there's only one occurrence of a given key in the dictionary.\n\n Note that the `key` parameter is a phantom-type, and only present as a\n means of documentation. Keys can be any type, yet will need to comparable\n to use functions like `insert`.\n\n See for example:\n\n ```aiken\n pub type Value =\n   Dict<PolicyId, Dict<AssetName, Int>>\n ```",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/ByteArray"
      },
      "values": {
        "$ref": "#/definitions/Int"
      }
    },
    "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/Output": {
      "title": "Output",
      "description": "A transaction `Output`, with an address, a value and optional datums and script references.",
      "anyOf": [
        {
          "title": "Output",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "address",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "value",
              "$ref": "#/definitions/aiken~1transaction~1value~1Value"
            },
            {
              "title": "datum",
              "$ref": "#/definitions/aiken~1transaction~1Datum"
            },
            {
              "title": "reference_script",
              "$ref": "#/definitions/Option$ByteArray"
            }
          ]
        }
      ]
    },
    "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"
            }
          ]
        }
      ]
    },
    "aiken/transaction/value/Value": {
      "title": "Value",
      "description": "A multi-asset output `Value`. Contains tokens indexed by [PolicyId](#PolicyId) and [AssetName](#AssetName).\n\n This type maintain some invariants by construction; in particular, a `Value` will never contain a\n zero quantity of a particular token.",
      "dataType": "map",
      "keys": {
        "$ref": "#/definitions/ByteArray"
      },
      "values": {
        "$ref": "#/definitions/aiken~1dict~1Dict$ByteArray_Int"
      }
    },
    "collateral/CollateralMintRedeemer": {
      "title": "CollateralMintRedeemer",
      "anyOf": [
        {
          "title": "CollateralMintRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "oref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            }
          ]
        }
      ]
    },
    "collateral/CollateralRedeemer": {
      "title": "CollateralRedeemer",
      "anyOf": [
        {
          "title": "CollateralRedeemer",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "action",
              "$ref": "#/definitions/collateral~1CollateralRedeemerType"
            },
            {
              "title": "interest",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "collateral/CollateralRedeemerType": {
      "title": "CollateralRedeemerType",
      "anyOf": [
        {
          "title": "CollateralRepay",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "CollateralLiquidate",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "collateral/CollateralScriptParams": {
      "title": "CollateralScriptParams",
      "anyOf": [
        {
          "title": "CollateralScriptParams",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "pool_script_hash",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "liquidations_pkh",
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "liquidity_token/TokenRedeemer": {
      "title": "TokenRedeemer",
      "anyOf": [
        {
          "title": "TransitionPool",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "pool_oref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            }
          ]
        },
        {
          "title": "CreatePool",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        },
        {
          "title": "DestroyPool",
          "dataType": "constructor",
          "index": 2,
          "fields": [
            {
              "title": "pool_oref",
              "$ref": "#/definitions/aiken~1transaction~1OutputReference"
            }
          ]
        }
      ]
    }
  }
}