From 7fd0b1f48279610ad0a00d9debe70b93b86830f7 Mon Sep 17 00:00:00 2001 From: Brian W Bush Date: Fri, 22 Dec 2023 13:21:29 -0700 Subject: [PATCH] PLT-9055 Published new `asData` validators. --- flake.lock | 6 +- marlowe-cli/tests/Spec/Analysis.hs | 16 +- .../20231222_132417_brian.bush_PLT_9055.md | 3 + .../Marlowe/Runtime/Core/ScriptRegistry.hs | 175 +++++++++++++++++- marlowe/scripts/marlowe-rolepayout.plutus | 2 +- marlowe/scripts/marlowe-semantics.plutus | 2 +- marlowe/scripts/open-role.plutus | 2 +- nix/marlowe-cardano/scripts.nix | 1 - 8 files changed, 190 insertions(+), 17 deletions(-) create mode 100644 marlowe-runtime/changelog.d/20231222_132417_brian.bush_PLT_9055.md diff --git a/flake.lock b/flake.lock index b1180037fc..fe76526b3b 100644 --- a/flake.lock +++ b/flake.lock @@ -2111,11 +2111,11 @@ ] }, "locked": { - "lastModified": 1701119003, - "narHash": "sha256-vFrSQHu8UO8SRU1BUsFcIAhOJJT7geES2hvPfhnjzWI=", + "lastModified": 1703278640, + "narHash": "sha256-NBkdhcslPcif8zqpRWvSTM64DLdyJvE8HRoBMxjX9TI=", "owner": "input-output-hk", "repo": "marlowe-plutus", - "rev": "09b47a65d8f63c69dc96cee84ff786ba6fea792d", + "rev": "2156e3bc0819b93f6ef8774f0be9022c0d55a34a", "type": "github" }, "original": { diff --git a/marlowe-cli/tests/Spec/Analysis.hs b/marlowe-cli/tests/Spec/Analysis.hs index 35163b5e47..d0688c106a 100644 --- a/marlowe-cli/tests/Spec/Analysis.hs +++ b/marlowe-cli/tests/Spec/Analysis.hs @@ -194,17 +194,17 @@ expected False = A..= A.object [ "Memory" A..= A.object - [ "Actual" A..= (12394112 :: Integer) + [ "Actual" A..= (11408534 :: Integer) , "Invalid" A..= False , "Maximum" A..= (14000000 :: Integer) - , "Percentage" A..= (100 * 12394112 / 14000000 :: Double) + , "Percentage" A..= (100 * 11408534 / 14000000 :: Double) ] , "Steps" A..= A.object - [ "Actual" A..= (3230247457 :: Integer) + [ "Actual" A..= (3029993662 :: Integer) , "Invalid" A..= False , "Maximum" A..= (10000000000 :: Integer) - , "Percentage" A..= (100 * 3230247457 / 10000000000 :: Double) + , "Percentage" A..= (100 * 3029993662 / 10000000000 :: Double) ] ] ] @@ -214,17 +214,17 @@ expected True = A..= A.object [ "Memory" A..= A.object - [ "Actual" A..= (13563828 :: Integer) + [ "Actual" A..= (12252358 :: Integer) , "Invalid" A..= False , "Maximum" A..= (14000000 :: Integer) - , "Percentage" A..= (100 * 13563828 / 14000000 :: Double) + , "Percentage" A..= (100 * 12252358 / 14000000 :: Double) ] , "Steps" A..= A.object - [ "Actual" A..= (3628849926 :: Integer) + [ "Actual" A..= (3309056741 :: Integer) , "Invalid" A..= False , "Maximum" A..= (10000000000 :: Integer) - , "Percentage" A..= (100 * 3628849926 / 10000000000 :: Double) + , "Percentage" A..= (100 * 3309056741 / 10000000000 :: Double) ] ] ] diff --git a/marlowe-runtime/changelog.d/20231222_132417_brian.bush_PLT_9055.md b/marlowe-runtime/changelog.d/20231222_132417_brian.bush_PLT_9055.md new file mode 100644 index 0000000000..11905460cc --- /dev/null +++ b/marlowe-runtime/changelog.d/20231222_132417_brian.bush_PLT_9055.md @@ -0,0 +1,3 @@ +### Changed + +- Updated Marlowe Plutus scripts to use optmized `asData` for `Case`. diff --git a/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs b/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs index 7a4e66f7df..812727d6c6 100644 --- a/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs +++ b/marlowe-runtime/src/Language/Marlowe/Runtime/Core/ScriptRegistry.hs @@ -74,6 +74,177 @@ previewNetworkId = Testnet $ NetworkMagic 2 -- APPROVED CHANGES TO MARLOWE'S SCRIPT REGISTRY. THIS VALUE HAS -- IMPLICATIONS FOR VERSIONING, SECURITY, AND CONTRACT DISCOVERY. -- +-- The scripts resulting from using `PlutusTx.asData` for `Case`. +caseAsDataV1Scripts :: MarloweScripts +caseAsDataV1Scripts = + MarloweScripts + { marloweScript = "377325ad84a55ba0282d844dff2d5f0f18c33fd4a28a0a9d73c6f60d" + , payoutScript = "fcb8885eb5e4f9a5cfca3c75e8c7280e482af32dcdf2d13e47d05d27" + , helperScripts = + Map.fromList + [ + ( OpenRoleScript + , "2722e12a53dfb4fe3742b8a2c0534bd16b0b5ae492a3d76554bbe8a5" + ) + ] + , marloweScriptUTxOs = + Map.fromList + [ + ( mainnetNetworkId + , ReferenceScriptUtxo + { txOutRef = "825c0e18d0acd3cc4e388c864b774478de3749e37814b721188f6647a2e0ea83#1" + , txOut = + Chain.TransactionOutput + { address = + fromJust $ + fromBech32 "addr1z9l4w7djneh0kss4drg2php6ynflsvmal7x3w5nrc95uvhz7e4q926apsvcd6kn33cpx95k8jsmrj7v0k62rczvz8urqrl2z0l" + , assets = Assets 48_776_270 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1MarloweScript + } + ) + , + ( preprodNetworkId + , ReferenceScriptUtxo + { txOutRef = "9679fc6b0bb0d3d5e1fb09a4be589707553caefe6028bd726c8421066ec6bff7#1" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vrcmu4u3quhxgansnxvfuzn5a9u6khvff4kggy35f5xl2qggkt5p7" + , assets = Assets 48_655_590 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1MarloweScript + } + ) + , + ( previewNetworkId + , ReferenceScriptUtxo + { txOutRef = "63e44f2ab9304e6d16aeceda07493d5ceb88e7f2d5e147dd208ef5edf3fbb436#1" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vrcmu4u3quhxgansnxvfuzn5a9u6khvff4kggy35f5xl2qggkt5p7" + , assets = Assets 48_655_590 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1MarloweScript + } + ) + ] + , payoutScriptUTxOs = + Map.fromList + [ + ( mainnetNetworkId + , ReferenceScriptUtxo + { txOutRef = "825c0e18d0acd3cc4e388c864b774478de3749e37814b721188f6647a2e0ea83#2" + , txOut = + Chain.TransactionOutput + { address = + fromJust $ + fromBech32 "addr1z9l4w7djneh0kss4drg2php6ynflsvmal7x3w5nrc95uvhz7e4q926apsvcd6kn33cpx95k8jsmrj7v0k62rczvz8urqrl2z0l" + , assets = Assets 11_658_550 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1PayoutScript + } + ) + , + ( preprodNetworkId + , ReferenceScriptUtxo + { txOutRef = "9679fc6b0bb0d3d5e1fb09a4be589707553caefe6028bd726c8421066ec6bff7#2" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vq0ph6lw0n2xdqgcy8qct5xpkhyy3cqkn8hjmctkq8zszucser4wx" + , assets = Assets 11_537_870 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1PayoutScript + } + ) + , + ( previewNetworkId + , ReferenceScriptUtxo + { txOutRef = "63e44f2ab9304e6d16aeceda07493d5ceb88e7f2d5e147dd208ef5edf3fbb436#2" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vq0ph6lw0n2xdqgcy8qct5xpkhyy3cqkn8hjmctkq8zszucser4wx" + , assets = Assets 11_537_870 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1PayoutScript + } + ) + ] + , helperScriptUTxOs = + Map.fromList + [ + ( (OpenRoleScript, mainnetNetworkId) + , ReferenceScriptUtxo + { txOutRef = "049ab6eed0c8fb79cb6dde873af45c7bf32e25a7d66bd7a384c57fd705170ee9#1" + , txOut = + Chain.TransactionOutput + { address = + fromJust $ + fromBech32 "addr1z9l4w7djneh0kss4drg2php6ynflsvmal7x3w5nrc95uvhz7e4q926apsvcd6kn33cpx95k8jsmrj7v0k62rczvz8urqrl2z0l" + , assets = Assets 17_765_820 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1OpenRoleScript + } + ) + , + ( (OpenRoleScript, preprodNetworkId) + , ReferenceScriptUtxo + { txOutRef = "e3f2fc0da8eed52092eb909848365ab534177aea8321432f50e553848a7911c4#1" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vpheun9n9qjlgtkv7ldvl56wagju53ykr5ps49h80enx7gq6yq5en" + , assets = Assets 17_645_140 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1OpenRoleScript + } + ) + , + ( (OpenRoleScript, previewNetworkId) + , ReferenceScriptUtxo + { txOutRef = "4d1143205fd42dbc1d0c52a128bd6bad30d72ba49e15f80eb6b5bee803ca2cdc#1" + , txOut = + Chain.TransactionOutput + { address = fromJust $ fromBech32 "addr_test1vpheun9n9qjlgtkv7ldvl56wagju53ykr5ps49h80enx7gq6yq5en" + , assets = Assets 17_645_140 mempty + , datum = Nothing + , datumHash = Nothing + } + , script = caseAsDataV1OpenRoleScript + } + ) + ] + } + +caseAsDataV1MarloweScript :: PlutusScript PlutusScriptV2 +caseAsDataV1MarloweScript = + readHex + "592b47592b44010000332332232323233223232323232332232323232323232323232323232323233223232323232323232323232323232323232323232323232323232323322332232323232323232323232323232323232332232332232323232323232323232323232323232323232323232323232322222533532323235323333573466e1d200035573a0024646464646466644424666002008006004646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae700f00ec1a0dd5002191999ab9a3370e90001aab9d00123232323232323233330743330122323333573466e1d200035573a0024646464660fe6080004608e0026ae84d5d10011aba100135573c004464c66ae701181141c8dd5000bad00633301203975a008666024080eb4008dd68009aba1357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c03c03b068375400460380026ae84d5d10011aba1001357440046ae84004d55cf001119319ab9c035034061375400c4446a0084646464646464646464646464464646a0044466aa666ae68cdc4000801098071909118008019983f00100089a80a11112999ab9a3371000a002260246424466004008006661040200c00a2646644244660020080066610602a00200c66660fc00a008006a00226a0304444a666ae68cdc480500088008805119a800913131119aa9999a99999998150450080100080a80283f83f8982d0911110028982d0911110018982d09111100211111190a99a80308008a999999a80d91083089a80e1111299a802083191080391108311110831111110832111083109119998008030028020019299999a8008b0b0b1099a800913130b111129991a9998132481016900500101b15335300e302c300d01f153323530115001153355323233333350052215003153353015501410930110920122215004222150042222215006222150041533553553353306f23500122223308f01501e00450131622153350011002221622223355333500210950121096012153353233302f0950100500150061533553353301d3374a900019aba03374a900019aba037520466ec420c04cd5d01a805111119ba548000cd5d01ba6307f0043357406e98c2080400ccd5d01ba63085010023357406ea0004dd88438099aba0303a009376210602040426612c02002004212c0226611e0200aa03c212c02212c02212c02212a0226660509201016f0050010051091011323233306c073002330743074233704900080080098352801199835038a8011834181698070100a99aa99aa99aa8008848809108490088488089aa80c911000884880884800884800899198490091299a8008801910999aa833910011a801111119a80190470091a801912999ab9a337120089000084800899a84780998488080199a84780998488080119a84780998488080080204800848008480098020008029aa8311100088478088478089aa80b9111a801911a8009111001884700980180aa99a9a9a807111111111111002911a801112999a801109a802112999a80110984400998410099b81337009001002180880299b8033702002900118088010815081508130813108008b18420091299a800883c91099a83d19a80110911800801911929a80991111111111119a98068011099091199801009809001981c0008b18450091299a8008a842809109a801112999ab9a3371e00400e26114020022600c006600800261060244a66a002210802442a66aa666a0044426a004446012002444426012006210c0226008002210a02466a00244a6a0024466a0044646a02244444444444466a601a00821280221260261100244a66a002211002442a666ae68cdc78028010845808980200090843009299a99980d11199ab9a3371200400210a021080266a0ec660f001e66a0ec660f0002900103b83b9a806111111111111183200608418088410098408091299a800884100910a9a8011119a8011119aa99a99805982f19832919840809a8009111002001280480188440088438089804002884380919aa99a998440091299a800884400910a9a801111119aa999a801084700908478090a99a998098020058a99aa99a9980b19983aba97526610a02038014032426611e02002004211e022661100200a6611202611802046a11402211e02211e02211e022601000aa010210e02210c022600e008210c0226a01044444444444401460fe44a66a002210002442a66a6464a66a660f8004002210602210802a0146a00444440082600800221020244a6466a660280e80042660020060044426a0044464644a66a00c2666ae68cdc4180100500084300843809109980500600598430091299a8008a40004426a00444a666ae68cdc7801004898038008980300198428091299a8008a40004426a00444a666ae68cdc78010038800898030019119980c11199ab9a337100040021040210602004002466a0029001240004244600400646446a002444444444444601c00460f844a66a0022a0ee4426a00444a666ae68cdd78008038983e1a802110010980300189aa80091100109aa9a802911a80111111111111119a9999a8069011101110111198440091299a8008a84180910a9a801111a801111a8049119aa999ab9a3371e0080042666ae68cdc3801800848808480088480089846008040980500380690999981091a801111a80091111a8021119a80110480091984780800805284080843809a8081111111111110060b111a801111a8009111199825004002003991999ab9a3370e90001aab9d00123232323232323233221233001003002323333573466e1d200035573a002464646464646464646464646464646464646464646464646666666646664664664444444444442466666666666600201a01801601401201000e00c00a008006004660980020326609800202e4646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c090008c01c004d5d09aba2002357420026aae780088c98cd5ce02c82c042809baa0013304b0010142323333573466e1d200035573a0024646464646464646666444424666600200a00800600460ae00c66605ceb9402c010c8c8cccd5cd19b87480100048c84888c008010d5d09aab9e00323333573466e1d200200223212223001004375c6ae84d55cf00211999ab9a3370e900000190911001919319ab9c0640630900108f0108e0135573a0026ea8008cc161d70009aba1357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c058057084013754002666048eb94004044ccc091d72800807899811bae75a6609203601866604609ceb4028c8cccd5cd19b8748000d55ce80091919191919910919800801801191999ab9a3370e90001aab9d0012323232332212330010030023300675a00460b60026ae84d5d10011aba100135573c004464c66ae7017016c22004dd5001991999ab9a3370e90001aab9d0012323232332212330010030023300675a00460b60026ae84d5d10011aba100135573c004464c66ae7017016c22004dd50011119191999ab9a3370e90020009091100091999ab9a3370e90010011190911180180218031aba135573c00846666ae68cdc3a400000642444004464c66ae7018017c2300422c0422804d55ce8009baa001357426ae88008d5d08009aab9e00223263357380ac0aa104026ea8020cc125d700319981180d01b802199811bae037002301d001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e002232633573807a0780d26ea8018c0040148c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053039357426aae780108cccd5cd19b874800800c8c848888c004014c020d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c04104006d06c06b06a35573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c0f8008dd70009aba1357440046ae84004d55cf00391999ab9a3370e9001003119091111111803804181e1aba135573c01046666ae68cdc3a400000e46424444444600a010607a6ae84d55cf004919319ab9c04304206f06e06d06c06b06a06935573a0026ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e00223263357380760740ce6ea80048c8cccd5cd19b8748000d55ce80091bae357426aae780088c98cd5ce01d01c8331baa001357426ae88008d5d08009aab9e00223263357380680660c06ea800c88c88c008dd5800983a911999aab9f001206b23233506b3306d300635573a002600a6aae78004c010d5d10019aba10020343302523232332333573466e1d200200223232323322122330010040033005002375c0026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464244600400660066ae84d55cf002919319ab9c036035062232323333573466e1d20040012122200123333573466e1d2002002232323233221222330030050043031002375a0026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008606e00c606e008607c0046eb4004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780148c98cd5ce01c81c0328320319aab9d00137540020c06aae74004dd500080108178b1836911299a80088011109a801111980399980400100300080198361111299a80088011109a801112999ab9a3370e90000008999804003803001899980400399a83319981e8038010008030019111a8009111299a99299a99980483798050028038839099ab9c0010713372c92101760000715335325335300b005107213357380020e266e592410162000071533235325335335002223500222350032253353307000400213306b0030011078006107313357380020e466e5924010265610000815335325335335002069005107313357380020e466e592401026563000081325335335002071004107313357380020e466e5924010265620000810711322322300230040013074225335001107522153353233079225335001107922153353005002107c130040010023005002107613004001307222533500110672213350683500222002300400110701070107023222300333047002001306b225335001106c2232135003223003001306f2253350011300600322135002223335001253353300c480000044c01c01041d0894cd4cc0340080044c02001441d494cd4cc03000520001300700410743069225335001105e221350022233304704e35002223500122335065330670023350653306700100506606630060033068225335001106922153500222333573466e240052000106c130060033067222225323350042153350031330620010042215335006130044984cc19000c1b854cd400858884c00d262533500213566221350022235001222235004223350022333301101000f00e00a2533530100011533500f21613333011010307200b00e00a1333301101000f07600a505f3065225335001105a22133505b33500222200320013004001505d505c306222222222533533333302906800600500405d05d2223232221533500a13332221222233333001007006005009008533500e107010075004300300822153333335003221021101f222102222210222222210242221533353333015012007005003222133333330170780150020010073253350041304600122221323307f225335001100322133507500230040010063350701222223333004009008007006071500c300b0101122220031022306e225335001100422133506400230040011323306e22533500110032213350640023004001006303700211222200430612222253350011122200122132323350062225335333301c00b00a00333301300f00d007221330060020011500525335333301a00900800133301100d00b0052213300400200115003225335007222335333016008225333573466e3c0100044c1a800c541a4941a084ccc074018014004406c8cd4ccccc04c03803001888c1a00049419884ccc06c01000c00440644cccc01c018014010004c18088c8c8cccd5cd19b87480280048c8c8c8cc884888888cc01802001cc048008c020004d5d09aba2002357420026aae7800c8cccd5cd19b87480200088c8c8c8c8c8ccc8884888888ccc00c02402001cc098010cd4058054008c02c004d5d09aba2002357420026ae88008d5d08009aab9e00423333573466e1d20060032323232323233322212222223330010090080073301f00d004375a00460180026ae84d5d10011aba1001357440046ae84004d55cf00291999ab9a3370e9002002119191919191999110911111199802004804003980b802180680118068009aba1357440046ae84004d5d10011aba100135573c00c46666ae68cdc3a400400a4646464646464646464666664444424444446666600401601401201000e604e01064646666ae68cdc3a40040024609060546ae84d55cf00191999ab9a3370e9000001119091180100198159aba135573c008464c66ae700d00cc18017cd55ce8009baa006302e00433501d01c0023012001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026aae7801c8cccd5cd19b874800001880e88c98cd5ce01401382a0298290288280279aab9d0013754002400260bc44a666666a00244266e95200a335740600a00466ae80c010004dd8826899ba548000dd8825911099ba548010cd5d0180300199aba03005002335740600a0026ec41388884cdd2a401066ae80c13400ccd5d019a80380300119aba03005001376209c44444266e952002335740609a00a66ae80cd40108cdd2a400066ae80c138004dd8828919ba548008cd5d018270009bb1051335740609400666ae80cd4024020008cd5d018038009bb105022213374a900319aba0374e601000666ae80dd400119aba03005001376209c60ba44a66666666666a00244266e952000335740600800466ae80c010004dd88261099ba548018cd5d018238009bb104b13374a900a1bb104a213374a900219aba03003001376209644266e952002335740600800466ae80c010004dd8826099ba548048dd882511099ba548040cd5d019a80280200119aba0335005004001376209844266e95200833574066a00a00800466ae80cd4014010004dd882611099ba548028cd5d019a80280200119aba0335005004001376209844266e95200e33574066a00a00800466ae80cd4014010004dd882611099ba548030cd5d019a80280200119aba03350050040013762098660b844244a666666666666a00244266e95200633574066a600c2400200800466ae80cd4c01848004010004dd882691099ba548000cd5d0182500119aba03047001376209a4266e95200e33574060900026ec41308884cdd2a402c66ae80c01400ccd5d019a98038900080280119aba0335300712001005001376209c4266e9520023357406ea0004dd882611099ba548030cd5d019a98030900080200119aba0335300612001004001376209a44266e95200a33574066a600c2400200800466ae80cd4c01848004010004dd88269099ba548010cd5d019a9802890008018009bb104c2213374a900419aba033530061200100400233574066a600c240020080026ec41344cdd2a40246ec412c4cdd2a40206ec412c84cdd2a402866ae80c12c004dd882609000982d91299a80089bb104822133574000460080024446666600800600400244004466600c0044400446acc4444464a666ae68cdc3a40006aae740044c8cc010c024d5d080098031aba1357440026aae780044c00926375400644464a666ae68cdc3a40046aae740044c8cc010c018d5d08009bae357426ae88004d55cf0008980124c6ea800c8c8c8cccd5cd19b87480100048c84888c004010c014d5d09aab9e00323333573466e1d2002002232323233221222330030050043013002330122323333573466e1d200035573a0024646464664424660020060046eb4008dd68009aba1357440046ae84004d55cf001119319ab9c02001f04c37540020026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008603200c6032008604000466a01e01c0026ae84d5d10011aba1001357440046ae84004d5d10011aba100135573c00a464c66ae7006c06811c118114d55ce8009baa00130562232323333573466e1d2014001212222222222200923333573466e1d2012002212222222222200623333573466e1d2010003232323233221222222222223300500d00c33500b00a00233500b00a001357426ae88008d5d08009aab9e00523333573466e1d200e004232323233221222222222223300200d00c33500c00b00233500c00b001357426ae88008d5d08009aab9e00623333573466e1d200c005232323233221222222222223300100d00c33500d00c00233500d00c001357426ae88008d5d08009aab9e00723333573466e1d200a006232323233221222222222223300300d00c33500e00d00233500e00d001357426ae88008d5d08009aab9e00823333573466e1d2008007232323233221222222222223300400d00c33500f00e00233500f00e001357426ae88008d5d08009aab9e00923333573466e1d2006008232122222222222300a00c3016357426aae780288cccd5cd19b87480100248c8488888888888c020030c034d5d09aab9e00b23333573466e1d200200a232323233221222222222223300700d00c30110023011001357426ae88008d5d08009aab9e00c23333573466e1d200000b232323233221222222222223300b00d00c30120023012001357426ae88008d5d08009aab9e00d232633573804604409e09c09a09809609409209008e08c08a6aae74004dd50009982a9109119191999ab9a3370e900b000919191919191999110911111111111199804807807006980500219a98060900080500119a9806090008050009aba1357440046ae84004d5d10011aba100135573c00646666ae68cdc3a40280044642444444444444600201a60306ae84d55cf00211999ab9a3370e90090019091111111111100191999ab9a3370e90080021091111111111100111999ab9a3370e900700291909111111111111805006980a1aba135573c00e46666ae68cdc3a401800c4646464664424444444444446600e01c01a66a601e2400201a00466a601e2400201a0026ae84d5d10011aba100135573c01046666ae68cdc3a401400e4646464664424444444444446600c01c01a66a60202400201c00466a60202400201c0026ae84d5d10011aba100135573c01246666ae68cdc3a40100104646464664424444444444446600801c01a66a60222400201e00466a60222400201e0026ae84d5d10011aba100135573c01446666ae68cdc3a400c0124646464664424444444444446601801c01a66a60242400202000466a6024240020200026ae84d5d10011aba100135573c01646666ae68cdc3a4008014464642444444444444600a01a66a60222400201e0026ae84d55cf00611999ab9a3370e9001005919091111111111118040069bad357426aae780348cccd5cd19b87480000308c8c8c8cc884888888888888cc02c038034c07c008c098004d5d09aba2002357420026aae780388c98cd5ce0128120288280278270268260258250248240238231aab9d00137540022400224444004444244466600600c00a00824440044444a666a00444642666a00844a66a6609e00a0042a66a60060022660160186a0104444666609a008666604c0a6012010006004002201420144444018401260ae44a66a00220ae4426a00444a666ae68cdc4003801098030018a999ab9a3371200e00220b82600c00644442666a00a440164444a66a660a60100082a66a660a600e0062a66a6609c00c0042a666ae68cdc38029998248060058008998072999ab9a3371200a90000891199980080280300200388079a805911119998281999813806005004802001801000880688068806880690050999a8009100391110049299a99982180280200089980380400208031109119801002001891000891001119118011bac001304e2233335573e0024088466a08660086ae84008c00cd5d10010069191999ab9a3370e90001aab9d001232323233221233001003002375c004600e0026ae84d5d10011aba100135573c004464c66ae700340300e4dd5000919191999ab9a3370e900100091909118008019bae357426aae7800c8cccd5cd19b87480000088c8c8c8cc88488cc00801000cc034008c024004d5d09aba2002357420026aae780108c98cd5ce00700681d01c9aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc120c024008cc01c020004d5d09aba2002357420026aae780088c98cd5ce00580501b9baa0012232323333573466e1d2000001230483005357426aae7800c8cccd5cd19b8748008008941208c98cd5ce00680601c81c1aab9d0013754002464646666ae68cdc3a40040024646464646466644424466600200a0080066eb4010dd68011bad001357426ae88008d5d08009aba2002357420026aae7800c8cccd5cd19b87480000088c8488c00800cc018d5d09aab9e004232633573801601406e06c6aae74004dd5000919191999ab9a3370e9001000918231bae357426aae7800c8cccd5cd19b87480000088c8488c00800cdd71aba135573c008464c66ae700280240d80d4d55ce8009baa0012323333573466e1d2002001204823333573466e1d20000022048232633573801000e0680666aae74dd50009191999ab9a3370e90001aab9d0012375c6ae84d55cf001119319ab9c00600503237540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008dd70011bae001357426ae88008d5d08009aab9e002232633573800a0080626ea80044800524010350543100304122222225333553333335003221333300c53353330370070060021015112222200500f00600113500422225335300d00421350012235002222333301401d3016333302100330250030020013333041004009008007022100f2221333300d01601000753353330380080070031002100122323221333300f35009222230060020123500922223333040004003333301904e0095007002001001304b225335001101822135002225333573466e3c0080244c8488888ccc00403c01c019401c4c01800c4ccc0d801c018004888884c94ccd5cd19b89001480004cccc040488888cccc00c02c02802401804c0280084cc8c8ccc048c94ccd5cd19b8800100411222223333300200e00d00c006009101c50013014333301f00800700650013500c222233330433233500c2333301c00100c500750022500213232333301d00e00c337020040026a0244444008a00ca00c006004002264a666ae68cdc480080188008801a80089a805111119982100500400200119981c80500480111109a804112999ab9a3371000200820202a666ae68cdc48020010999980780c00900480188911001889100089991091199998010050020018040039a8040011a8040009191110999999806026005001000a99999a80288020803911108041111108049110803a99a80188031099a82000080399a81d80080189911980100081a9820111299a80108009109980280099a81b801001981f91299a8008a81d1109a801111a801112999ab9a33712006900009804002898209981d99980800100080180289110011111091119998008038030028020910011091180080191112999ab9a3371200490000800899199980300280219b8000100300233302e00400300122322333573466e2400520002300300123333010223500222350032253353303a004002133035003001104222001001323350310010323303233032005004002303b2253350011030221350022235002225323353303a00300b153353303500200a1006150011500113350353303700400330080052222333300e004220010013233502f00103033030003002222123330010040030023036225335001102b2215333335002133502c12222200530040011300400122221335030122222333300300900800700630080052222213350311222223333300200a0090080070063009006222133502f12222233300100800700630070041222220043034225335001102922133502a002300400130011222220012122300200322221233330010050040030021222222005132123300100202433001025223330090100020012232223003333500e0050020013030225335001102522133502635002223302a0023335001200122330090020012001300400121223001003302c2253350011021221350022233300a0113500122220033006003302b22533500110202213233300800f3500322220030013004001302a225335001101f2213233300700e533350032210242222135002225333573466e2400d2000102813350273302900233502733029001003028028102200130040013029225335001101e2213233300600d35003220010013004001232223003330050020013029225335001101e22133501f3500222330230023300f233350012330094800000488cc0280080048cc0240052000001300400122300333350040260020013026225335001101b22133501c35002223302000233350012300a00122333500902b0020012300b001300400113222232323302b22533500110032213350210023004001300200430053300623500123223002007302c225335001102d221350022253353300c0020071030130060030023029225335001101e22133501f350022232330240033001008302f2253350011355012003221350022253353300f002008112223300200a0041300600330040013025225335001101a22133501b35002223301f002300d0013004001232230020013025225335001101a2213253353006003133501c003001100130040013023225335001101822133501935002223301d002300b00130040013022225335001101722133501835002223301c0023550090013004001223370000400246446004002604244a66a002202c44266a02e6a0044466036004600e002600800242444600600822424446002008603a44a66a00226ec8028884d400888cd5d019bb033300700b0080023750002600c0064446a0024466e952000335740600a00466ae80c010004dd880611a8009119ba548000cd5d01ba90023357406ea4004dd8804980d11299a80089bb2007221350022233574066ec0c01c008dd4000980300191a8009119ba548000cd5d01ba900233574060080026ec401c8cd400488cdd2a400066ae814cd40084cdd2a40046ec40184cdd2a40006ec4018cd5d01a8009119ba548000c8cd5d0180080199aba05335002213374a900019aba033500123374a900019aba03003001376201644466e9520023357406ea000ccd5d01ba80023357406ea0004dd88069bb100a13374a90011bb10093762012466a002466e9520003357406ea4004dd8805119ba548008cd5d01ba900137620146ec40188cdd2a400466ae80dd48009bb10053017225335001137640084426a0044466ae80cdd818038011ba8001300600323374a900019aba037520026ec4009263500222001350012200233230010012232123532123300123003223002003230032230010032353003004350040010013002002122233003222533333333333500122153353330070050040021333007005004001101823213500422223005003301922533500110192213500222533533014002007101e130060031016215335333006004003001101710182215335333007005004002101913330070050040011017221333573466e1cccc018014010008ccc018014010004064060884ccd5cd19b88333006005004002333006005004001018019221333573466e24ccc018014010008ccc018014010004060064884ccd5cd19b89333006005004002333006005004001019018221333573466e20ccc018014010008ccc0180140100040640608894cccccccccccd4004884cdc01998030028020011998030028020009109a802111119980700300280211909a80211111802801980c91299a8008a40004426a00444a66a6602800400e20022600c0064442a66a66601000c00a006266600e00c00a004266600e00c00a0024200244264a666ae68cdc3a400000229000099b843330070060050030013330060050040012213370466600c00a00800466600c00a0080024266e0520003330050040030012213370266600c00a00800466600c00a00800226a0064400226a0064400446426a0084444600a004603244a66a002290001109a801112999ab9a3371e00400e20022600c006444424666600200a008006004446446004002602444a66a002290001109a801111a80111299a998080010050a99a9980580080488018980400289804002911a801111a801912999ab9a3371e008004266024006002202624400424424466002008006442466002006004446a004446a00644a666ae68cdc780200109980380180088079119a8011119a80191299a8020a99a80109980380180088070a99a80108070998038018009006919a80111006919805801000911a801111a801911919a802919a80212999ab9a3371e0040022a00620204020466a00840204a666ae68cdc78010008a80188080a99a80190a99a8011099a801119a801119a801119a8011198090010009009919a801100991980900100091100991119a80210099112999ab9a3370e00c0062a666ae68cdc3802801099809802000880a880a88070a99a8009080708071109198008018011091180100188910009091180080191199ab9a3370e00400200a00844666ae68cdc7801000802001891001091000919180080091198019801001000a4411cfcb8885eb5e4f9a5cfca3c75e8c7280e482af32dcdf2d13e47d05d270001" + +caseAsDataV1PayoutScript :: PlutusScript PlutusScriptV2 +caseAsDataV1PayoutScript = + readHex + "5909a35909a0010000323322323322323322323232323232323232222532335323232323235003223230153300e3350163301b0033350163301b0024800805c05c004d400c88d4008888888888888c068030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c004464c66ae700bc0c40bcdd50009980180080b9191999ab9a3370e90001aab9d0012323232323232323233332222123333001005004003002323333573466e1d200035573a00246464646644246600200600460620046600c0600026ae84d5d10011aba100135573c004464c66ae700e00e80e0dd5003999807bae500c00532323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a400000642444006464c66ae700ec0f40ec0e80e4d55ce8009baa0033300175c0044464646666ae68cdc3a40000024642446004006600a6ae84d55cf00191999ab9a3370e90010011091000919319ab9c03b03d03b03a35573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce0170180171baa00133300475ca002028666008eb940040484cc00dd73ad3300101e00f33300301f75a01a646666ae68cdc3a40006aae740048c8c8c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea8010c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea800c8c8cccd5cd19b874800800481188cccd5cd19b874800000881188c98cd5ce01a01b01a0199aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e900000190911001119319ab9c03603803603503435573a0026ea8004d5d09aba2002357420026aae780088c98cd5ce0160170161baa00b3300175c012464460046eb0004c10488cccd55cf800901e919a81e18021aba100230033574400405c66600403800200c666004eb8004010800488c88c008dd58009820111999aab9f001203c23233503c33041300635573a002600a6aae78004c010d5d10019aba100202d301f001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e00223263357380200240206ea8020c00401c8c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053007357426aae780108cccd5cd19b874800800c8c848888c004014c028d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c01401601401301201135573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf004919319ab9c01601801601501401301201101035573a0026ea80048c8c8cccd5cd19b87480080048c8c8c8c8c8ccc888488ccc00401401000cdd68021bad002375a0026ae84d5d10011aba1001357440046ae84004d55cf00191999ab9a3370e9000001119091180100198031aba135573c008464c66ae7004004804003cd55ce8009baa001232323333573466e1d20020012321223001003375c6ae84d55cf00191999ab9a3370e900000111909118010019bae357426aae780108c98cd5ce0078088078071aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c01c008dd68009aba1357440046ae84004d55cf001119319ab9c00c00e00c37540024646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae7002c03402cdd50009aba1357440046ae84004d55cf001119319ab9c005007005375400c6666ae68cdc3a40006aae74dd50031002919319ab9c003005003323333573466e1d200035573a0024646464660346eb8008dd70009aba1357440046ae84004d55cf001119319ab9c003005003375400c9201035054310049840045848004c044894cd40044030884d400888c8c038cc020d4008888800c004c01800c88c00cccd4014010008004c03c894cd40044028884cd402cd400888cc048008ccd40048c02800488ccd40280240080048c02c004c01000488ccd5cd19b8f00200100c00b132222323233013225335001100322133500f00230040013002004300533012225335001100d221325335350032322300200b301822533500110162213500222533533010002007101913006003133500f003001100130040010023011225335001100c22133500d35002223233015003300100830172253350011355017003221350022253353300f002008112223300200a004130060033004001300d225335001100822133500935002223301000230120013004001300c225335001100722133500835002223300f00230110013004001300b225335001100622133500735002223300e00235500f0013004001300a225335001100522133500635002223300d00233010225335001100b22133500c350022233013002333500123370090000009119b80002001233700900000098020008009802000980491299a8008803911909a801911801800980691299a800898030019109a80111199a8009299a99807240000022600e008201e44a66a6601e0040022601000a20204a66a6601c00290000980380208078910010910911980080200191199ab9a33712004002008006244004244002442466002006004424446006008224244460020084646002002446600660040040021" + +caseAsDataV1OpenRoleScript :: PlutusScript PlutusScriptV2 +caseAsDataV1OpenRoleScript = + readHex + "590f2c590f29010000332332233223322332232323232323232332232323232323232323232222253235323333573466e1d200035573a00246464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cc8848cccccccccccc00400c05c05404c04403c03402c024008014010c094dd600b19981600d10008021aba1357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c01401f01b37540066002004464646666ae68cdc3a400c00246424444600800a64646666ae68cdc3a401800242444444400646666ae68cdc3a401400442444444400846666ae68cdc3a40100064646464664424444444660020120106eb8008dd68009aba1357440046ae84004d55cf00291999ab9a3370e90030021191919199109111111198010048041bae002375c0026ae84d5d10011aba100135573c00c46666ae68cdc3a400800a46464646644244444446600c01201060380046eb8004d5d09aba2002357420026aae7801c8cccd5cd19b87480080188c848888888c01c020c068d5d09aab9e00823333573466e1d2000007232122222223005008301b357426aae780248c98cd5ce00f01481281201181101081000f9aab9d00137546ae84d55cf00191999ab9a3370e900200111909111180100298099aba135573c00846666ae68cdc3a40040064601860266ae84d55cf00291999ab9a3370e90000021190911118018029bae357426aae780188c98cd5ce00c01180f80f00e80e1aab9d00137540026ae84d5d10011aba100135573c004464c66ae70038064054dd5001111a8011111111111111999a80690980b249035054350021301649010350543500213016490103505435002335323232323232325335533533007232335002230020012230030022533233500222135002223350012203e23300d0015006222213350032203e23300d0015006135500622001103753353232323303a22533500115034221350022253333500223333500a233553333333500221533333335002213300b00200122104321042104110412210432210432215333333350032104322153353300d004002133014003001104421043104210422210442210442153333333500221042221043213300b00200110411041221043221043153333333500121041221042210411041104022104222104215333333350012104122104221041104010412210422210422215333333350032104322104421043104210422215333573466e3c0100084cc05000c00441108841108854ccccccd400c8410c8841108410c410841088841108854ccd5cd19b8f00400213300e00300110441303b0031300800521300800521300800521300800523333500a2130080052335330100020011303b0031300800521300800521300800523333500a2130080052130080052335330090020011303b0031300800521300800523333500a2130080052130080052130080052335330110020011303b0031300800500e22335002233500223300900200122203d222335004203d2225333573466e1c01800c54ccd5cd19b87005002133009004001103f103f22333573466e1c0080040e40e0c05cd5400888008854cd4cccccc0b40048940c8940c4098940c4940c4840044c0792410133001301d491013300210371035100110355333573466e24c8c8c8c8cc0e8894cd40045200022135002225333573466e3c0080244c01c0044c01800c010c0e4894cd40045200022135002225333573466e3c00801c40044c01800cdd700d9aa802110011aa800911a8009111001a40002068206a2a66a6600a46a00244660086a00244446a0084400460680380244200226036920101310022335002233500223300600200120362335002203623300600200115335355335330032350012233005002007010210011301949010131002235001222200313019491013200221350022253233500413001498884d4008894cd40044c015262213500222533500315335007153353300e00b4890013302d00600213009498884c02d26221300b49894cd40084c07924010132002213500222533500315335008130224901013200221533500113302b0090042213026491013200221302449101320022333573466e3c0080040cc0c888d400888d400c894ccd5cd19b8f0040021333573466e1c00c0040d80d440d48c88c008004c0c4894cd4004540ac8854cd4c0140084c0b80084c01000440984c05924103505435002122223001005301b2233335573e002401c466a01a646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c028008c8cccd5cd19b8748000d55ce80091919191919191919999111091999800802802001801191999ab9a3370e90001aab9d001232323233028301a0023301b019001357426ae88008d5d08009aab9e00223263357380320480406ea8018ccc061d71980c3ae75a00864646666ae68cdc3a4008002464244460040086ae84d55cf00191999ab9a3370e9001001119091118008021bae357426aae780108cccd5cd19b874800000c8488800c8c98cd5ce00e0138118110109aab9d00137540046602ceb8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce00800d80b9baa001357426ae88008d5d08009aab9e002232633573801602c0246ea8d5d080118019aba200201323263357380020224646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091bae357426aae780088c98cd5ce00600b8099baa002375a0026ae84d5d10011aba100135573c004464c66ae7001c048038dd5000919191999ab9a3370e90010009191919191919980d9bad004375a0046eb4004d5d09aba2002357420026ae88008d5d08009aab9e00323333573466e1d2000002230183006357426aae780108c98cd5ce0040098078071aab9d0013754002464646666ae68cdc3a40040024602e6eb8d5d09aab9e00323333573466e1d200000223019375c6ae84d55cf002119319ab9c00701200e00d35573a0026ea800488c8c8cccd5cd19b87480000048c050c014d5d09aab9e00323333573466e1d200200225014232633573800e02401c01a6aae74004dd5000a48103505431002232230023756002602c446666aae7c00480248c8cd4024cc01cc018d55ce80098029aab9e0013004357440066ae840080388848cc00400c008c04888cccd55cf800918070029299a9999998051aba1002223333573466e1d2002002233300a00250102233300c00150122233300e0015335300d004215335301100321301712233001004003150151325015301000222501623333573466e1d2000003233300b00350112233300d0015335300c0022130151223002003150132250152501100b00a2500e2500e2500e2500e21533530043574400642602066a00c0040022a01c264a01c60066ae88008028488008488488cc00401000c8cccccc01400488cccd5cd19b87480100088ccc014008c03048880048940348cc8c8ccd5cd19b87480080148ccc020015403888ccc028005404088ccc0300054cd4cccccc03c01088cccd5cd19b87480000088ccc03c009405488ccc044005405c88ccc04c0054cd4c054010854cd4c03800c84c07048cc00400c008540684c94068c03400889406c9405403c9404c9404c9404c9404c854cd4c02000c84c0544888cc00c0140105404c4c9404cc01c0088940508cccd5cd19b87480000188ccc024019403c88ccc02c005404488ccc034005404c88ccc03c005405488ccc0440054c8c8c8cd4c03802c854cd4c03c028854cd4c010024854cd4c04802084c07c4888cccc00801c0180140105407454014540084c94008c0380244c9400cc0040188cccccc05800488cccd5cd19b87480000088ccc058009407088ccc060005407888ccc0680054cd4c070010854cd4c07400c84c08c48cc00400c008540844c94084c07000889408894070058940689406894068940684c94060c0300088940649403c0248cccccc02800488cccd5cd19b87480080088ccc028009404088ccc0300054cd4c03800884c050488c00400c540488940508cccd5cd19b874800000c8ccc02c00d404488ccc034005404c88ccc03c0054c8cd4cccccc04c01488cccd5cd19b87480080088cccd55cf8011180d81091919280e1aba20043574200602e46666ae68cdc3a400000646666aae7c00c8c0700848c8c94074d5d10029aba10040182501a0140132501725017250172501721533530020042130191223300200400315017132501730010032333333013001223333573466e1d20000022333013002501922333015001501b22333017001532323233530030072153353300200300621302333021002001150211325021330010020052233333301e001223333573466e1d2000002233335573e0044a04a4646660406ae880114cd4c01c00484c0a0c0a0004540988940a0d5d080181111999ab9a3370e900100191999aab9f0032302750262323250283574400a6ae8401008c9409407c078940889408894088940888cccccc07000488cccd5cd19b87480080088ccc070009408888ccc078005409088ccc080005409888ccc0880054c8cd4c07801c854cd4c07c018854cd4c08001484c0b4ccc0b800c008004540ac540084c94008c0780144c940a4c0740088940a88cccd5cd19b874800000c8ccc07400d408c88ccc07c0054cd4c02000884c09cc0a40045409489409c9408c074070940809408094080940808cccccc06c00488cccd5cd19b87480080088ccc06c009408488ccc0740054cd4c07c00884c094c0a00045408c8940948cccd5cd19b874800000c8ccc07000d408888ccc0780054cd4c08000884c098c0a8004540908940989408807006c9407c9407c9407c9407c89407c9406404c9405c9405c9405c9405c89405c9404402c028940389403894038940388cccccc02400489403894034940348c0380049403401801494024940249402494024888cccd55cf80190019198011aba10043574400800e931199999801000912803928031280312803118038009111111999999aba40062323300735573a0026aae78004dd5003918029bab00723004375800e460066eb401c8c008dd700380389000910919800801801109118010018891000909118010019110911998008028020019091180100190911800801891001091000919180080091198019801001000a4411c377325ad84a55ba0282d844dff2d5f0f18c33fd4a28a0a9d73c6f60d0001" + -- The scripts resulting from upgrading to dependencies of Plutus 1.15.0.0. plutus11500V1Scripts :: MarloweScripts plutus11500V1Scripts = @@ -644,7 +815,7 @@ readHex = -- | The set of known script hash sets for Marlowe V1. v1Scripts :: Set MarloweScripts -v1Scripts = Set.fromList [plutus11500V1Scripts, node812V1Scripts, postAuditV1Scripts, auditV1Scripts] +v1Scripts = Set.fromList [caseAsDataV1Scripts, plutus11500V1Scripts, node812V1Scripts, postAuditV1Scripts, auditV1Scripts] -- | Key a set of script hash sets by their Marlowe script hashes. toScriptMap :: Set MarloweScripts -> Map ScriptHash MarloweScripts @@ -678,4 +849,4 @@ getScripts = \case -- NOTE: Enforced in the test suite. getCurrentScripts :: MarloweVersion v -> MarloweScripts getCurrentScripts = \case - MarloweV1 -> plutus11500V1Scripts + MarloweV1 -> caseAsDataV1Scripts diff --git a/marlowe/scripts/marlowe-rolepayout.plutus b/marlowe/scripts/marlowe-rolepayout.plutus index bd982d4f5b..79abec3ac5 100644 --- a/marlowe/scripts/marlowe-rolepayout.plutus +++ b/marlowe/scripts/marlowe-rolepayout.plutus @@ -1 +1 @@ -{"type": "PlutusScriptV2", "description": "", "cborHex": "59091159090e0100003233223233223233223232323232323232322225323353232323235003223230143300d3350153301a0033350153301a00248008058058004d400c88d4008888888888888c064030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c0044c05c6ea8004cc00c00405c8c8cccd5cd19b8748000d55ce8009191919191919191919999111091999800802802001801191999ab9a3370e90001aab9d001232323233221233001003002303100233006030001357426ae88008d5d08009aab9e00226037375400e66601eeb94030014c8c8cccd5cd19b87480100048c84888c008010d5d09aab9e00323333573466e1d200200223212223001004375c6ae84d55cf00211999ab9a3370e9000001909110019301d01c81c1aab9d001375400666002eb800888c8c8cccd5cd19b87480000048c8488c00800cc014d5d09aab9e00323333573466e1d200200221220012603a03935573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae78008980b4dd50009998023ae500101433300475ca002024266006eb9d69980080f00799980180fbad00d323333573466e1d200035573a0024646464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008cc01dd680118030009aba1357440046ae84004d55cf001130191baa004323333573466e1d200035573a0024646464664424660020060046600eeb4008c018004d5d09aba2002357420026aae78008980c8dd50019191999ab9a3370e9001000902291999ab9a3370e90000011022930198191aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e9000001909110011301a81a0199aab9d00137540026ae84d5d10011aba100135573c0044c0566ea802ccc005d7004919118011bac00130402233335573e0024078466a07660086ae84008c00cd5d100101699980100e0008031998013ae00100420012232230023756002607e446666aae7c00480ec8c8cd40eccc100c018d55ce80098029aab9e0013004357440066ae840080b0c07c004d5d09aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026aae780089803cdd50041800803919191999ab9a3370e900300091909111180200298029aba135573c00646666ae68cdc3a400800446424444600400a600e6ae84d55cf00211999ab9a3370e900100191909111180080298051aba135573c00a46666ae68cdc3a400000846424444600600a6eb8d5d09aab9e0062601301201101035573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf0049300a80a0098090088080079aab9d0013754002464646666ae68cdc3a40040024646464646466644424466600200a0080066eb4010dd68011bad001357426ae88008d5d08009aba2002357420026aae7800c8cccd5cd19b87480000088c8488c00800cc018d5d09aab9e0042600f00e35573a0026ea80048c8c8cccd5cd19b87480080048c8488c00400cdd71aba135573c00646666ae68cdc3a400000446424460040066eb8d5d09aab9e0042600e00d35573a0026ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e0022600b37540024646666ae68cdc3a40006aae740048dd71aba135573c0044c0146ea8004d5d09aba2002357420026aae7800898010dd50029999ab9a3370e90001aab9d375400a40084c004646666ae68cdc3a40006aae740048c8c8c8cc064dd70011bae001357426ae88008d5d08009aab9e00226002375400a9308008b09000980891299a80088061109a80111191807198041a80111110018009803001911801999a802802001000980791299a800880511099a8059a8011119809001199a8009180500091199a80500480100091805800980200091199ab9a3371e00400201801626444464646602644a66a002200644266a01e00460080026004008600a6602444a66a002201a44264a66a6a00646446004016603044a66a002202c4426a00444a66a6602000400e20322600c006266a01e00600220026008002004602244a66a002201844266a01a6a00444646602a0066002010602e44a66a00226aa02e0064426a00444a66a6601e00401022444660040140082600c0066008002601a44a66a002201044266a0126a004446602000460240026008002601844a66a002200e44266a0106a004446601e00460220026008002601644a66a002200c44266a00e6a004446601c0046aa01e0026008002601444a66a002200a44266a00c6a004446601a0046602044a66a002201644266a0186a0044466026004666a002466e0120000012233700004002466e01200000130040010013004001300922533500110072232135003223003001300d2253350011300600322135002223335001253353300e480000044c01c010403c894cd4cc03c0080044c020014404094cd4cc038005200013007004100f1220021221223300100400322333573466e2400800401000c4880084880048848cc00400c00884888c00c0104484888c0040108c8c00400488cc00cc008008005"} \ No newline at end of file +{"type": "PlutusScriptV2", "description": "", "cborHex": "5909a35909a0010000323322323322323322323232323232323232222532335323232323235003223230153300e3350163301b0033350163301b0024800805c05c004d400c88d4008888888888888c068030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c004464c66ae700bc0c40bcdd50009980180080b9191999ab9a3370e90001aab9d0012323232323232323233332222123333001005004003002323333573466e1d200035573a00246464646644246600200600460620046600c0600026ae84d5d10011aba100135573c004464c66ae700e00e80e0dd5003999807bae500c00532323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a400000642444006464c66ae700ec0f40ec0e80e4d55ce8009baa0033300175c0044464646666ae68cdc3a40000024642446004006600a6ae84d55cf00191999ab9a3370e90010011091000919319ab9c03b03d03b03a35573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce0170180171baa00133300475ca002028666008eb940040484cc00dd73ad3300101e00f33300301f75a01a646666ae68cdc3a40006aae740048c8c8c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea8010c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea800c8c8cccd5cd19b874800800481188cccd5cd19b874800000881188c98cd5ce01a01b01a0199aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e900000190911001119319ab9c03603803603503435573a0026ea8004d5d09aba2002357420026aae780088c98cd5ce0160170161baa00b3300175c012464460046eb0004c10488cccd55cf800901e919a81e18021aba100230033574400405c66600403800200c666004eb8004010800488c88c008dd58009820111999aab9f001203c23233503c33041300635573a002600a6aae78004c010d5d10019aba100202d301f001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e00223263357380200240206ea8020c00401c8c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053007357426aae780108cccd5cd19b874800800c8c848888c004014c028d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c01401601401301201135573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf004919319ab9c01601801601501401301201101035573a0026ea80048c8c8cccd5cd19b87480080048c8c8c8c8c8ccc888488ccc00401401000cdd68021bad002375a0026ae84d5d10011aba1001357440046ae84004d55cf00191999ab9a3370e9000001119091180100198031aba135573c008464c66ae7004004804003cd55ce8009baa001232323333573466e1d20020012321223001003375c6ae84d55cf00191999ab9a3370e900000111909118010019bae357426aae780108c98cd5ce0078088078071aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c01c008dd68009aba1357440046ae84004d55cf001119319ab9c00c00e00c37540024646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae7002c03402cdd50009aba1357440046ae84004d55cf001119319ab9c005007005375400c6666ae68cdc3a40006aae74dd50031002919319ab9c003005003323333573466e1d200035573a0024646464660346eb8008dd70009aba1357440046ae84004d55cf001119319ab9c003005003375400c9201035054310049840045848004c044894cd40044030884d400888c8c038cc020d4008888800c004c01800c88c00cccd4014010008004c03c894cd40044028884cd402cd400888cc048008ccd40048c02800488ccd40280240080048c02c004c01000488ccd5cd19b8f00200100c00b132222323233013225335001100322133500f00230040013002004300533012225335001100d221325335350032322300200b301822533500110162213500222533533010002007101913006003133500f003001100130040010023011225335001100c22133500d35002223233015003300100830172253350011355017003221350022253353300f002008112223300200a004130060033004001300d225335001100822133500935002223301000230120013004001300c225335001100722133500835002223300f00230110013004001300b225335001100622133500735002223300e00235500f0013004001300a225335001100522133500635002223300d00233010225335001100b22133500c350022233013002333500123370090000009119b80002001233700900000098020008009802000980491299a8008803911909a801911801800980691299a800898030019109a80111199a8009299a99807240000022600e008201e44a66a6601e0040022601000a20204a66a6601c00290000980380208078910010910911980080200191199ab9a33712004002008006244004244002442466002006004424446006008224244460020084646002002446600660040040021"} \ No newline at end of file diff --git a/marlowe/scripts/marlowe-semantics.plutus b/marlowe/scripts/marlowe-semantics.plutus index 6f603ff424..a1be5a5492 100644 --- a/marlowe/scripts/marlowe-semantics.plutus +++ b/marlowe/scripts/marlowe-semantics.plutus @@ -1 +1 @@ -{"type": "PlutusScriptV2", "description": "", "cborHex": "592a1b592a1801000033232323322323232332232332232323232323232323232323232323232323232323232323232323233223232323232323232323232323232323232323232323232323233223322323232323322323322323232323232323232323232323232323232323232323232323232323232323232323232323222225335323235323333573466e1d200035573a0024646464646466644424666002008006004646666ae68cdc3a40006aae740048dd71aba135573c0044c104026ea8010c8cccd5cd19b8748000d55ce80091919191919191919998369998181191999ab9a3370e90001aab9d00123232323307830260023028001357426ae88008d5d08009aab9e0022608c013754002eb4018ccc0c007dd6802199818018bad002375a0026ae84d5d10011aba1001357440046ae84004d5d10011aba100135573c0044c104026ea8008c038004d5d09aba2002357420026ae88008d5d08009aab9e0022607b375400a4446a0084646464646464646464646464464646a0044466aa666ae68cdc4000801098069909118008019983b80100089a80a11112999ab9a3371000a002260226424466004008006660f600c00a264664424466002008006660f8a00200c66660ee00a008006a00226a0304444a666ae68cdc480500088008805119a800913131119aa9999a99999998208450080100080a80284800848008982d8911110028982d8911110018982d89111100211111190a99a80308008a999999a80d91083109a80e1111299a802083211080391108319110831911110832911083189119998008030028020019299999a8008b0b0b1099a800913130b111129991a999814249016900500101b15335300e3043300d01e153323530115001153355323233333350052215003153353015501410930110920122215004222150042222215006222150041533553553353306c23500122223308301501e0045013162215335001100222162222335533350021095012109601215335323330310850100500150061533553353301c3374a900019aba03374a900019aba037520466ec427404cd5d01a805111119ba548000cd5d01ba6307c0043357406e98c1f800ccd5d01ba6307f0023357406ea0004dd88508099aba0308901009376213a02040426611002002004212c022661060200aa03c212c02212c02212c02212a0226660549201016f0050010051091011323233306907000233071307123370490008008009833a801199833837280118329822180700f8a99aa99aa99aa8008848809108490088488089aa80c9110008848808848008848008991984c0091299a8008801910999aa831110011a801111119a801904f8091a801912999ab9a337120089000085080899a85000998450080199a85000998450080119a85000998450080080205080850808508098020008029aa82e9100088478088478089aa80b9111a801911a8009111001884700980180a299a9a9a807111111111111002911a801112999a801109a802112999a801109845009983d99b81337009001002180800299b80337020029001180800108208820881e881e908008b18450091299a80088450091099a8458099a80110911800801911929a80991111111111119a9806801109909119980100980900198150008b18480091299a8008a843809109a801112999ab9a3371e00400e26118020022600c006600800261120244a66a002210802442a66aa666a0044426a004446012002444426012006210c0226008002210a02466a00244a6a0024466a0044646a02244444444444466a601a008212802212602611c0244a66a002211002442a666ae68cdc78028010845808980200090843009299a99980e00499a843809983880799a8438099838800a400411002110026a01844444444444460c2018210602210402610e0244a66a002210402442a6a0044466a0044466aa66a66604201c00660b6660c44660ea6a0024444008004a012211002210e022601000a210e02466aa66a6611c0244a66a002211002442a6a004444466aa666a004211c024211e0242a66a66605244666ae68cdc400100084880849008020058a99aa99a9980a9998393a9752660fc038014032426610202002004211e022660f800a6611602611c02044a11802211e02211e02211e022601000aa010210e02210c022600e008210c0226a010444444444444014610a0244a66a002210002442a66a6464a66a660e0004002210602210802a0146a004444400826008002210202466a0029001240004244600400646446a002444444444444601c00461060244a66a0022a0f44426a00444a666ae68cdd78008038983f9a802110010980300191199ab9a337120040020f80f626aa00244400426aa6a00a446a00444444444444466a6666a01a40724072407246611c0244a66a0022a10a02442a6a004446a004446a0124466aa666ae68cdc78020010999ab9a3370e00600212202120022120022611c020102601400e01a42666606e46a004446a00244446a0084466a00441200246610202002014a1060210e026a0204444444444440182c446a004446a002444466609201000800e646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091919191919191919191919191919191919191919191919199999999999911111111111091999999999998008068060058050048040038030028020018011981301a00b1981301a00a1981301b80919981ebae503c01033303d75ca07801c6604c06601866607a074eb4028c8cccd5cd19b8748000d55ce800919191919910919800801801191999ab9a3370e90001aab9d0012323232332212330010030023303b75a00460700026ae84d5d10011aba100135573c0044c13a026ea8008c8cccd5cd19b8748000d55ce8009191919199109198008018011981dbad0023038001357426ae88008d5d08009aab9e0022609d0137540026ae84d5d10011aba100135573c0044c130026ea8020cc099d700319981e81901800219981ebae0300023036001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e0022607f375400460320026ae84d5d10011aba100135573c0044c0f46ea8008cc01c8c8c8cccd5cd19b87480080048c8c8c8cc88488cc00401000cc04c008dd70009aba1357440046ae84004d55cf00191999ab9a3370e9000001119091180100198089aba135573c0084c0f80f66aae74004dd500080108118b183a1119191999ab9a3370e900500091919191991091111119803004003980580118040009aba1357440046ae84004d55cf00191999ab9a3370e9004001119191919191999110911111199801804804003981280219a80780700118058009aba1357440046ae84004d5d10011aba100135573c00846666ae68cdc3a400c00646464646464666444244444466600201201000e6601c464646666ae68cdc3a4004002464646466442446600200800660280046eb8004d5d09aba2002357420026aae7800c8cccd5cd19b87480000088c8c8c8cc88488cc00801000cc054008c050004d5d09aba2002357420026aae780109820c0420804d55ce8009baa001004375a00460180026ae84d5d10011aba1001357440046ae84004d55cf00291999ab9a3370e90020021191919191919991109111111998020048040039808002180680118068009aba1357440046ae84004d5d10011aba100135573c00c46666ae68cdc3a400400a4646464646464646464666664444424444446666600401601401201000e603601064646666ae68cdc3a4004002460f0603c6ae84d55cf00191999ab9a3370e90000011190911801001980f9aba135573c0084c1100210e026aae74004dd5003180e80219a80b00a80118090009aba1357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba100135573c00e46666ae68cdc3a400000c40d64c0f80f60f40f20f00ee6aae74004dd5000919191999ab9a3370e90020009190911180080218031aba135573c00646666ae68cdc3a40040044646464664424446600600a008601e004660124646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008dd68011bad001357426ae88008d5d08009aab9e0022607c37540020026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008602a00c602a008602e00466a02001e0026ae84d5d10011aba1001357440046ae84004d5d10011aba100135573c00a4c0ee0ec0ea6aae74004dd5000919118011bac00130732233335573e00240e8466a0e660086ae84008c00cd5d100100f98389119191999ab9a3370e900a000909111111111100491999ab9a3370e9009001109111111111100311999ab9a3370e9008001919191919910911111111111980280680619a80580500119a8058050009aba1357440046ae84004d55cf00291999ab9a3370e9007002119191919910911111111111980100680619a80600580119a8060058009aba1357440046ae84004d55cf00311999ab9a3370e9006002919191919910911111111111980080680619a80680600119a8068060009aba1357440046ae84004d55cf00391999ab9a3370e9005003119191919910911111111111980180680619a80700680119a8070068009aba1357440046ae84004d55cf00411999ab9a3370e9004003919191919910911111111111980200680619a80780700119a8078070009aba1357440046ae84004d55cf00491999ab9a3370e9003004119091111111111180500618089aba135573c01446666ae68cdc3a40080124642444444444446010018601a6ae84d55cf00591999ab9a3370e90010051191919199109111111111119803806806180880118088009aba1357440046ae84004d55cf00611999ab9a3370e90000059191919199109111111111119805806806180900118090009aba1357440046ae84004d55cf0069303f03e83e03d83d03c83c03b83b03a83a1aab9d0013754002660e04424464646666ae68cdc3a402c00246464646464666444244444444444466601201e01c01a601400866a60182400201400466a6018240020140026ae84d5d10011aba1001357440046ae84004d55cf00191999ab9a3370e900a00111909111111111111800806980f1aba135573c00846666ae68cdc3a40240064244444444444400646666ae68cdc3a40200084244444444444400446666ae68cdc3a401c00a4642444444444444601401a601e6ae84d55cf00391999ab9a3370e90060031191919199109111111111111980380700699a98078900080680119a9807890008068009aba1357440046ae84004d55cf00411999ab9a3370e90050039191919199109111111111111980300700699a98080900080700119a9808090008070009aba1357440046ae84004d55cf00491999ab9a3370e90040041191919199109111111111111980200700699a98088900080780119a9808890008078009aba1357440046ae84004d55cf00511999ab9a3370e90030049191919199109111111111111980600700699a98090900080800119a9809090008080009aba1357440046ae84004d55cf00591999ab9a3370e9002005119190911111111111180280699a9808890008078009aba135573c01846666ae68cdc3a40040164642444444444444601001a6eb4d5d09aab9e00d23333573466e1d200000c2323232332212222222222223300b00e00d301a002301c001357426ae88008d5d08009aab9e00e260800107f07e07d07c07b07a07907807707607535573a0026ea800448004888d400488894cd4c94cd4ccc024174c07801401c41c041bccdcb24901760000715335325335301f0051070106f3372c9201016200007153323532533533500222350022235003225335330620040021330660030011076006107110703372c9210265610000815335325335335002059005107110703372c921026563000081325335335002061004107110703372c92102656200008106f132232230023004001307822533500110732215335323307d225335001107722153353005002107a1300400100230050021074130040013076225335001107622133507735002220023004001106e106e106e23222300333042002001306f225335001106a223213500322300300130732253350011300600322135002223335001253353300c480000044c01c01041c8894cd4cc0340080044c02001441cc94cd4cc0300052000130070041072232323333573466e1d20040012122200123333573466e1d2002002232323233221222330030050043009002375a0026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008601e00c601e00860220046eb4004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae78014981c41c01bcd55ce8009baa0012323333573466e1d200035573a0024646464664424660020060046eb8008c01c004d5d09aba2002357420026aae78008981b4dd5000919191999ab9a3370e900100091909118008019bae357426aae7800c8cccd5cd19b87480000088c8c8c8cc88488cc00801000cc024008c04c004d5d09aba2002357420026aae78010981b81b4d55ce8009baa0012323333573466e1d2002001206623333573466e1d200000220662606c06b35573a6ea80048c8cccd5cd19b8748000d55ce8009191919199109198008018011bae002375c0026ae84d5d10011aba100135573c0044c0d46ea8004800488c8c8cccd5cd19b8748010004848880048cccd5cd19b87480080088c84888c00c010c018d5d09aab9e00423333573466e1d2000003212220022606c06b06a35573a0026ea80048c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d2004002232122223002005300d357426aae780108cccd5cd19b874800800c8c848888c004014c024d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003130358350348341aab9d0013754002464646666ae68cdc3a401800242444444400646666ae68cdc3a401400442444444400846666ae68cdc3a40100064646464664424444444660020120106eb8008dd68009aba1357440046ae84004d55cf00291999ab9a3370e90030021191919199109111111198010048041bae002375c0026ae84d5d10011aba100135573c00c46666ae68cdc3a400800a46464646644244444446600c01201060240046eb8004d5d09aba2002357420026aae7801c8cccd5cd19b87480080188c848888888c01c020c040d5d09aab9e00823333573466e1d20000072321222222230050083011357426aae78024981b41b01ac1a81a41a019cd55ce8009baa0012323333573466e1d200035573a002464646466442466002006004600e00460120026ae84d5d10011aba100135573c0044c0ca6ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e0022606437540024646666ae68cdc3a40006aae740048dd71aba135573c0044c0c66ea80048c8cccd5cd19b8748000d55ce8009191919191919191999911109199980080280200180118058031998083ae500f00432323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a4000006424440064c0dc0da0d86aae74004dd5001198063ae001357426ae88008d5d08009aba2002357420026ae88008d5d08009aab9e0022606237540024646666ae68cdc3a40006aae740048c8c8c8cc168c024008cc01c020004d5d09aba2002357420026aae7800898184dd50009119191999ab9a3370e90000009182d18029aba135573c00646666ae68cdc3a40040044a0b44c0c60c46aae74004dd5000919191999ab9a3370e9001000919191919191999110911998008028020019bad004375a0046eb4004d5d09aba2002357420026ae88008d5d08009aab9e00323333573466e1d200000223212230020033006357426aae7801098184180d55ce8009baa001232323333573466e1d200200123058375c6ae84d55cf00191999ab9a3370e900000111909118010019bae357426aae780109818017cd55ce8009baa00113300175ceb488c88c008dd5800982e911999aab9f001205e23233505e33048300635573a002600a6aae78004c010d5d10019aba10020092323333573466e1d200035573a00246eb8d5d09aab9e0022605b375400260b244a66a00220b24426a0044466605c06a6a004446a0024466a0c06609400466a0c06609400200a0c20c2600c00660b044a66a00220a6442a6a00444666ae68cdc4800a400020ac2600c00660ae44444a6466a00842a66a00626608a002008442a66a00c260089309982380182c0a99a8010b1109801a4c4a66a00426acc4426a004446a00244446a0084466a0044666602202001e01c0144a66a60200022a66a01e42c2666602202060bc01601c0142666602202001e0c001424002a09460a844a66a00220a844266a0aa66a00444400640026008002a090a08e60a244444444a66a6666660220a200c00a0080ae0ae4446464442a66a0142666444244446666600200e00c00a012010a66a01c20b2200ea0086006010442a666666a00644202a2026444202c444202c4444420304442a666a666602a02400e00a0064442666666602e0c202a00400200e64a66a0082605c0024444264660dc44a66a002200644266a0de004600800200c66a0d4244444666600801201000e00c0d6a0186016020224444006202c60ba44a66a002200844266a0bc0046008002264660ba44a66a002200644266a0bc004600800200c603e00422444400860a044444a66a002224440024426466a0064460060044460060044646466a00e444a66a666602201801600600c4426600c0040022a00a4a66a666601e014012002008442660080040022a00644a66a01044466a0124420244466aa666ae68cdc78020008982b0018a82a9099980a0040038008809119a80391099980880280200091080809999804003803002801091110011110911199801803002802091100111112999a80111190999a80211299a9981b0028010a99a98018008998058061a8041111199981d802199980d01d0048040018010008805080511110061004982911299a80088261109a801112999ab9a3371000e0042600c0062a666ae68cdc480380088288980300191110999a802910059111299a9981e0040020a99a9981e0038018a99a998200030010a999ab9a3370e00a66606c01801600226601ca666ae68cdc4802a40002244666600200a00c00800e201e6a0164444666607c6666036018014012008006004002201a201a201a201a40142666a0024400e44440124a66a66606000a00800226600e010008200c442446600400800624400224400460904444444a666aa666666a0064426666018a66a66606000e00c004202a224444400a01e00c00226a0084444a66a601a008426a002446a004444666602803a602c66660460066090006004002666607600801201000e08c201e4442666601a02c02000ea66a66606201000e0062004200244646442666601e6a0124444600c0040246a012444466660740080066666032082012a00e00400200260a444a66a00220304426a00444a666ae68cdc78010048990911111998008078038032803898030018999817803803000911110992999ab9a337120029000099998080911111999801805805004803009805001099919199809192999ab9a3371000200822444446666600401c01a01800c0122038a0026028666604201000e00ca0026a0184444666607a6466a01846666038002018a00ea0044a00426464666603a01c01866e04008004d404888880114019401800c0080044c94ccd5cd19b8900100310011003500113500a222233303c00a00800400233303200a009002222135008225333573466e20004010404054ccd5cd19b890040021333300f018012009003112220031122001133221223333300200a0040030080073500800235008001232222133333300c04d00a002001533333500510041007222210082222210092221007533500310062133505200100733504d0010031322330020010473047222533500210012213300500133504900200330462253350011503d221350022235002225333573466e2400d200013008005130443303533301000200100300512220022222122233330010070060050041220022122300100322225333573466e240092000100113233330060050043370000200600466605000800600244644666ae68cdc4800a40004600600246666018446a004446a00644a66a6605e0080042660660060022086440020026466a086002088660586605800a008004608444a66a00220844426a004446a00444a6466a6605e0060162a66a66066004014200c2a0022a002266a08e66062008006601000a44446666014008440020026466a0820020846605400600444424666002008006004607a44a66a002207a442a66666a004266a07c24444400a6008002260080024444266a084244444666600601201000e00c601000a44444266a0862444446666600401401201000e00c601200c444266a08224444466600201000e00c600e008244444008607644a66a002207644266a078004600800226424660020040746600203c446660160240040024464446006666a02000a004002607644a66a002207644266a0786a0044466050004666a0024002446601200400240026008002600224444400242446004006444424666600200a008006004606a44a66a002206a4426a004446660140226a0024444006600c006606844a66a00220684426466601001e6a00644440060026008002606644a66a00220664426466600e01ca666a006442070444426a00444a666ae68cdc4801a40002078266a0766604a00466a0766604a002006078078206c0026008002606444a66a00220644426466600c01a6a0064400200260080024644460066600a004002606444a66a002206444266a0666a004446603e0046601e4666a00246601290000009119805001000919804800a40000026008002446006666a008036004002605e44a66a002205e44266a0606a0044466038004666a0024601400244666a01204000400246016002600800226444464646606844a66a002200644266a06a00460080026004008600a6600c46a0024644600400e606a44a66a00220604426a00444a66a6601800400e20662600c006004606444a66a002206444266a0666a0044464660400066002010607044a66a00226aa0240064426a00444a66a6601e00401022444660040140082600c0066008002605c44a66a002205c44266a05e6a0044466036004601a002600800246446004002605c44a66a002205c44264a66a600c006266a06000600220026008002605844a66a002205844266a05a6a004446603200460160026008002605644a66a002205644266a0586a00444660300046aa01200260080024466e000080048c88c008004c0a8894cd400440a8884cd40acd400888cc05c008c01c004c01000484888c00c0104484888c004010c098894cd40044dd90139109a8011119aba03376066600e03e04e0046ea0004c01800c888d400488cdd2a400066ae80c014008cd5d018020009bb102930242253350011376404a4426a0044466ae80cdd8180e0011ba800130060033023225335001137640484426a0044466ae80cdd818118011ba8001300600335002220013500122002302112223300322253333333333350012215335333007005004002133300700500400110202321350042222300500330272253350011021221350022253353300e002007102613006003101e215335333006004003001101f1020221533533300700500400210211333007005004001101f221333573466e1cccc018014010008ccc018014010004084080884ccd5cd19b88333006005004002333006005004001020021221333573466e24ccc018014010008ccc018014010004080084884ccd5cd19b89333006005004002333006005004001021020221333573466e20ccc018014010008ccc0180140100040840808894cccccccccccd4004884cdc01998030028020011998030028020009109a802111119980780300280211909a80211111802801981391299a8008a40004426a00444a66a6601c00400e20022600c0064442a66a66601000c00a006266600e00c00a004266600e00c00a0024200244264a666ae68cdc3a400000229000099b843330070060050030013330060050040012213370466600c00a00800466600c00a0080024266e0520003330050040030012213370266600c00a00800466600c00a00800226a0064400226a0064400446426a0084444600a004604e44a66a002290001109a801112999ab9a3371e00400e20022600c006446a004446a00644a666ae68cdc7802001099804801800880e9111091999800802802001801111911801000980f91299a8008a40004426a004446a00444a66a660160040142a66a6601e00201220062601000a2601000a4466a0044466a00644a66a0082a66a00426600e00600220342a66a004203426600e0060024032466a00444032466012004002446a004446a006446466a00a466a0084a666ae68cdc78010008a801880e100e119a802100e12999ab9a3371e0040022a00620382a66a00642a66a0044266a004466a004466a004466a004466020004002403e466a004403e46602000400244403e44466a008403e444a666ae68cdc38030018a999ab9a3370e00a00426601e0080022042204220342a66a00242034203444666ae68cdc380100080a80a110919800801801111a801111a801912999ab9a3371e00800426600e006002202c44666ae68cdc78010008090089a801110009a80091001180a89111980192999999a80091099ba548028cd5d0180500119aba030050013762032266e952000376202e444266e952004335740601600666ae80c018008cd5d018030009bb101a22213374a900419aba0301500333574066a01801600466ae80c018004dd880d11111099ba548008cd5d0180800299aba033500423374a900019aba03011001376203a466e95200233574060220026ec4074cd5d0180c00199aba033500e00d00233574060100026ec40708884cdd2a400c66ae80dd3980280199aba0375000466ae80c018004dd880d1299a80089bb101722133574066a0044466e952000335740601400466ae80c01c004dd880d9119ba548008cd5d0180500119aba037520026ec406cc01000448888880148ccd400488cdd2a400466ae80c01c008cd5d01ba730110013762028444466e952000335740601400866ae80c02800ccd5d0180900119aba0335008007001376202c466e95200433574060080026ec404c8488c00400cc040894ccccccccccd4004884cdd2a400066ae80c010008cd5d018020009bb1013213374a900319aba030050013762024266e95201437620224266e95200433574060060026ec4048884cdd2a400466ae80c010008cd5d018020009bb101313374a90091bb10112213374a900819aba033500500400233574066a00a0080026ec404c884cdd2a401066ae80cd4014010008cd5d019a8028020009bb10132213374a900519aba033500500400233574066a00a0080026ec404c884cdd2a401c66ae80cd4014010008cd5d019a8028020009bb10132213374a900619aba033500500400233574066a00a0080026ec404ccc03c884894cccccccccccd4004884cdd2a400c66ae80cd4c01848004010008cd5d019a9803090008020009bb10142213374a900019aba0300800233574060200026ec405084cdd2a401c66ae80c018004dd8809911099ba548058cd5d0180280199aba033530071200100500233574066a600e2400200a0026ec405484cdd2a400466ae80dd40009bb10132213374a900619aba033530061200100400233574066a600c240020080026ec4050884cdd2a401466ae80cd4c01848004010008cd5d019a9803090008020009bb1014213374a900219aba0335300512001003001376202644266e95200833574066a600c2400200800466ae80cd4c01848004010004dd880a099ba548048dd8809099ba548040dd88091099ba548050cd5d018070009bb101312001235001223374a900019aba0375200466ae80c010004dd8808119a8009119ba548000cd5d0299a801099ba548008dd8807899ba548000dd880799aba035001223374a90001919aba03001003335740a66a0044266e95200033574066a002466e95200033574060060026ec4050888cdd2a400466ae80dd400199aba0375000466ae80dd40009bb10163762026266e95200237620246ec40488cd40048cdd2a400066ae80dd48009bb101323374a900119aba037520026ec404cdd8807919ba548008cd5d01ba9001376201c44246600200600442446004006224400242446002006244004244002466e9520003357406ea4004dd880311a8009119ba548000cd5d01ba90023357406ea4004dd8803980211299a80089bb10052213357406a0044466e9520003357406ea0008cd5d01ba8001376201260080022440042442446600200800693119180080091198019801001000919918008009119091a990919800918019118010019180191180080191a98018021a8020008009801001000a451cfdade3b86107bc715037b468574dd8d3f884a0da8c9956086b9a1a510001"} \ No newline at end of file +{"type": "PlutusScriptV2", "description": "", "cborHex": "592b47592b44010000332332232323233223232323232332232323232323232323232323232323233223232323232323232323232323232323232323232323232323232323322332232323232323232323232323232323232332232332232323232323232323232323232323232323232323232323232322222533532323235323333573466e1d200035573a0024646464646466644424666002008006004646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae700f00ec1a0dd5002191999ab9a3370e90001aab9d00123232323232323233330743330122323333573466e1d200035573a0024646464660fe6080004608e0026ae84d5d10011aba100135573c004464c66ae701181141c8dd5000bad00633301203975a008666024080eb4008dd68009aba1357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c03c03b068375400460380026ae84d5d10011aba1001357440046ae84004d55cf001119319ab9c035034061375400c4446a0084646464646464646464646464464646a0044466aa666ae68cdc4000801098071909118008019983f00100089a80a11112999ab9a3371000a002260246424466004008006661040200c00a2646644244660020080066610602a00200c66660fc00a008006a00226a0304444a666ae68cdc480500088008805119a800913131119aa9999a99999998150450080100080a80283f83f8982d0911110028982d0911110018982d09111100211111190a99a80308008a999999a80d91083089a80e1111299a802083191080391108311110831111110832111083109119998008030028020019299999a8008b0b0b1099a800913130b111129991a9998132481016900500101b15335300e302c300d01f153323530115001153355323233333350052215003153353015501410930110920122215004222150042222215006222150041533553553353306f23500122223308f01501e00450131622153350011002221622223355333500210950121096012153353233302f0950100500150061533553353301d3374a900019aba03374a900019aba037520466ec420c04cd5d01a805111119ba548000cd5d01ba6307f0043357406e98c2080400ccd5d01ba63085010023357406ea0004dd88438099aba0303a009376210602040426612c02002004212c0226611e0200aa03c212c02212c02212c02212a0226660509201016f0050010051091011323233306c073002330743074233704900080080098352801199835038a8011834181698070100a99aa99aa99aa8008848809108490088488089aa80c911000884880884800884800899198490091299a8008801910999aa833910011a801111119a80190470091a801912999ab9a337120089000084800899a84780998488080199a84780998488080119a84780998488080080204800848008480098020008029aa8311100088478088478089aa80b9111a801911a8009111001884700980180aa99a9a9a807111111111111002911a801112999a801109a802112999a80110984400998410099b81337009001002180880299b8033702002900118088010815081508130813108008b18420091299a800883c91099a83d19a80110911800801911929a80991111111111119a98068011099091199801009809001981c0008b18450091299a8008a842809109a801112999ab9a3371e00400e26114020022600c006600800261060244a66a002210802442a66aa666a0044426a004446012002444426012006210c0226008002210a02466a00244a6a0024466a0044646a02244444444444466a601a00821280221260261100244a66a002211002442a666ae68cdc78028010845808980200090843009299a99980d11199ab9a3371200400210a021080266a0ec660f001e66a0ec660f0002900103b83b9a806111111111111183200608418088410098408091299a800884100910a9a8011119a8011119aa99a99805982f19832919840809a8009111002001280480188440088438089804002884380919aa99a998440091299a800884400910a9a801111119aa999a801084700908478090a99a998098020058a99aa99a9980b19983aba97526610a02038014032426611e02002004211e022661100200a6611202611802046a11402211e02211e02211e022601000aa010210e02210c022600e008210c0226a01044444444444401460fe44a66a002210002442a66a6464a66a660f8004002210602210802a0146a00444440082600800221020244a6466a660280e80042660020060044426a0044464644a66a00c2666ae68cdc4180100500084300843809109980500600598430091299a8008a40004426a00444a666ae68cdc7801004898038008980300198428091299a8008a40004426a00444a666ae68cdc78010038800898030019119980c11199ab9a337100040021040210602004002466a0029001240004244600400646446a002444444444444601c00460f844a66a0022a0ee4426a00444a666ae68cdd78008038983e1a802110010980300189aa80091100109aa9a802911a80111111111111119a9999a8069011101110111198440091299a8008a84180910a9a801111a801111a8049119aa999ab9a3371e0080042666ae68cdc3801800848808480088480089846008040980500380690999981091a801111a80091111a8021119a80110480091984780800805284080843809a8081111111111110060b111a801111a8009111199825004002003991999ab9a3370e90001aab9d00123232323232323233221233001003002323333573466e1d200035573a002464646464646464646464646464646464646464646464646666666646664664664444444444442466666666666600201a01801601401201000e00c00a008006004660980020326609800202e4646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c090008c01c004d5d09aba2002357420026aae780088c98cd5ce02c82c042809baa0013304b0010142323333573466e1d200035573a0024646464646464646666444424666600200a00800600460ae00c66605ceb9402c010c8c8cccd5cd19b87480100048c84888c008010d5d09aab9e00323333573466e1d200200223212223001004375c6ae84d55cf00211999ab9a3370e900000190911001919319ab9c0640630900108f0108e0135573a0026ea8008cc161d70009aba1357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c058057084013754002666048eb94004044ccc091d72800807899811bae75a6609203601866604609ceb4028c8cccd5cd19b8748000d55ce80091919191919910919800801801191999ab9a3370e90001aab9d0012323232332212330010030023300675a00460b60026ae84d5d10011aba100135573c004464c66ae7017016c22004dd5001991999ab9a3370e90001aab9d0012323232332212330010030023300675a00460b60026ae84d5d10011aba100135573c004464c66ae7017016c22004dd50011119191999ab9a3370e90020009091100091999ab9a3370e90010011190911180180218031aba135573c00846666ae68cdc3a400000642444004464c66ae7018017c2300422c0422804d55ce8009baa001357426ae88008d5d08009aab9e00223263357380ac0aa104026ea8020cc125d700319981180d01b802199811bae037002301d001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e002232633573807a0780d26ea8018c0040148c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053039357426aae780108cccd5cd19b874800800c8c848888c004014c020d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c04104006d06c06b06a35573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c0f8008dd70009aba1357440046ae84004d55cf00391999ab9a3370e9001003119091111111803804181e1aba135573c01046666ae68cdc3a400000e46424444444600a010607a6ae84d55cf004919319ab9c04304206f06e06d06c06b06a06935573a0026ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e00223263357380760740ce6ea80048c8cccd5cd19b8748000d55ce80091bae357426aae780088c98cd5ce01d01c8331baa001357426ae88008d5d08009aab9e00223263357380680660c06ea800c88c88c008dd5800983a911999aab9f001206b23233506b3306d300635573a002600a6aae78004c010d5d10019aba10020343302523232332333573466e1d200200223232323322122330010040033005002375c0026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464244600400660066ae84d55cf002919319ab9c036035062232323333573466e1d20040012122200123333573466e1d2002002232323233221222330030050043031002375a0026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008606e00c606e008607c0046eb4004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780148c98cd5ce01c81c0328320319aab9d00137540020c06aae74004dd500080108178b1836911299a80088011109a801111980399980400100300080198361111299a80088011109a801112999ab9a3370e90000008999804003803001899980400399a83319981e8038010008030019111a8009111299a99299a99980483798050028038839099ab9c0010713372c92101760000715335325335300b005107213357380020e266e592410162000071533235325335335002223500222350032253353307000400213306b0030011078006107313357380020e466e5924010265610000815335325335335002069005107313357380020e466e592401026563000081325335335002071004107313357380020e466e5924010265620000810711322322300230040013074225335001107522153353233079225335001107922153353005002107c130040010023005002107613004001307222533500110672213350683500222002300400110701070107023222300333047002001306b225335001106c2232135003223003001306f2253350011300600322135002223335001253353300c480000044c01c01041d0894cd4cc0340080044c02001441d494cd4cc03000520001300700410743069225335001105e221350022233304704e35002223500122335065330670023350653306700100506606630060033068225335001106922153500222333573466e240052000106c130060033067222225323350042153350031330620010042215335006130044984cc19000c1b854cd400858884c00d262533500213566221350022235001222235004223350022333301101000f00e00a2533530100011533500f21613333011010307200b00e00a1333301101000f07600a505f3065225335001105a22133505b33500222200320013004001505d505c306222222222533533333302906800600500405d05d2223232221533500a13332221222233333001007006005009008533500e107010075004300300822153333335003221021101f222102222210222222210242221533353333015012007005003222133333330170780150020010073253350041304600122221323307f225335001100322133507500230040010063350701222223333004009008007006071500c300b0101122220031022306e225335001100422133506400230040011323306e22533500110032213350640023004001006303700211222200430612222253350011122200122132323350062225335333301c00b00a00333301300f00d007221330060020011500525335333301a00900800133301100d00b0052213300400200115003225335007222335333016008225333573466e3c0100044c1a800c541a4941a084ccc074018014004406c8cd4ccccc04c03803001888c1a00049419884ccc06c01000c00440644cccc01c018014010004c18088c8c8cccd5cd19b87480280048c8c8c8cc884888888cc01802001cc048008c020004d5d09aba2002357420026aae7800c8cccd5cd19b87480200088c8c8c8c8c8ccc8884888888ccc00c02402001cc098010cd4058054008c02c004d5d09aba2002357420026ae88008d5d08009aab9e00423333573466e1d20060032323232323233322212222223330010090080073301f00d004375a00460180026ae84d5d10011aba1001357440046ae84004d55cf00291999ab9a3370e9002002119191919191999110911111199802004804003980b802180680118068009aba1357440046ae84004d5d10011aba100135573c00c46666ae68cdc3a400400a4646464646464646464666664444424444446666600401601401201000e604e01064646666ae68cdc3a40040024609060546ae84d55cf00191999ab9a3370e9000001119091180100198159aba135573c008464c66ae700d00cc18017cd55ce8009baa006302e00433501d01c0023012001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026aae7801c8cccd5cd19b874800001880e88c98cd5ce01401382a0298290288280279aab9d0013754002400260bc44a666666a00244266e95200a335740600a00466ae80c010004dd8826899ba548000dd8825911099ba548010cd5d0180300199aba03005002335740600a0026ec41388884cdd2a401066ae80c13400ccd5d019a80380300119aba03005001376209c44444266e952002335740609a00a66ae80cd40108cdd2a400066ae80c138004dd8828919ba548008cd5d018270009bb1051335740609400666ae80cd4024020008cd5d018038009bb105022213374a900319aba0374e601000666ae80dd400119aba03005001376209c60ba44a66666666666a00244266e952000335740600800466ae80c010004dd88261099ba548018cd5d018238009bb104b13374a900a1bb104a213374a900219aba03003001376209644266e952002335740600800466ae80c010004dd8826099ba548048dd882511099ba548040cd5d019a80280200119aba0335005004001376209844266e95200833574066a00a00800466ae80cd4014010004dd882611099ba548028cd5d019a80280200119aba0335005004001376209844266e95200e33574066a00a00800466ae80cd4014010004dd882611099ba548030cd5d019a80280200119aba03350050040013762098660b844244a666666666666a00244266e95200633574066a600c2400200800466ae80cd4c01848004010004dd882691099ba548000cd5d0182500119aba03047001376209a4266e95200e33574060900026ec41308884cdd2a402c66ae80c01400ccd5d019a98038900080280119aba0335300712001005001376209c4266e9520023357406ea0004dd882611099ba548030cd5d019a98030900080200119aba0335300612001004001376209a44266e95200a33574066a600c2400200800466ae80cd4c01848004010004dd88269099ba548010cd5d019a9802890008018009bb104c2213374a900419aba033530061200100400233574066a600c240020080026ec41344cdd2a40246ec412c4cdd2a40206ec412c84cdd2a402866ae80c12c004dd882609000982d91299a80089bb104822133574000460080024446666600800600400244004466600c0044400446acc4444464a666ae68cdc3a40006aae740044c8cc010c024d5d080098031aba1357440026aae780044c00926375400644464a666ae68cdc3a40046aae740044c8cc010c018d5d08009bae357426ae88004d55cf0008980124c6ea800c8c8c8cccd5cd19b87480100048c84888c004010c014d5d09aab9e00323333573466e1d2002002232323233221222330030050043013002330122323333573466e1d200035573a0024646464664424660020060046eb4008dd68009aba1357440046ae84004d55cf001119319ab9c02001f04c37540020026ae84d5d10011aba100135573c00846666ae68cdc3a4000006464646464646464666644442444666600400e00c00a008603200c6032008604000466a01e01c0026ae84d5d10011aba1001357440046ae84004d5d10011aba100135573c00a464c66ae7006c06811c118114d55ce8009baa00130562232323333573466e1d2014001212222222222200923333573466e1d2012002212222222222200623333573466e1d2010003232323233221222222222223300500d00c33500b00a00233500b00a001357426ae88008d5d08009aab9e00523333573466e1d200e004232323233221222222222223300200d00c33500c00b00233500c00b001357426ae88008d5d08009aab9e00623333573466e1d200c005232323233221222222222223300100d00c33500d00c00233500d00c001357426ae88008d5d08009aab9e00723333573466e1d200a006232323233221222222222223300300d00c33500e00d00233500e00d001357426ae88008d5d08009aab9e00823333573466e1d2008007232323233221222222222223300400d00c33500f00e00233500f00e001357426ae88008d5d08009aab9e00923333573466e1d2006008232122222222222300a00c3016357426aae780288cccd5cd19b87480100248c8488888888888c020030c034d5d09aab9e00b23333573466e1d200200a232323233221222222222223300700d00c30110023011001357426ae88008d5d08009aab9e00c23333573466e1d200000b232323233221222222222223300b00d00c30120023012001357426ae88008d5d08009aab9e00d232633573804604409e09c09a09809609409209008e08c08a6aae74004dd50009982a9109119191999ab9a3370e900b000919191919191999110911111111111199804807807006980500219a98060900080500119a9806090008050009aba1357440046ae84004d5d10011aba100135573c00646666ae68cdc3a40280044642444444444444600201a60306ae84d55cf00211999ab9a3370e90090019091111111111100191999ab9a3370e90080021091111111111100111999ab9a3370e900700291909111111111111805006980a1aba135573c00e46666ae68cdc3a401800c4646464664424444444444446600e01c01a66a601e2400201a00466a601e2400201a0026ae84d5d10011aba100135573c01046666ae68cdc3a401400e4646464664424444444444446600c01c01a66a60202400201c00466a60202400201c0026ae84d5d10011aba100135573c01246666ae68cdc3a40100104646464664424444444444446600801c01a66a60222400201e00466a60222400201e0026ae84d5d10011aba100135573c01446666ae68cdc3a400c0124646464664424444444444446601801c01a66a60242400202000466a6024240020200026ae84d5d10011aba100135573c01646666ae68cdc3a4008014464642444444444444600a01a66a60222400201e0026ae84d55cf00611999ab9a3370e9001005919091111111111118040069bad357426aae780348cccd5cd19b87480000308c8c8c8cc884888888888888cc02c038034c07c008c098004d5d09aba2002357420026aae780388c98cd5ce0128120288280278270268260258250248240238231aab9d00137540022400224444004444244466600600c00a00824440044444a666a00444642666a00844a66a6609e00a0042a66a60060022660160186a0104444666609a008666604c0a6012010006004002201420144444018401260ae44a66a00220ae4426a00444a666ae68cdc4003801098030018a999ab9a3371200e00220b82600c00644442666a00a440164444a66a660a60100082a66a660a600e0062a66a6609c00c0042a666ae68cdc38029998248060058008998072999ab9a3371200a90000891199980080280300200388079a805911119998281999813806005004802001801000880688068806880690050999a8009100391110049299a99982180280200089980380400208031109119801002001891000891001119118011bac001304e2233335573e0024088466a08660086ae84008c00cd5d10010069191999ab9a3370e90001aab9d001232323233221233001003002375c004600e0026ae84d5d10011aba100135573c004464c66ae700340300e4dd5000919191999ab9a3370e900100091909118008019bae357426aae7800c8cccd5cd19b87480000088c8c8c8cc88488cc00801000cc034008c024004d5d09aba2002357420026aae780108c98cd5ce00700681d01c9aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc120c024008cc01c020004d5d09aba2002357420026aae780088c98cd5ce00580501b9baa0012232323333573466e1d2000001230483005357426aae7800c8cccd5cd19b8748008008941208c98cd5ce00680601c81c1aab9d0013754002464646666ae68cdc3a40040024646464646466644424466600200a0080066eb4010dd68011bad001357426ae88008d5d08009aba2002357420026aae7800c8cccd5cd19b87480000088c8488c00800cc018d5d09aab9e004232633573801601406e06c6aae74004dd5000919191999ab9a3370e9001000918231bae357426aae7800c8cccd5cd19b87480000088c8488c00800cdd71aba135573c008464c66ae700280240d80d4d55ce8009baa0012323333573466e1d2002001204823333573466e1d20000022048232633573801000e0680666aae74dd50009191999ab9a3370e90001aab9d0012375c6ae84d55cf001119319ab9c00600503237540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008dd70011bae001357426ae88008d5d08009aab9e002232633573800a0080626ea80044800524010350543100304122222225333553333335003221333300c53353330370070060021015112222200500f00600113500422225335300d00421350012235002222333301401d3016333302100330250030020013333041004009008007022100f2221333300d01601000753353330380080070031002100122323221333300f35009222230060020123500922223333040004003333301904e0095007002001001304b225335001101822135002225333573466e3c0080244c8488888ccc00403c01c019401c4c01800c4ccc0d801c018004888884c94ccd5cd19b89001480004cccc040488888cccc00c02c02802401804c0280084cc8c8ccc048c94ccd5cd19b8800100411222223333300200e00d00c006009101c50013014333301f00800700650013500c222233330433233500c2333301c00100c500750022500213232333301d00e00c337020040026a0244444008a00ca00c006004002264a666ae68cdc480080188008801a80089a805111119982100500400200119981c80500480111109a804112999ab9a3371000200820202a666ae68cdc48020010999980780c00900480188911001889100089991091199998010050020018040039a8040011a8040009191110999999806026005001000a99999a80288020803911108041111108049110803a99a80188031099a82000080399a81d80080189911980100081a9820111299a80108009109980280099a81b801001981f91299a8008a81d1109a801111a801112999ab9a33712006900009804002898209981d99980800100080180289110011111091119998008038030028020910011091180080191112999ab9a3371200490000800899199980300280219b8000100300233302e00400300122322333573466e2400520002300300123333010223500222350032253353303a004002133035003001104222001001323350310010323303233032005004002303b2253350011030221350022235002225323353303a00300b153353303500200a1006150011500113350353303700400330080052222333300e004220010013233502f00103033030003002222123330010040030023036225335001102b2215333335002133502c12222200530040011300400122221335030122222333300300900800700630080052222213350311222223333300200a0090080070063009006222133502f12222233300100800700630070041222220043034225335001102922133502a002300400130011222220012122300200322221233330010050040030021222222005132123300100202433001025223330090100020012232223003333500e0050020013030225335001102522133502635002223302a0023335001200122330090020012001300400121223001003302c2253350011021221350022233300a0113500122220033006003302b22533500110202213233300800f3500322220030013004001302a225335001101f2213233300700e533350032210242222135002225333573466e2400d2000102813350273302900233502733029001003028028102200130040013029225335001101e2213233300600d35003220010013004001232223003330050020013029225335001101e22133501f3500222330230023300f233350012330094800000488cc0280080048cc0240052000001300400122300333350040260020013026225335001101b22133501c35002223302000233350012300a00122333500902b0020012300b001300400113222232323302b22533500110032213350210023004001300200430053300623500123223002007302c225335001102d221350022253353300c0020071030130060030023029225335001101e22133501f350022232330240033001008302f2253350011355012003221350022253353300f002008112223300200a0041300600330040013025225335001101a22133501b35002223301f002300d0013004001232230020013025225335001101a2213253353006003133501c003001100130040013023225335001101822133501935002223301d002300b00130040013022225335001101722133501835002223301c0023550090013004001223370000400246446004002604244a66a002202c44266a02e6a0044466036004600e002600800242444600600822424446002008603a44a66a00226ec8028884d400888cd5d019bb033300700b0080023750002600c0064446a0024466e952000335740600a00466ae80c010004dd880611a8009119ba548000cd5d01ba90023357406ea4004dd8804980d11299a80089bb2007221350022233574066ec0c01c008dd4000980300191a8009119ba548000cd5d01ba900233574060080026ec401c8cd400488cdd2a400066ae814cd40084cdd2a40046ec40184cdd2a40006ec4018cd5d01a8009119ba548000c8cd5d0180080199aba05335002213374a900019aba033500123374a900019aba03003001376201644466e9520023357406ea000ccd5d01ba80023357406ea0004dd88069bb100a13374a90011bb10093762012466a002466e9520003357406ea4004dd8805119ba548008cd5d01ba900137620146ec40188cdd2a400466ae80dd48009bb10053017225335001137640084426a0044466ae80cdd818038011ba8001300600323374a900019aba037520026ec4009263500222001350012200233230010012232123532123300123003223002003230032230010032353003004350040010013002002122233003222533333333333500122153353330070050040021333007005004001101823213500422223005003301922533500110192213500222533533014002007101e130060031016215335333006004003001101710182215335333007005004002101913330070050040011017221333573466e1cccc018014010008ccc018014010004064060884ccd5cd19b88333006005004002333006005004001018019221333573466e24ccc018014010008ccc018014010004060064884ccd5cd19b89333006005004002333006005004001019018221333573466e20ccc018014010008ccc0180140100040640608894cccccccccccd4004884cdc01998030028020011998030028020009109a802111119980700300280211909a80211111802801980c91299a8008a40004426a00444a66a6602800400e20022600c0064442a66a66601000c00a006266600e00c00a004266600e00c00a0024200244264a666ae68cdc3a400000229000099b843330070060050030013330060050040012213370466600c00a00800466600c00a0080024266e0520003330050040030012213370266600c00a00800466600c00a00800226a0064400226a0064400446426a0084444600a004603244a66a002290001109a801112999ab9a3371e00400e20022600c006444424666600200a008006004446446004002602444a66a002290001109a801111a80111299a998080010050a99a9980580080488018980400289804002911a801111a801912999ab9a3371e008004266024006002202624400424424466002008006442466002006004446a004446a00644a666ae68cdc780200109980380180088079119a8011119a80191299a8020a99a80109980380180088070a99a80108070998038018009006919a80111006919805801000911a801111a801911919a802919a80212999ab9a3371e0040022a00620204020466a00840204a666ae68cdc78010008a80188080a99a80190a99a8011099a801119a801119a801119a8011198090010009009919a801100991980900100091100991119a80210099112999ab9a3370e00c0062a666ae68cdc3802801099809802000880a880a88070a99a8009080708071109198008018011091180100188910009091180080191199ab9a3370e00400200a00844666ae68cdc7801000802001891001091000919180080091198019801001000a4411cfcb8885eb5e4f9a5cfca3c75e8c7280e482af32dcdf2d13e47d05d270001"} \ No newline at end of file diff --git a/marlowe/scripts/open-role.plutus b/marlowe/scripts/open-role.plutus index c68f4d03c8..1a4ac7fb08 100644 --- a/marlowe/scripts/open-role.plutus +++ b/marlowe/scripts/open-role.plutus @@ -1 +1 @@ -{"type": "PlutusScriptV2", "description": "", "cborHex": "590e69590e6601000033233223322332233223232323232323233223232323232323232222253235323333573466e1d200035573a00246464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cc8848cccccccccccc00400c05c05404c04403c03402c024008014010c094dd600b19981500d10008021aba1357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d55cf0011300c9baa0033001002232323333573466e1d200600123212222300400532323333573466e1d200c00121222222200323333573466e1d200a00221222222200423333573466e1d2008003232323233221222222233001009008375c0046eb4004d5d09aba2002357420026aae780148cccd5cd19b87480180108c8c8c8cc8848888888cc008024020dd70011bae001357426ae88008d5d08009aab9e00623333573466e1d2004005232323233221222222233006009008301b002375c0026ae84d5d10011aba100135573c00e46666ae68cdc3a400400c46424444444600e01060326ae84d55cf00411999ab9a3370e9000003919091111111802804180d1aba135573c0124c04604404204003e03c03a6aae74004dd51aba135573c00646666ae68cdc3a400800446424444600400a60246ae84d55cf00211999ab9a3370e90010019180618091aba135573c00a46666ae68cdc3a400000846424444600600a6eb8d5d09aab9e0062601d01c01b01a35573a0026ea8004d5d09aba2002357420026aae780089804cdd5001111a8011111111111111999a80690b10b10b119a99191919191919299aa99a9980391919a801118010009118018011299919a8011109a8011119a8009101e119806800a8031111099a8019101e119806800a80309aa80311000881aa99a9919191981c11299a8008a8191109a8011129999a80111999a805119aa9999999a80110a9999999a801109980580100091082090820081f881f910820910820910a9999999a80190820910a99a9980680200109980a0018008821108208820082011082111082110a9999999a801108201108209099805801000881f881f9108209108208a9999999a8009081f9108201081f881f881f1108201108200a9999999a8009081f9108201081f881f081f910820110820110a9999999a801908209108211082088200820110a999ab9a3371e0080042660280060022084442084442a6666666a006420824420844208220802080442084442a666ae68cdc780200109980700180088210981c8018980400290980400290980400290980400291999a805109804002919a998080010008981c8018980400290980400290980400291999a805109804002909804002919a998048010008981c8018980400290980400291999a805109804002909804002909804002919a998088010008981c801898040028071119a801119a80111980480100091101d91119a802101d9112999ab9a3370e00c0062a666ae68cdc3802801099804802000881e881e91199ab9a3370e00400206e06c602e6aa0044400442a66a66666605600244a0604a05e0484a05e4a05e420022c2c4206a206620022066a666ae68cdc4991919191981c11299a8008a40004426a00444a666ae68cdc78010048980380089803001802181b91299a8008a40004426a00444a666ae68cdc78010038800898030019bae01b35500422002355001223500122220034800040c840cc54cd4cc0148d400488cc010d40048888d401088008c0c8070048840045888cd40088cd40088cc01800800480d08cd400880d08cc01800800454cd4d54cd4cc00c8d400488cc01400801c040840045888d4004888800c58884d4008894c8cd40104c005262213500222533500113005498884d4008894cd400c54cd401c54cd4cc03802d22010013302b00600213009498884c02d26221300b49894cd400858884d4008894cd400c54cd4020588854cd40044cc0a40240108858885888ccd5cd19b8f00200103103022350022235003225333573466e3c0100084ccd5cd19b87003001034033103323223002001302f22533500115029221533530050021302c00213004001102416212222300100530192233335573e0024018466a016646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c024008c8cccd5cd19b8748000d55ce80091919191919191919999111091999800802802001801191999ab9a3370e90001aab9d00123232323302630190023301a018001357426ae88008d5d08009aab9e0022601e375400c66602ceb8cc059d73ad00432323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a4000006424440064c04204003e6aae74004dd50011980abae001357426ae88008d5d08009aba2002357420026ae88008d5d08009aab9e0022601537540026ae84d5d10011aba100135573c0044c0206ea8d5d080118019aba20020112323333573466e1d200035573a002464646466442466002006004646666ae68cdc3a40006aae740048dd71aba135573c0044c0246ea8008dd68009aba1357440046ae84004d55cf001130069baa001232323333573466e1d20020012323232323233301a375a0086eb4008dd68009aba1357440046ae84004d5d10011aba100135573c00646666ae68cdc3a40000044602e600c6ae84d55cf002130070069aab9d0013754002464646666ae68cdc3a40040024602c6eb8d5d09aab9e00323333573466e1d200000223018375c6ae84d55cf002130068061aab9d00137540024464646666ae68cdc3a400000246026600a6ae84d55cf00191999ab9a3370e900100112809930068061aab9d00137540024464460046eac004c05888cccd55cf800900491919a8049980398031aab9d001300535573c00260086ae8800cd5d08010071109198008018011809111999aab9f0012300e0052533533333300a35742004446666ae68cdc3a40040044666014004a02044666018002a0244466601c002a66a601a00842a66a602200642602e244660020080062a02a264a02a602000444a02c46666ae68cdc3a40000064666016006a0224466601a002a66a601800442602a24460040062a02644a02a4a0220160144a01c4a01c4a01c4a01c42a66a60086ae8800c84c040cd4018008004540384c94038c00cd5d1001005091001091091198008020019199999802800911999ab9a3370e9002001119980280118060911000912806919919199ab9a3370e90010029199804002a80711199805000a80811199806000a99a999999807802111999ab9a3370e90000011199807801280a91199808800a80b91199809800a99a980a80210a99a980700190980e09198008018010a80d099280d180680111280d9280a8079280992809928099280990a99a980400190980a8911198018028020a8098992809980380111280a11999ab9a3370e90000031199804803280791199805800a80891199806800a80991199807800a80a91199808800a99191919a980700590a99a980780510a99a980200490a99a980900410980f891119998010038030028020a80e8a8028a8010992801180700489928019800803119999980b000911999ab9a3370e9000001119980b001280e1119980c000a80f1119980d000a99a980e00210a99a980e80190981189198008018010a8108992810980e0011128111280e00b1280d1280d1280d1280d099280c180600111280c928078049199999805000911999ab9a3370e90010011199805001280811199806000a99a980700110980a09118008018a80911280a11999ab9a3370e90000019199805801a80891199806800a80991199807800a9919a999999809802911999ab9a3370e900100111999aab9f0022301b02123232501c357440086ae8400c05c8cccd5cd19b874800000c8cccd55cf8019180e01091919280e9aba2005357420080304a0340280264a02e4a02e4a02e4a02e42a66a6004008426032244660040080062a02e264a02e60020064666666026002446666ae68cdc3a40000044666026004a0324466602a002a0364466602e002a64646466a600600e42a66a6600400600c426046660420040022a042264a0426600200400a4466666603c002446666ae68cdc3a400000446666aae7c008940948c8ccc080d5d1002299a980380090981418140008a8131128141aba100302223333573466e1d2002003233335573e0064604ea04c46464a0506ae88014d5d08020119281280f80f12811128111281112811119999980e000911999ab9a3370e9001001119980e00128111119980f000a81211199810000a81311199811000a9919a980f00390a99a980f80310a99a98100029098169998170018010008a8158a8010992801180f0028992814980e80111281511999ab9a3370e9000001919980e801a8119119980f800a99a980400110981398148008a8129128139281180e80e12810128101281012810119999980d800911999ab9a3370e9001001119980d80128109119980e800a99a980f80110981298140008a81191281291999ab9a3370e9000001919980e001a8111119980f000a99a981000110981318150008a8121128131281100e00d9280f9280f9280f9280f91280f9280c8099280b9280b9280b9280b91280b9280880580512807128071280712807119999980480091280712806928069180700092806803002928049280492804928049111999aab9f0032003233002357420086ae8801001d262333333002001225007250062500625006230070012222223333333574800c4646600e6aae74004d55cf0009baa00723005375600e460086eb001c8c00cdd6803918011bae0070071200122123300100300221223002003112200121223002003222122333001005004003212230020032122300100312200212200123230010012233003300200200148811c6027a8010c555a4dd6b08882b899f4b3167c6e4524047132202dd9840001"} \ No newline at end of file +{"type": "PlutusScriptV2", "description": "", "cborHex": "590f2c590f29010000332332233223322332232323232323232332232323232323232323232222253235323333573466e1d200035573a00246464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cc8848cccccccccccc00400c05c05404c04403c03402c024008014010c094dd600b19981600d10008021aba1357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d55cf001119319ab9c01401f01b37540066002004464646666ae68cdc3a400c00246424444600800a64646666ae68cdc3a401800242444444400646666ae68cdc3a401400442444444400846666ae68cdc3a40100064646464664424444444660020120106eb8008dd68009aba1357440046ae84004d55cf00291999ab9a3370e90030021191919199109111111198010048041bae002375c0026ae84d5d10011aba100135573c00c46666ae68cdc3a400800a46464646644244444446600c01201060380046eb8004d5d09aba2002357420026aae7801c8cccd5cd19b87480080188c848888888c01c020c068d5d09aab9e00823333573466e1d2000007232122222223005008301b357426aae780248c98cd5ce00f01481281201181101081000f9aab9d00137546ae84d55cf00191999ab9a3370e900200111909111180100298099aba135573c00846666ae68cdc3a40040064601860266ae84d55cf00291999ab9a3370e90000021190911118018029bae357426aae780188c98cd5ce00c01180f80f00e80e1aab9d00137540026ae84d5d10011aba100135573c004464c66ae70038064054dd5001111a8011111111111111999a80690980b249035054350021301649010350543500213016490103505435002335323232323232325335533533007232335002230020012230030022533233500222135002223350012203e23300d0015006222213350032203e23300d0015006135500622001103753353232323303a22533500115034221350022253333500223333500a233553333333500221533333335002213300b00200122104321042104110412210432210432215333333350032104322153353300d004002133014003001104421043104210422210442210442153333333500221042221043213300b00200110411041221043221043153333333500121041221042210411041104022104222104215333333350012104122104221041104010412210422210422215333333350032104322104421043104210422215333573466e3c0100084cc05000c00441108841108854ccccccd400c8410c8841108410c410841088841108854ccd5cd19b8f00400213300e00300110441303b0031300800521300800521300800521300800523333500a2130080052335330100020011303b0031300800521300800521300800523333500a2130080052130080052335330090020011303b0031300800521300800523333500a2130080052130080052130080052335330110020011303b0031300800500e22335002233500223300900200122203d222335004203d2225333573466e1c01800c54ccd5cd19b87005002133009004001103f103f22333573466e1c0080040e40e0c05cd5400888008854cd4cccccc0b40048940c8940c4098940c4940c4840044c0792410133001301d491013300210371035100110355333573466e24c8c8c8c8cc0e8894cd40045200022135002225333573466e3c0080244c01c0044c01800c010c0e4894cd40045200022135002225333573466e3c00801c40044c01800cdd700d9aa802110011aa800911a8009111001a40002068206a2a66a6600a46a00244660086a00244446a0084400460680380244200226036920101310022335002233500223300600200120362335002203623300600200115335355335330032350012233005002007010210011301949010131002235001222200313019491013200221350022253233500413001498884d4008894cd40044c015262213500222533500315335007153353300e00b4890013302d00600213009498884c02d26221300b49894cd40084c07924010132002213500222533500315335008130224901013200221533500113302b0090042213026491013200221302449101320022333573466e3c0080040cc0c888d400888d400c894ccd5cd19b8f0040021333573466e1c00c0040d80d440d48c88c008004c0c4894cd4004540ac8854cd4c0140084c0b80084c01000440984c05924103505435002122223001005301b2233335573e002401c466a01a646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c028008c8cccd5cd19b8748000d55ce80091919191919191919999111091999800802802001801191999ab9a3370e90001aab9d001232323233028301a0023301b019001357426ae88008d5d08009aab9e00223263357380320480406ea8018ccc061d71980c3ae75a00864646666ae68cdc3a4008002464244460040086ae84d55cf00191999ab9a3370e9001001119091118008021bae357426aae780108cccd5cd19b874800000c8488800c8c98cd5ce00e0138118110109aab9d00137540046602ceb8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce00800d80b9baa001357426ae88008d5d08009aab9e002232633573801602c0246ea8d5d080118019aba200201323263357380020224646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091bae357426aae780088c98cd5ce00600b8099baa002375a0026ae84d5d10011aba100135573c004464c66ae7001c048038dd5000919191999ab9a3370e90010009191919191919980d9bad004375a0046eb4004d5d09aba2002357420026ae88008d5d08009aab9e00323333573466e1d2000002230183006357426aae780108c98cd5ce0040098078071aab9d0013754002464646666ae68cdc3a40040024602e6eb8d5d09aab9e00323333573466e1d200000223019375c6ae84d55cf002119319ab9c00701200e00d35573a0026ea800488c8c8cccd5cd19b87480000048c050c014d5d09aab9e00323333573466e1d200200225014232633573800e02401c01a6aae74004dd5000a48103505431002232230023756002602c446666aae7c00480248c8cd4024cc01cc018d55ce80098029aab9e0013004357440066ae840080388848cc00400c008c04888cccd55cf800918070029299a9999998051aba1002223333573466e1d2002002233300a00250102233300c00150122233300e0015335300d004215335301100321301712233001004003150151325015301000222501623333573466e1d2000003233300b00350112233300d0015335300c0022130151223002003150132250152501100b00a2500e2500e2500e2500e21533530043574400642602066a00c0040022a01c264a01c60066ae88008028488008488488cc00401000c8cccccc01400488cccd5cd19b87480100088ccc014008c03048880048940348cc8c8ccd5cd19b87480080148ccc020015403888ccc028005404088ccc0300054cd4cccccc03c01088cccd5cd19b87480000088ccc03c009405488ccc044005405c88ccc04c0054cd4c054010854cd4c03800c84c07048cc00400c008540684c94068c03400889406c9405403c9404c9404c9404c9404c854cd4c02000c84c0544888cc00c0140105404c4c9404cc01c0088940508cccd5cd19b87480000188ccc024019403c88ccc02c005404488ccc034005404c88ccc03c005405488ccc0440054c8c8c8cd4c03802c854cd4c03c028854cd4c010024854cd4c04802084c07c4888cccc00801c0180140105407454014540084c94008c0380244c9400cc0040188cccccc05800488cccd5cd19b87480000088ccc058009407088ccc060005407888ccc0680054cd4c070010854cd4c07400c84c08c48cc00400c008540844c94084c07000889408894070058940689406894068940684c94060c0300088940649403c0248cccccc02800488cccd5cd19b87480080088ccc028009404088ccc0300054cd4c03800884c050488c00400c540488940508cccd5cd19b874800000c8ccc02c00d404488ccc034005404c88ccc03c0054c8cd4cccccc04c01488cccd5cd19b87480080088cccd55cf8011180d81091919280e1aba20043574200602e46666ae68cdc3a400000646666aae7c00c8c0700848c8c94074d5d10029aba10040182501a0140132501725017250172501721533530020042130191223300200400315017132501730010032333333013001223333573466e1d20000022333013002501922333015001501b22333017001532323233530030072153353300200300621302333021002001150211325021330010020052233333301e001223333573466e1d2000002233335573e0044a04a4646660406ae880114cd4c01c00484c0a0c0a0004540988940a0d5d080181111999ab9a3370e900100191999aab9f0032302750262323250283574400a6ae8401008c9409407c078940889408894088940888cccccc07000488cccd5cd19b87480080088ccc070009408888ccc078005409088ccc080005409888ccc0880054c8cd4c07801c854cd4c07c018854cd4c08001484c0b4ccc0b800c008004540ac540084c94008c0780144c940a4c0740088940a88cccd5cd19b874800000c8ccc07400d408c88ccc07c0054cd4c02000884c09cc0a40045409489409c9408c074070940809408094080940808cccccc06c00488cccd5cd19b87480080088ccc06c009408488ccc0740054cd4c07c00884c094c0a00045408c8940948cccd5cd19b874800000c8ccc07000d408888ccc0780054cd4c08000884c098c0a8004540908940989408807006c9407c9407c9407c9407c89407c9406404c9405c9405c9405c9405c89405c9404402c028940389403894038940388cccccc02400489403894034940348c0380049403401801494024940249402494024888cccd55cf80190019198011aba10043574400800e931199999801000912803928031280312803118038009111111999999aba40062323300735573a0026aae78004dd5003918029bab00723004375800e460066eb401c8c008dd700380389000910919800801801109118010018891000909118010019110911998008028020019091180100190911800801891001091000919180080091198019801001000a4411c377325ad84a55ba0282d844dff2d5f0f18c33fd4a28a0a9d73c6f60d0001"} \ No newline at end of file diff --git a/nix/marlowe-cardano/scripts.nix b/nix/marlowe-cardano/scripts.nix index e71b7dea94..00d1109b40 100644 --- a/nix/marlowe-cardano/scripts.nix +++ b/nix/marlowe-cardano/scripts.nix @@ -26,7 +26,6 @@ in cd $(git rev-parse --show-toplevel) mkdir -p marlowe/scripts cp ${inputs.marlowe-plutus.packages.validators}/*.plutus marlowe/scripts/ - mv marlowe/scripts/marlowe-openroles.plutus marlowe/scripts/open-role.plutus chmod u+w marlowe/scripts/* '';