CVE-2023-42448 (Other, published 2023-10-04T19:15Z)
Description: value: Hydra is the layer-two scalability solution for Cardano. Prior to version 0.13.0, the specification states that the contestation period in the datum of the UTxO at the head validator must stay unchanged as the state progresses from Open to Closed (Close transaction), but no such check appears to be performed in the `checkClose` function of the head validator. This would allow a malicious participant to modify the contestation deadline of the head to either allow them to fanout the head without giving another participant the chance to contest, or prevent any participant from ever redistributing the funds locked in the head via a fan-out. Version 0.13.0 contains a patch for this issue.
Severity: nan (CVSS v3 base score: 8.1)
Weakness: CWE-1284 \u2014 Improper Validation of Specified Quantity in Input
The product receives input that is expected to specify a quantity (such as size or length), but it does not validate or incorrectly validates that the quantity has the required properties.
Repository: https://github.com/input-output-hk/hydra
Files changed:
CHANGELOG.md
hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs
hydra-plutus/hydra-plutus.cabal
hydra-plutus/scripts/mHead.plutus
hydra-plutus/scripts/vCommit.plutus
hydra-plutus/scripts/vHead.plutus
hydra-plutus/scripts/vInitial.plutus
hydra-plutus/src/Hydra/Contract/Head.hs
Commit message: Ensure close transaction does not change contestation period


Vulnerable code:
import Hydra.Snapshot (Snapshot (..), SnapshotNumber)
version:       0.12.0
    , plutus-core           >=1.7 && <1.8
    , plutus-ledger-api     >=1.7 && <1.8
    , plutus-tx             >=1.7 && <1.8
    , plutus-tx-plugin      >=1.7 && <1.8
    "description": "hydra-mHead-0.11.0-439-g9f4198034",
    "cborHex": "590f9f590f9c0100003332323322323232323322332232323232323232323232323232323232323222222533532533532323333573466e1c0052002212200223333573466e1c009200021220012326320243357380420440440426aae74004dd50018998092481034d303600533533301022333573466e3c00800407006cc044004cc03803cc04cd40048800884cc094894cd40044074884d4008894cd4ccd5cd19b88001480000840804c01800c408000440644c8cc02ccc03cc04d2401034d3031003233026225335001101d22153355335333573466e3cd402888008d40088800808007c4ccd5cd19b873500a22001350022200102001f101f10201300400100133300d300e120012350012200235500122222222222200c323232323233010330143018491034d3032003322333573466e1c008004088084cc050cc044c894cd400484c00c004520003233223223002001302d2253350011003221330063500222001300400130012200230012200123300101f48000cc044cc05888ccd5cd19b8f0020010220215005015301950063301e500148008cc040cc050c0612401034d3033003323223002001302b225335001102222135002225335333573466e3c00801c09c0984c0580044c01800d4014d5400c88004cc040c8cc044cc0652401034d3034003322333573466e1c00800408c0894008cc03c4488c88c008004c0b4894cd4004400c884cc018008c0100054004c8cc0b0894cd400440908854cd54cd4ccc07088ccd5cd19b8f002001028027500b301b00221533500113021498884d4008894cd400c54cd4ccd5cd19b87001480080ac0a840ac4c0952622130274984c08d241034d30370013004001102500150011333012301312001235001220013300400c5006330143018491034d303500330103322333573466e3c008004088084d5400888800d4014c94cd4ccd5cd19b8f35001220023500b220020210201333573466e1cd400488004d402c880040840804080d540088880084d5400488800454ccd4d54004880084c06d2401034d31300021301c4901034d31300021533532533532355007222222222222300d002302a2253350011502922135002225335333573466e3c0080200980944c0b80044c01800c84c0080045409ccc0408ccccccd5d200091991919199ab9a3370ea004900311999aab9f50022302e122220032502d029232323232323232323232323232323232323333573466e1d40512004233335573ea0284a07e46666aae7d404c941008cccd55cfa8099282091999aab9f501325042233335573ea0264a08646666aae7d404c941108cccd55cfa8099282291999aab9f35744a0284a66a660280246ae854070854cd4c048d5d0a80d90a99a980a9aba1501b215335301435742a03642a66a60286ae85406c854cd4c060d5d0a80d90a99a9980d00c9aba1501b21304e12222333333300400b00a0090080070060051504c1504b1504a150491504815047150462504604204104003f03e03d03c03b23333573466e1d40552002233335573ea02a4a08046666aae7d4024941048cccd55cfa8049282111999aab9f500925043233335573e6ae89402894cd4c038d5d0a80d10a99a998098089aba1500e215335301335742a01c42a66a60286ae85403884c12448888cccc00402001c0180145411c541185411454110941101000fc0f80f40f08cccd5cd19b875016480008cccd55cfa80b1282091999aab9f500725042233335573ea00e4a08646666aae7d401c941108cccd55cf9aba2500825335300f35742a03642a66a660280246ae854030854cd4c050d5d0a80610a99a991999999aba40012333233573466e1cd55cea800a4000464646666aae7d40089413c8cccd55cfa8011282811999aab9f35744a0064a66a646666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f500125057233335573e6ae89400894cd4c094d5d0a80190982d0008a82c1282c02a02989aab9e5002137540044a0a80a24a0a64a0a64a0a64a0a609e6ae854014854cd4c074d5d0a80290982a198290010008a8290a8289282882682602589aba25001135573ca00426ea80089412c12094128941289412894128118d5d0a8061098250911119998010040038030028a8240a8238a8230a8229282282082001f81f01e9282001e81e01d89aba25001135744a00226ae8940404d5d1280089aba25001135744a01a46666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f50012503c233335573e6ae89400894cd4c020d5d0a80190981f8008a81e9281e81c81c09aab9e5002137540044a07206c4a0704a0704a0704a07006846666666ae90004940dc940dc940dc8c0e0dd68011281b8199299a980100090981b8008a81a91999999aba40012503525035250352503523036375c00406246446666666ae90004940d8940d88c00cdd60011281b1281b019181b111999aab9f001230370312533530043574200442a66a60086ae8800c84c0e4cd40c8008004540dc540d80c84d5d1280089aba25001135744a00226ae8940044d5d1280089aba25002135573ca00426aae7540044dd500101312814128141281412814012100090a9999a80091111110981124c26036931111099091998008020018011980908911911801000981811299a800880191099803001180200080191110980fa4c26034930a99a9980080428018980ca4c4426a00444a66a006266054004002442603e93111a800911111111111199aa980b89000911a80111111a8021119a80110041299a999ab9a3371e00202e066064266a0686607800a00c01020100580142602400426a0024400464646666ae68cdc3800a400046464646464646644246600200600464646666ae68cdc3800a400046464646464646464646464646464646464646464646464646464646666664444442466666666666600200e02400c00a00801c01a01800601400401066020464646666ae68cdc3800a4000464646466442466002006004605000460280026ae84d5d128011aba15001135573c006464c6409466ae7011c120120d55ce8009baa00100c3301000d00a33300f75c01c01266601eeb8038020cc041d7002199807bae2001002357426ae894040d5d0a8079aba1500f35742a01e6ae85403cd5d0a8079aba1500f35742a01e6ae85403cd5d0a8079aba1500f35742a01e464646666ae68cdc3800a4000464646464646464646666444424666600200a00800600464646666ae68cdc3800a400046464646644246600200600460500046601604e0026ae84d5d128011aba15001135573c006464c6409066ae70114118118d55ce8009baa00433300e75c01a00664646666ae68cdc3800a4008464244460040086ae84d55cf00191999ab9a3370e004900111919091118008021bae001357426aae780108cccd5cd19b87003480008488800c8c98c8128cd5ce0238240240238231aab9d00137540046600aeb8004d5d09aba2500535742a0086ae854010d5d0a8021119191999ab9a3370e0029000119182418030009aba135573c00646666ae68cdc3801240044a08e464c6408c66ae7010c11011010cd55ce8009baa001135744a00226ae8940044d55cf00191931901e99ab9c03a03b03b35573a0026ea80048ccc009d73ad0012232230023756002607a446666aae7c00480e08c8cd40e0cc100c018d55cea80098029aab9e500130043574400626ae840080e48c88c008dd6000981d911999aab9f0012036233503530043574200460066ae880080dc4d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573c006464c6405666ae700a00a40a4d55ce8009baa00232323333573466e1c00520062323212222300400532323333573466e1c005200c21222222200323232323333573466e1c015200a21222222200423333573466e1c01920082323233221222222233001009008375c0046eb4004d5d09aba2500435742a00646666ae68cdc3803a400c46464664424444444660040120106eb8008dd70009aba135744a00c6ae8540148cccd5cd19b87008480108c8c8cc8848888888cc018024020c050008dd70009aba135744a0106ae85401c8cccd5cd19b87009480088c8c848888888c01c020c050004d5d09aab9e00b23333573466e1c0292000232321222222230050083015001357426aae780308c98c80e0cd5ce01a81b01b01a81a01981901889aab9e005135573c00826aae7800c0b4d55ce8009baa001357426aae7800c8cccd5cd19b87002480108c8c848888c008014c024004d5d09aab9e00423333573466e1c00d2002232321222230010053009001357426aae780148cccd5cd19b87004480008c8c848888c00c014dd70009aba135573c00c464c6405c66ae700ac0b00b00ac0a80a4d55ce8009baa001357426ae894014d5d0a802119191999ab9a3370e002900011919191981619191999ab9a3370e00290001191bae001357426aae7800c8c98c80bccd5ce0160168169aab9d00137540046eb4004d5d09aba2500235742a00226aae7800c8c98c80a4cd5ce0130138139aab9d0013754002464646666ae68cdc3800a40044646464646466644424466600200a0080066eb400cdd68011bad001357426ae89400cd5d0a8011aba15002135744a00226aae7800c8cccd5cd19b87002480008c8c8488c00800cc01c004d5d09aab9e00423263202933573804c04e04e04c6aae74004dd5000919191999ab9a3370e00290011191909118008019bae001357426aae7800c8cccd5cd19b87002480008c8c8488c00800cdd70009aba135573c008464c6405066ae70094098098094d55ce8009baa001135573c006464c6404466ae7007c080080d55ce8009baa001101d130164910350543500301d22112225335001100222133005002333553007120010050040012233335500222230023370000290011000800a4000603644a66a00220244426a00444a66a666ae68cdc78012450b4879647261486561645631000170161333573466e1c0052002017016130060032253350021001101122230033002001222335500300200130172211225335001101322133501430040023355300612001004001223002001200122322300200130162253350011501522135002225335330080020071301a0011300600323500122333350012326320133357389201024c680001120012326320133357389201024c68000112326320133357389201024c6800011225335001100a133573800401246a00244444444444401046008921034d30380023003491034d30390023002491034d31310023263200a3357380020104466e00008004488008488004488008488488cc00401000d2410350543100120014988848cc00400c0088488c00800c44880048848cc00400c0088c8c00400488cc00cc0080080052211c3ffaf6b87df35cb01a52eb23032b8f0b1a2a3ad3acf0930abc9c833a0048811c8508839dfce39b6be65c018ce124ab549238e1b2ed08fb6588e5601f0001"
    "description": "hydra-vCommit-0.11.0-439-g9f4198034",
    "description": "hydra-vHead-0.11.0-439-g9f4198034",
    "cborHex": "59225c59225901000032332232323322323232323232323232333322223232323233223232323232323232323232323232323232323232323232323232323232323232323232323322323232323232322225335332253333532323333573466e1c0052006203e232323232323232323232323232323333573466e1c041200423232323232323233333330553304e013007375a00c6eb8014dd680218090019bae0023304e75c0026ae84d5d128041aba1500735742a00e6ae85401cd5d0a8039aba1500735742a00e46666ae68cdc3808a400446464646466660a06020008660980220066eb8008dd70009aba135744a0186ae85402cd5d0a8059aba1500b23333573466e1c0492000232323232333305230110043304d012003375c004609c0026ae84d5d128091aba1501135742a0226ae8540448c98c8154cd5ce02602982982902889aba25001135744a00226ae8940044d5d1280089aba25001135573c01626ae8940044d5d1280089aab9e008232323333573466e1c0052000232375a0026ae84d55cf00191931902619ab9c04304a04a35573a0026ea80048dd700089aba25001135744a00226aae7800c108d55ce8009baa0052222222153233333500a1304649884c11d261304649884cccccccc8c8c8c8c8c888888894cd4c099403454cc8d54cd4cc041400401441784cd5ce249034831370005d153353333020006500135500a222222200600415335330330180021533553353009003105e13357389201034832340005d15335353535500e222222222222005220012253335002215335333573466e2400402c18418041844cd5ce2481034831380006013263205a3357389201034831390005813263205a3357389201034831390005815332355335333530311200105c5001335062500d004105f13357389201034832320005e15332355335333573466e1ccc1241894008cc124189400418017c54cd4ccd5cd19b8735500c222222200400a06005f106013357389201034832300005f15335333573466e1cd540308888888010cdc000500483002f8830099ab9c491034832310005f1533553355335333530321200105d500100815335333573466e3cd54030888888800801018017c4ccd5cd19b8735500c222222200300906005f105f105f10601335738921034830360005f153353302c5335303101a213535001220012222003106435533535501022222222222200a1302302d2210022222003106013357389201034830390005f105f135500b2222222005105e135500a2222222001105d105d105d105d105d13550092222222007105c105c305a2253350011057221533533056500700210581300400115335301f302200e21533335001222222211233333330010070060080050040030021300249888884c019262222130064984c0052623263204e335738921034830370004c15335355002222222222222004130014988854cd40044008884c0152623263204c335738921034832330004a13500a22002006005009008001003004213500a2253355335333573466e3cc0a8cd4c0984800400cd400888888888888802802414814441484cd5ce2481034832350005113535350022222222222220052200222533350022153353300700100b10551335738921034832360005413263204e3357389201034832370004c13263204e3357389201034832370004c105122333573466e2400800413c1404c0f9262222153333350061350052323223302d33049300349103483032003304d33532330552253350011503e221350022253353305300200d13043001130060030013304920013500422222222222200823304a32233300222001302830022200200123300104c223370200400266644644600400260ae44a66a00220064426600c6a0044400260080026a09644004604c0960029000198259981c028803a40046605a6604801200c6609260069210348303300323304d302a50013304a0283353024120013303905250013500522222222222200a1330020533500422222222222200c305222253350011002221350022253353303b00b00113300732333553040120012233505a00200100700133033009001003133007006003225335001104e133573800409a426086930991a803111a801911191929991aa99a999ab9a3371e6aa0064444006605c6aa0024440060a80a620a8266ae71241034830350005315335533553353335302612001051355003222200400515335333573466e1cd5400c888800801815014c4ccd5cd19b8f355003222200100405405310531053105413357389201034830360005315335533533223305b22533500110582232135003223003001305f225335001130060032213500222323335002253353306048000004540084184894cd4cc1840080045400c418894cd4cc1800052000150021061130060033301b00200153353500822222222222200a10582213017001333018050355001222001323355302c1200123500122330590023355302f12001235001223305c0023370490008008008009a804111111111111004882a099ab9c4910348333800053153355335323305a225335001105622135002225335333573466e3c00802c16c1684c0680044c01800c0054cd4c09403884d4d400488004888800c416041504cd5ce2490348303400053153355335333573466e1cd54004888008cc0f415801415014c41504cd5ce2490348303800053153353302900e0041301d00810531053105310531053130013500722222222222200c10523057225335001133303705848000160884d400888d4c01800c8894cd4cc0a8d40108888010c0ac0544ccc0f800c00800454cd4cc10802c0104ccc0f8ccd54c1184800488cd418000800400ccc0e803c010cdc000124004002266607c00600466603e0ae0026a00844440062a66a6038603e01642a6666a002444444426032930980924c44442602c931111089199980080200180280109808a4c66605c00800600442608693109821a4c44442a66666a00c260849310a9991a980b28008a99aa99a999ab9a3371266e04d4d4d5400488888888888801488004894ccd4008840044c98c8124cd5ce24903483134000471326320493357389201034831340004735353550012222222222220052200222533350022100113263204933573892103483135000471326320493357389201034831350004700604d04c104d1335738921034831300004c15332355335333573466e1cd5400488888800cd402088d4d4d400888888888888801488004894ccd400884cdc000080609931902619ab9c4901034832380004a13263204c3357389201034832380004a04e04d104e13357389201034831330004d15335533235333573466e254005200004e04f1533533330110075001355002222222005004104f13357389201034831310004e135500122222200615335333573466e3cd5400488888801401413813441384cd5ce2481034831320004d15335330230080041533553355335355001222222001104e22104f104e13357389201034831360004d1533553353301a5335301f008213535001220012222003105235533535500222222222222200a1301101b2210022222003104e13357389201034830390004d153355335333573466e3cd540048888880080101381344ccd4c0804800412cd54004888888010018413441384cd5ce249034830360004d104d104d104d104d153353018301b0072153333500122222221123333330010070060080050030021302149888884c095262222130254984c08126104c104c13500622002104b1304249884c10d26213043498c8c8cccd5cd19b87001480208c8c8488888c004018dd68009aba135573c00646666ae68cdc38012400c424444400a46666ae68cdc3801a400846464244444600400c66072eb8004d5d09aab9e00523333573466e1c01120022323212222230040063303a75c0026ae84d55cf00311999ab9a3370e00a9000109111100191931902319ab9c03d04404404304204104035573a0026ea8008c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8cc8848cc00400c008c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cccccccccccc88888888888848cccccccccccc00403403002c02802402001c01801401000c008cc170038030cc17003802ccc17003c028ccc045d7008004999808bae0100083305c02300733301102475a00c64646666ae68cdc3800a4000464646464646644246600200600464646666ae68cdc3800a400046464646644246600200600466014eb4008c024004d5d09aba2500235742a00226aae7800c8c98c81cccd5ce0350388389aab9d001375400464646666ae68cdc3800a400046464646644246600200600466014eb4008c024004d5d09aba2500235742a00226aae7800c8c98c81cccd5ce0350388389aab9d00137540026ae84d5d128021aba15003232323333573466e1c0052002207723333573466e1c009200020772326320723357380d20e00e00de6aae74004dd50009119191999ab9a3370e00290021091100091999ab9a3370e0049001119190911180180218038009aba135573c00846666ae68cdc3801a400042444004464c640e666ae701a81c41c41c01bcd55ce8009baa001135573c006464c640d666ae701881a41a4d55ce8009baa0053305c75c00866602204401a006666022eb8034008c178004d5d09aba2501135742a0206ae854040d5d0a8081aba1501035742a0206ae854040d5d0a8081aba1501035742a0206ae854040d5d0a8081000919191999ab9a3370e0029000119191919910919800801801182b00118040009aba135744a0046ae8540044d55cf00191931902f19ab9c05505c05c35573a0026ea80048c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8c8cccc888848cccc00401401000c008c8c8cccd5cd19b87001480008c8c8c8cc8848cc00400c008c0a0008cc02c09c004d5d09aba2500235742a00226aae7800c8c98c81a0cd5ce02f8330331aab9d001375400866601ceb803400cc8c8cccd5cd19b87001480108c84888c008010d5d09aab9e00323333573466e1c00920022323212223001004375c0026ae84d55cf00211999ab9a3370e00690001091100191931903519ab9c06106806806706635573a0026ea8008cc015d70009aba135744a00a6ae854010d5d0a8021aba150042232323333573466e1c005200023230593006001357426aae7800c8cccd5cd19b8700248008941608c98c8198cd5ce02e8320320319aab9d001375400226ae8940044d5d1280089aab9e00323263205d3357380a80b60b66aae74004dd500091998013ae75a0024464460046eac004c19088cccd55cf800903311919a8331983218031aab9d5001300535573ca00260086ae8800c4d5d080102c89aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7800c8c98c8130cd5ce0218250251aab9d001375400460060026ae84d5d128031aba15005232323333573466e1c0052006232321222230040053006001357426aae7800c8cccd5cd19b87002480108c8c848888c008014c020004d5d09aab9e00423333573466e1c00d2002232321222230010053042001357426aae780148cccd5cd19b87004480008c8c848888c00c014dd70009aba135573c00c464c6409a66ae7011012c12c128124120d55ce8009baa001232323333573466e1c005200c21222222200323232323333573466e1c015200a21222222200423333573466e1c01920082323233221222222233001009008375c0046eb4004d5d09aba2500435742a00646666ae68cdc3803a400c46464664424444444660040120106eb8008dd70009aba135744a00c6ae8540148cccd5cd19b87008480108c8c8cc8848888888cc018024020c038008dd70009aba135744a0106ae85401c8cccd5cd19b87009480088c8c848888888c01c020c038004d5d09aab9e00b23333573466e1c029200023232122222223005008300f001357426aae780308c98c8148cd5ce02482802802782702682602589aab9e005135573c00826aae7800c11cd55ce8009baa001232323333573466e1c005200223232323232333222122333001005004003375a0066eb4008dd68009aba135744a0066ae854008d5d0a80109aba25001135573c00646666ae68cdc380124000464642446004006600e0026ae84d55cf00211931902499ab9c04004704704635573a0026ea80048c8c8cccd5cd19b87001480088c8c8488c00400cdd70009aba135573c00646666ae68cdc3801240004646424460040066eb8004d5d09aab9e00423263204833573807e08c08c08a6aae74004dd500089aab9e0032326320423357380720800806aae74004dd5000881e89804248103505435003046225335001104222135002225335333573466e3c00922010b4879647261486561645631000470461333573466e1c00520020470461300600323263203b33573892103483037000393044225335001104522133300703f350022222003300400122232253355335333573466e1ccc0b0114014cc0b011400410c1084c008cd54c02c480040140044108410c4cd5ce2490348333500042304622533500110432215335350022253353335734666e54008cdc51bb337500106eccdd48038008238230823899ab9c491034833360004613004001104423263203833573800206c44466aa602c2400246a002446608600466aa60322400246a002446608c004666a00246601490000009119805801000919805000a400000266008004002446466aa602a2400246a0024466084004666a002466aa60322400246a002446608c00460180020024466600c080004002466aa60322400246a002446608c0046aa016002002666002076006004444666aa6056240024466a08a00400266aa602e2400246a00244660880046014002666aa605624002446a0044644600400e609044a66a002266a09000a0084426a00444a66a6601800400e20102600c00608800266aa602e2400246a00244646608a006600200a609044a66a00226aa0160064426a00444a66a6601800401022444660040140082600c00600442444600600822424446002008607a442244a66a0042080442a66a006208444266a0866608200800466aa60102400200600246a002444444444444a66a601c0102088266ae712410355303100043303b22533500110382232135003223003001303f2253350011300600322135002225335333573466e1d200000104003f13006003103f23333333574800246646464666ae68cdc3a8012400c46666aae7d40088c0a40c0940a00cc8c8c8c8c8c8c8c8c8c8c8c8c8c8cccd5cd19b875010480108cccd55cfa8081281b11999aab9f500f25037233335573ea01e4a07046666aae7d403c940e48cccd55cfa8079281d11999aab9f500f2503b233335573ea01e4a07846666aae7cd5d128081299a9981981a9aba15018215335303335742a02e42a66a60706ae85405c854cd4c0d4d5d0a80b90a99a980a1aba15017215335303b35742a02e42a66a660720786ae85405c84c114ccccccc13401c01801401000c0080045410c541085410454100540fc540f8540f4940f412011c11811411010c1081048cccd5cd19b875011480088cccd55cfa8089281b91999aab9f500925038233335573ea0124a07246666aae7d4024940e88cccd55cf9aba2500a25335300e35742a02c42a66a660640686ae854038854cd4c0d8d5d0a80710a99a981b9aba1500e21304033330450040030020011503e1503d1503c1503b2503b04604504404304223333573466e1d40492000233335573ea0244a07046666aae7d401c940e48cccd55cfa8039281d11999aab9f50072503b233335573e6ae89402094cd4c03cd5d0a80b90a99a9981981a9aba1500c215335303735742a01842a66a60666ae85403084c104cccc11c01000c008004540fc540f8540f4540f0940f011c11811411010c940dc10c1081044d5d1280089aba25001135744a01826ae8940044d5d1280089aba250092333333357480024666466ae68cdc39aab9d5001480008c8cccd55cfa8009281991999aab9f35744a0044a66a60526ae85400c84c0d8004540d0940d00fc0f84d55cf280109baa0022503003c2502f2502f2502f2502f03a135744a00226ae8940044d5d1280089aba25001135744a00226ae8940084d55cf280109aab9d5001137540040604a0464a0464a0464a04605c44666ae68cdc79bb33330127520220046eccccc049d480880081b01aa481035054380025323233535500222222222222200a130014988854cd4cc018d40088888010c01c0144cc07540100084c00d2623263202f3357389201034833370002d13500122002223500222350032232335005233500425335333573466e3c0080040e80e45400c40e480e48cd401080e494cd4ccd5cd19b8f00200103a039150031039153350032153350022133500223350022335002233500223303a002001203c2335002203c23303a00200122203c222335004203c2225335333573466e1c01800c0fc0f854cd4ccd5cd19b8700500203f03e13303d004001103e103e10371533500121037103723535533530020012100113263202b335738921034832390002922001222200423500122350022222222222223333500d2502b2502b2502b2330442253350011502d221350022253355335333573466e3cd400888008d401c880081141104ccd5cd19b87350022200135007220010450441044130320041300600300d303322122253350021533500110332210342215335003103422153353300700400213335300912001007003001103623263202833573892103483037000263031221225335333573466e24009200003002f103415335001103422133503500233530061200133702008900100091191a80191299a99aa98038900090009a80111111111111100209931901519ab9c49103483331000282322153350011533530023355300a12001200130063500522222222222200c10331335738920103483330000322213263202f3357389201034833320002d3036225335001103222153353303200500210351300400130322253350011033221350022233355301e120012233503800200130060033301b00735001222200323500122001302e2211225335001103122133503230040023355300612001004001237246004002605844a66a002202644266e28dd99a801111119ba548000c8cd5d01a8029119ba548000c8cd5d0180080199aba033004233500123374a900019aba03003001376205c44466e9520023357406ea000ccd5d01ba80023357406ea0004dd88180011bb102c233500123374a900019aba037520026ec40b48cdd2a400466ae80dd48009bb102d335740666018ea402c010cd5d02999a801899ba548000dd88149099ba548010cd5d00009bb102a213374a900119aba037520026ec40a8cd5d019800ba9002376205244a66a0024266e95200033574060060026ec40ac4cdd2a40046ec40a8c0100048dc9180219999111919191919191919118011803800981b11299a80089801180181b910a99a800880111098031803802981a91299a800881b110a99a800880191099a81c998038020011803000981a111299a8010800910a99a8018802110a999a99806002001099a81c80219803801802899a81c80119803803000899a81c802198038018029a8019110009a8011110011a80091100199918008009119091a990919980091801911180180211801911180100211801911180080211a98018021a8020008009801001091111998021299a800899a81981a01a110a99a800899a81a80181b110a999a998050020010999803001119a81c002800800899980380119a81b80201c0008999803001119a81c002800800911299a800899a81a99a81a801801180301b110a999a99805002801099a81b99a81b8028021804001899980380119a81b802802000899a81b99a81b8028021804001911299a800899a81a980119a81a80181b180301b110a999a9980500280109998030011180299a81c003000800899a81b980219a81b80281c180400189998030011180299a81c003000800911a9a80111001111a9a801910011129919199a998010030020a99a999ab9a3370e00a00606406220162a66a666ae68cdc4802801819018880488050a8008a80089980080280191299a999ab9a3371e00400206406220162a66a666ae68cdc88010008190188804880509110018911001091100080091998013a923750002002446446e98c008004c0ac894cd40044dd90109109a8011119aba0337606010004600e002600c006605044a66a002201e44266e28d400888004c010004894cd40084004408c894cd4cc88ccccccd5d20009199919ab9a3370e6aae7540052000232323233335573ea0064a03046666aae7d400c940648cccd55cfa8019280d11999aab9f35744a0084a66a60266ae85401c854cd4c034d5d0a80390a99a980b1aba1500721301f3330150030020011501d1501c1501b2501b026025024023135744a00226ae8940044d55cf280109baa0022501301f2501225012250122501201d30052333333357480024666466ae68cdc39aab9d5001480008c8c8cccd55cfa8011280b11999aab9f500225017233335573e6ae89400c94cd4c030d5d0a80290a99a98091aba1500521301b1233001003002150191501825018023022021135744a00226aae7940084dd50011280900f1280892808928089280880e19804801000909a800911001081391999999aba40012333233573466e1cd55cea800a4000464646666aae7d40089404c8cccd55cfa8011280a11999aab9f35744a0064a66a646666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f50012501b233335573e6ae89400894cd4c054d5d0a80190980f0008a80e1280e01381309aab9e5002137540044a0300484a02e4a02e4a02e4a02e0446ae854014854cd4c02cd5d0a80290980c198108010008a80b0a80a9280a81000f80f09aba25001135573ca00426ea80089403c06c940389403894038940380648ccccccd5d2000928069280692806918071bad0022500d0182322333333357480024a01c4a01c460066eb00089403894038064c09088cccd55cf800918078131299a98021aba100221533530043574400642602266a04e0040022a01e2a01c032444246660020080060044a66a60040024260160022a01246666666ae90004940249402494024940248c028dd700100a112999a9a800911100109931900b19ab9c49010348333300014210012153353235004222222222222300d00230222253350011500b22135002225335333573466e3c00801c08c0884c0400044c01800c840044c98c805ccd5ce249034833340001522333573466e1ccc010074cc00c008d4004888800d200201b01a232253355335300200121300900115007213335530071200122533535002225335333573466e1c005200202001f1300d0021500c213350220010021001020001101f301e22533500115007221350022253353301c0020071300c001130060032233335500222230023370000290011000800a4000910100301a22112225335001100222133005002333553007120010050040012122300200311220012322300237580026030446666aae7c00480688cd4064c010d5d080118019aba200200d232323333573466e1c005200023232323300e3008002375a0026ae84d5d128011aba15001135573c006464c6401e66ae70018034034d55ce8009baa001232323333573466e1c0052000232375c0026ae84d55cf00191931900719ab9c00500c00c35573a0026ea800524010350543100222222212222333333300400b00a009008007006005122220032222122223333002008007006005222212222333300100800700600522123300100300223263200433573892103483031000021200149888c00800448cc0040092000223370000400244666ae68cdc780100080280211199ab9a3370e00400200800624400424400244246600200600422446446004002600a44a66a00220064426600c004600800224400424424466002008006464600200244660066004004003"
    "description": "hydra-vInitial-0.11.0-439-g9f4198034",
  (closedSnapshotNumber, closedUtxoHash, parties', closedContestationDeadline, headId', contesters') =
          } -> (snapshotNumber, utxoHash, p, contestationDeadline, headId, contesters)

Fixed code:
- **BREAKING** Changes to `hydra-plutus` scripts.

  replaceContestationPeriod,
import Hydra.Snapshot (Snapshot (..), SnapshotNumber)
  | -- | Invalidate the tx by changing the contestation period.
    MutateContestationPeriod
    , SomeMutation (Just $ toErrorCode ChangedParameters) MutateContestationPeriod <$> do
        mutatedPeriod <- arbitrary
        pure $ ChangeOutput 0 $ changeHeadOutputDatum (replaceContestationPeriod mutatedPeriod) headTxOut
version:       0.13.0
    , plutus-core          >=1.7 && <1.8
    , plutus-ledger-api    >=1.7 && <1.8
    , plutus-tx            >=1.7 && <1.8
    , plutus-tx-plugin     >=1.7 && <1.8
    "description": "hydra-mHead-0.12.0-86-gcd14dca2f",
    "cborHex": "590f9f590f9c0100003332323322323232323322332232323232323232323232323232323232323222222533532533532323333573466e1c0052002212200223333573466e1c009200021220012326320243357380420440440426aae74004dd50018998092481034d303600533533301022333573466e3c00800407006cc044004cc03803cc04cd40048800884cc094894cd40044074884d4008894cd4ccd5cd19b88001480000840804c01800c408000440644c8cc02ccc03cc04d2401034d3031003233026225335001101d22153355335333573466e3cd402888008d40088800808007c4ccd5cd19b873500a22001350022200102001f101f10201300400100133300d300e120012350012200235500122222222222200c323232323233010330143018491034d3032003322333573466e1c008004088084cc050cc044c894cd400484c00c004520003233223223002001302d2253350011003221330063500222001300400130012200230012200123300101f48000cc044cc05888ccd5cd19b8f0020010220215005015301950063301e500148008cc040cc050c0612401034d3033003323223002001302b225335001102222135002225335333573466e3c00801c09c0984c0580044c01800d4014d5400c88004cc040c8cc044cc0652401034d3034003322333573466e1c00800408c0894008cc03c4488c88c008004c0b4894cd4004400c884cc018008c0100054004c8cc0b0894cd400440908854cd54cd4ccc07088ccd5cd19b8f002001028027500b301b00221533500113021498884d4008894cd400c54cd4ccd5cd19b87001480080ac0a840ac4c0952622130274984c08d241034d30370013004001102500150011333012301312001235001220013300400c5006330143018491034d303500330103322333573466e3c008004088084d5400888800d4014c94cd4ccd5cd19b8f35001220023500b220020210201333573466e1cd400488004d402c880040840804080d540088880084d5400488800454ccd4d54004880084c06d2401034d31300021301c4901034d31300021533532533532355007222222222222300d002302a2253350011502922135002225335333573466e3c0080200980944c0b80044c01800c84c0080045409ccc0408ccccccd5d200091991919199ab9a3370ea004900311999aab9f50022302e122220032502d029232323232323232323232323232323232323333573466e1d40512004233335573ea0284a07e46666aae7d404c941008cccd55cfa8099282091999aab9f501325042233335573ea0264a08646666aae7d404c941108cccd55cfa8099282291999aab9f35744a0284a66a660280246ae854070854cd4c048d5d0a80d90a99a980a9aba1501b215335301435742a03642a66a60286ae85406c854cd4c060d5d0a80d90a99a9980d00c9aba1501b21304e12222333333300400b00a0090080070060051504c1504b1504a150491504815047150462504604204104003f03e03d03c03b23333573466e1d40552002233335573ea02a4a08046666aae7d4024941048cccd55cfa8049282111999aab9f500925043233335573e6ae89402894cd4c038d5d0a80d10a99a998098089aba1500e215335301335742a01c42a66a60286ae85403884c12448888cccc00402001c0180145411c541185411454110941101000fc0f80f40f08cccd5cd19b875016480008cccd55cfa80b1282091999aab9f500725042233335573ea00e4a08646666aae7d401c941108cccd55cf9aba2500825335300f35742a03642a66a660280246ae854030854cd4c050d5d0a80610a99a991999999aba40012333233573466e1cd55cea800a4000464646666aae7d40089413c8cccd55cfa8011282811999aab9f35744a0064a66a646666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f500125057233335573e6ae89400894cd4c094d5d0a80190982d0008a82c1282c02a02989aab9e5002137540044a0a80a24a0a64a0a64a0a64a0a609e6ae854014854cd4c074d5d0a80290982a198290010008a8290a8289282882682602589aba25001135573ca00426ea80089412c12094128941289412894128118d5d0a8061098250911119998010040038030028a8240a8238a8230a8229282282082001f81f01e9282001e81e01d89aba25001135744a00226ae8940404d5d1280089aba25001135744a01a46666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f50012503c233335573e6ae89400894cd4c020d5d0a80190981f8008a81e9281e81c81c09aab9e5002137540044a07206c4a0704a0704a0704a07006846666666ae90004940dc940dc940dc8c0e0dd68011281b8199299a980100090981b8008a81a91999999aba40012503525035250352503523036375c00406246446666666ae90004940d8940d88c00cdd60011281b1281b019181b111999aab9f001230370312533530043574200442a66a60086ae8800c84c0e4cd40c8008004540dc540d80c84d5d1280089aba25001135744a00226ae8940044d5d1280089aba25002135573ca00426aae7540044dd500101312814128141281412814012100090a9999a80091111110981124c26036931111099091998008020018011980908911911801000981811299a800880191099803001180200080191110980fa4c26034930a99a9980080428018980ca4c4426a00444a66a006266054004002442603e93111a800911111111111199aa980b89000911a80111111a8021119a80110041299a999ab9a3371e00202e066064266a0686607800a00c01020100580142602400426a0024400464646666ae68cdc3800a400046464646464646644246600200600464646666ae68cdc3800a400046464646464646464646464646464646464646464646464646464646666664444442466666666666600200e02400c00a00801c01a01800601400401066020464646666ae68cdc3800a4000464646466442466002006004605000460280026ae84d5d128011aba15001135573c006464c6409466ae7011c120120d55ce8009baa00100c3301000d00a33300f75c01c01266601eeb8038020cc041d7002199807bae2001002357426ae894040d5d0a8079aba1500f35742a01e6ae85403cd5d0a8079aba1500f35742a01e6ae85403cd5d0a8079aba1500f35742a01e464646666ae68cdc3800a4000464646464646464646666444424666600200a00800600464646666ae68cdc3800a400046464646644246600200600460500046601604e0026ae84d5d128011aba15001135573c006464c6409066ae70114118118d55ce8009baa00433300e75c01a00664646666ae68cdc3800a4008464244460040086ae84d55cf00191999ab9a3370e004900111919091118008021bae001357426aae780108cccd5cd19b87003480008488800c8c98c8128cd5ce0238240240238231aab9d00137540046600aeb8004d5d09aba2500535742a0086ae854010d5d0a8021119191999ab9a3370e0029000119182418030009aba135573c00646666ae68cdc3801240044a08e464c6408c66ae7010c11011010cd55ce8009baa001135744a00226ae8940044d55cf00191931901e99ab9c03a03b03b35573a0026ea80048ccc009d73ad0012232230023756002607a446666aae7c00480e08c8cd40e0cc100c018d55cea80098029aab9e500130043574400626ae840080e48c88c008dd6000981d911999aab9f0012036233503530043574200460066ae880080dc4d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573c006464c6405666ae700a00a40a4d55ce8009baa00232323333573466e1c00520062323212222300400532323333573466e1c005200c21222222200323232323333573466e1c015200a21222222200423333573466e1c01920082323233221222222233001009008375c0046eb4004d5d09aba2500435742a00646666ae68cdc3803a400c46464664424444444660040120106eb8008dd70009aba135744a00c6ae8540148cccd5cd19b87008480108c8c8cc8848888888cc018024020c050008dd70009aba135744a0106ae85401c8cccd5cd19b87009480088c8c848888888c01c020c050004d5d09aab9e00b23333573466e1c0292000232321222222230050083015001357426aae780308c98c80e0cd5ce01a81b01b01a81a01981901889aab9e005135573c00826aae7800c0b4d55ce8009baa001357426aae7800c8cccd5cd19b87002480108c8c848888c008014c024004d5d09aab9e00423333573466e1c00d2002232321222230010053009001357426aae780148cccd5cd19b87004480008c8c848888c00c014dd70009aba135573c00c464c6405c66ae700ac0b00b00ac0a80a4d55ce8009baa001357426ae894014d5d0a802119191999ab9a3370e002900011919191981619191999ab9a3370e00290001191bae001357426aae7800c8c98c80bccd5ce0160168169aab9d00137540046eb4004d5d09aba2500235742a00226aae7800c8c98c80a4cd5ce0130138139aab9d0013754002464646666ae68cdc3800a40044646464646466644424466600200a0080066eb400cdd68011bad001357426ae89400cd5d0a8011aba15002135744a00226aae7800c8cccd5cd19b87002480008c8c8488c00800cc01c004d5d09aab9e00423263202933573804c04e04e04c6aae74004dd5000919191999ab9a3370e00290011191909118008019bae001357426aae7800c8cccd5cd19b87002480008c8c8488c00800cdd70009aba135573c008464c6405066ae70094098098094d55ce8009baa001135573c006464c6404466ae7007c080080d55ce8009baa001101d130164910350543500301d22112225335001100222133005002333553007120010050040012233335500222230023370000290011000800a4000603644a66a00220244426a00444a66a666ae68cdc78012450b4879647261486561645631000170161333573466e1c0052002017016130060032253350021001101122230033002001222335500300200130172211225335001101322133501430040023355300612001004001223002001200122322300200130162253350011501522135002225335330080020071301a0011300600323500122333350012326320133357389201024c680001120012326320133357389201024c68000112326320133357389201024c6800011225335001100a133573800401246a00244444444444401046008921034d30380023003491034d30390023002491034d31310023263200a3357380020104466e00008004488008488004488008488488cc00401000d2410350543100120014988848cc00400c0088488c00800c44880048848cc00400c0088c8c00400488cc00cc0080080052211c3ffaf6b87df35cb01a52eb23032b8f0b1a2a3ad3acf0930abc9c833a0048811c8a43c1c4d5cb60c212e7aa540932f311cb914a1b6104f0f36a2aaaf00001"
    "description": "hydra-vCommit-0.12.0-86-gcd14dca2f",
    "description": "hydra-vHead-0.12.0-86-gcd14dca2f",
    "cborHex": "59228a5922870100003233223232332232323232323232323233332222323232323322323232323232323232323232323232323232323232323232323232323232323232323232323322323232323232322225335332253333532323333573466e1c0052006203f232323232323232323232323232323333573466e1c041200423232323232323233333330563304f013007375a00c6eb8014dd680218090019bae0023304f75c0026ae84d5d128041aba1500735742a00e6ae85401cd5d0a8039aba1500735742a00e46666ae68cdc3808a400446464646466660a260200086609a0220066eb8008dd70009aba135744a0186ae85402cd5d0a8059aba1500b23333573466e1c0492000232323232333305330110043304e012003375c004609e0026ae84d5d128091aba1501135742a0226ae8540448c98c8158cd5ce02682a02a02982909aba25001135744a00226ae8940044d5d1280089aba25001135573c01626ae8940044d5d1280089aab9e008232323333573466e1c0052000232375a0026ae84d55cf00191931902699ab9c04404b04b35573a0026ea80048dd700089aba25001135744a00226aae7800c10cd55ce8009baa0052222222153233333500a1304749884c121261304749884cccccccc8c8c8c8c8c888888894cd4c099403454cc8d54cd4cc0414004014417c4cd5ce249034831370005e153353333020006500135500a222222200600415335330340180021533553353009003105f13357389201034832340005e15335353535500e222222222222005220012253335002215335333573466e2400402c18818441884cd5ce2481034831380006113263205b3357389201034831390005913263205b3357389201034831390005915332355335333530311200105d5001335063500d004106013357389201034832320005f15332355335333573466e1ccc12818d4008cc12818d400418418054cd4ccd5cd19b8735500c222222200400a061060106113357389201034832300006015335333573466e1cd540308888888010cdc00050048308300830899ab9c49103483231000601533553355335333530321200105e500100815335333573466e3cd5403088888880080101841804ccd5cd19b8735500c222222200300906106010601060106113357389210348303600060153353302c5335303101a213535001220012222003106535533535501022222222222200a1302302d221002222200310611335738920103483039000601060135500b2222222005105f135500a2222222001105e105e105e105e105e13550092222222007105d105d305b2253350011058221533533057500700210591300400115335301f302200e215333350012222222133333330300060050070040030020011300249888884c019262222130064984c0052623263204f335738921034830370004d15335355002222222222222004130014988854cd40044008884c0152623263204d335738921034832330004b13500a22002006005009008001003004213500a2253355335333573466e3cc0accd4c09c4800400cd400888888888888802802414c148414c4cd5ce2481034832350005213535350022222222222220052200222533350022153353300700100b10561335738921034832360005513263204f3357389201034832370004d13263204f3357389201034832370004d105222333573466e240080041401444c0fd262222153333350061350052323223302e3304a300349103483032003304e33532330562253350011503f221350022253353305400200d13044001130060030013304a20013500422222222222200823304b32233300222001302930022200200123300104d223370200400266644644600400260b044a66a00220064426600c6a0044400260080026a09844004604e0980029000198261981c829003a40046605c6604a01200c6609460069210348303300323304e302b50013304b0293353025120013303a05350013500522222222222200a1330020543500422222222222200c305322253350011002221350022253353303c00b00113300732333553041120012233505b00200100700133034009001003133007006003225335001104f133573800409c426088930991a803111a801911191929991aa99a999ab9a3371e6aa0064444006605e6aa0024440060aa0a820aa266ae71241034830350005415335533553353335302612001052355003222200400515335333573466e1cd5400c88880080181541504ccd5cd19b8f355003222200100405505410541054105513357389201034830360005415335533533223305c225335001105922321350032230030013060225335001130060032213500222323335002253353306148000004540084188894cd4cc1880080045400c418c94cd4cc1840052000150021062130060033301b00200153353500822222222222200a10592213017001333018051355001222001323355302d12001235001223305a0023355303012001235001223305d0023370490008008008009a804111111111111004882a899ab9c4910348333800054153355335323305b225335001105722135002225335333573466e3c00802c17016c4c0680044c01800c0054cd4c09403884d4d400488004888800c416441544cd5ce2490348303400054153355335333573466e1cd54004888008cc0f815c01415415041544cd5ce2490348303800054153353302a00e0041301d00810541054105410541054130013500722222222222200c10533058225335001133303805948000164884d400888d4c01800c8894cd4cc0a8d40108888010c0ac0544ccc0fc00c00800454cd4cc10c02c0104ccc0fcccd54c11c4800488cd418400800400ccc0ec03c010cdc000124004002266607e00600466603e0b00026a00844440062a66a6038603e01642a6666a002444444426032930980924c44442602c931111089199980080200180280109808a4c66605e0080060044260889310982224c44442a66666a00c260869310a9991a980b28008a99aa99a999ab9a3371266e04d4d4d5400488888888888801488004894ccd4008840044c98c8128cd5ce249034831340004813263204a3357389201034831340004835353550012222222222220052200222533350022100113263204a335738921034831350004813263204a3357389201034831350004800604e04d104e1335738921034831300004d15332355335333573466e1cd540048888888010d402088d4d4d400888888888888801488004894ccd400884cdc000080609931902699ab9c491034832380004b13263204d3357389201034832380004b04f04e104f13357389201034831330004e15335533235333573466e254005200004f0501533533330110075001355002222222200600410501335738921034831310004f1355001222222200715335333573466e3cd54004888888801801413c138413c4cd5ce2481034831320004e153353302400800415335533553353550012222222001104f221050104f1335738921034831360004e1533553353301a5335301f008213535001220012222003105335533535500222222222222200a1301101b2210022222003104f13357389201034830390004e153355335333573466e3cd54004888888800801013c13854cd4ccd4c08048004130d5400488888880140184ccd5cd19b87355001222222200300704f04e104e104e104f1335738921034830360004e104e104e104e104e153353018301b007215333350012222222133333330290060050070040030020011302149888884c095262222130254984c08126104d104d13500622002104c1304349884c11126213044498c8c8cccd5cd19b87001480208c8c8488888c004018dd68009aba135573c00646666ae68cdc38012400c424444400a46666ae68cdc3801a400846464244444600400c66074eb8004d5d09aab9e00523333573466e1c01120022323212222230040063303b75c0026ae84d55cf00311999ab9a3370e00a9000109111100191931902399ab9c03e04504504404304204135573a0026ea8008c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8cc8848cc00400c008c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8cccccccccccc88888888888848cccccccccccc00403403002c02802402001c01801401000c008cc174038030cc17403802ccc17403c028ccc045d7008004999808bae0100083305d02300733301102475a00c64646666ae68cdc3800a4000464646464646644246600200600464646666ae68cdc3800a400046464646644246600200600466014eb4008c024004d5d09aba2500235742a00226aae7800c8c98c81d0cd5ce0358390391aab9d001375400464646666ae68cdc3800a400046464646644246600200600466014eb4008c024004d5d09aba2500235742a00226aae7800c8c98c81d0cd5ce0358390391aab9d00137540026ae84d5d128021aba15003232323333573466e1c0052002207823333573466e1c009200020782326320733357380d40e20e20e06aae74004dd50009119191999ab9a3370e00290021091100091999ab9a3370e0049001119190911180180218038009aba135573c00846666ae68cdc3801a400042444004464c640e866ae701ac1c81c81c41c0d55ce8009baa001135573c006464c640d866ae7018c1a81a8d55ce8009baa0053305d75c00866602204401a006666022eb8034008c17c004d5d09aba2501135742a0206ae854040d5d0a8081aba1501035742a0206ae854040d5d0a8081aba1501035742a0206ae854040d5d0a8081000919191999ab9a3370e0029000119191919910919800801801182b80118040009aba135744a0046ae8540044d55cf00191931902f99ab9c05605d05d35573a0026ea80048c8c8cccd5cd19b87001480008c8c8c8c8c8c8c8c8cccc888848cccc00401401000c008c8c8cccd5cd19b87001480008c8c8c8cc8848cc00400c008c0a0008cc02c09c004d5d09aba2500235742a00226aae7800c8c98c81a4cd5ce0300338339aab9d001375400866601ceb803400cc8c8cccd5cd19b87001480108c84888c008010d5d09aab9e00323333573466e1c00920022323212223001004375c0026ae84d55cf00211999ab9a3370e00690001091100191931903599ab9c06206906906806735573a0026ea8008cc015d70009aba135744a00a6ae854010d5d0a8021aba150042232323333573466e1c0052000232305a3006001357426aae7800c8cccd5cd19b8700248008941648c98c819ccd5ce02f0328328321aab9d001375400226ae8940044d5d1280089aab9e00323263205e3357380aa0b80b86aae74004dd500091998013ae75a0024464460046eac004c19488cccd55cf800903391919a8339983298031aab9d5001300535573ca00260086ae8800c4d5d080102d09aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7800c8c98c8134cd5ce0220258259aab9d001375400460060026ae84d5d128031aba15005232323333573466e1c0052006232321222230040053006001357426aae7800c8cccd5cd19b87002480108c8c848888c008014c020004d5d09aab9e00423333573466e1c00d2002232321222230010053043001357426aae780148cccd5cd19b87004480008c8c848888c00c014dd70009aba135573c00c464c6409c66ae7011413013012c128124d55ce8009baa001232323333573466e1c005200c21222222200323232323333573466e1c015200a21222222200423333573466e1c01920082323233221222222233001009008375c0046eb4004d5d09aba2500435742a00646666ae68cdc3803a400c46464664424444444660040120106eb8008dd70009aba135744a00c6ae8540148cccd5cd19b87008480108c8c8cc8848888888cc018024020c038008dd70009aba135744a0106ae85401c8cccd5cd19b87009480088c8c848888888c01c020c038004d5d09aab9e00b23333573466e1c029200023232122222223005008300f001357426aae780308c98c814ccd5ce02502882882802782702682609aab9e005135573c00826aae7800c120d55ce8009baa001232323333573466e1c005200223232323232333222122333001005004003375a0066eb4008dd68009aba135744a0066ae854008d5d0a80109aba25001135573c00646666ae68cdc380124000464642446004006600e0026ae84d55cf00211931902519ab9c04104804804735573a0026ea80048c8c8cccd5cd19b87001480088c8c8488c00400cdd70009aba135573c00646666ae68cdc3801240004646424460040066eb8004d5d09aab9e00423263204933573808008e08e08c6aae74004dd500089aab9e0032326320433357380740820826aae74004dd5000881f09804248103505435003047225335001104322135002225335333573466e3c00922010b4879647261486561645631000480471333573466e1c00520020480471300600323263203c335738921034830370003a30452253350011046221333007040350022222003300400122232253355335333573466e1ccc0b4118014cc0b411800411010c4c008cd54c02c48004014004410c41104cd5ce2490348333500043304722533500110442215335350022253353335734666e54008cdc51bb337500106eccdd48038008240238824099ab9c491034833360004713004001104523263203933573800206e44466aa602e2400246a002446608800466aa60342400246a002446608e004666a00246601490000009119805801000919805000a400000266008004002446466aa602c2400246a0024466086004666a002466aa60342400246a002446608e00460180020024466600c082004002466aa60342400246a002446608e0046aa016002002666002078006004444666aa6058240024466a08c00400266aa60302400246a002446608a0046014002666aa605824002446a0044644600400e609244a66a002266a09200a0084426a00444a66a6601800400e20102600c00608a00266aa60302400246a00244646608c006600200a609244a66a00226aa0160064426a00444a66a6601800401022444660040140082600c00600442444600600822424446002008607c442244a66a0042082442a66a006208644266a0886608400800466aa60102400200600246a002444444444444a66a601c010208a266ae712410355303100044303c2253350011039223213500322300300130402253350011300600322135002225335333573466e1d200000104104013006003104023333333574800246646464666ae68cdc3a8012400c46666aae7d40088c0a80c4940a40d08c8c8c8c8c8c8c8c8c8c8c8c8c8cccd5cd19b875010480108cccd55cfa8081281b91999aab9f500f25038233335573ea01e4a07246666aae7d403c940e88cccd55cfa8079281d91999aab9f500f2503c233335573ea01e4a07a46666aae7cd5d128081299a9981a01b1aba15018215335303435742a02e42a66a60726ae85405c854cd4c0d8d5d0a80b90a99a980a1aba15017215335303c35742a02e42a66a6607407a6ae85405c84c118ccccccc13801c01801401000c008004541105410c541085410454100540fc540f8940f812412011c11811411010c1088cccd5cd19b875011480088cccd55cfa8089281c11999aab9f500925039233335573ea0124a07446666aae7d4024940ec8cccd55cf9aba2500a25335300e35742a02c42a66a6606606a6ae854038854cd4c0dcd5d0a80710a99a981c1aba1500e21304133330460040030020011503f1503e1503d1503c2503c04704604504404323333573466e1d40492000233335573ea0244a07246666aae7d401c940e88cccd55cfa8039281d91999aab9f50072503c233335573e6ae89402094cd4c03cd5d0a80b90a99a9981a01b1aba1500c215335303835742a01842a66a60686ae85403084c108cccc12001000c00800454100540fc540f8540f4940f412011c118114110940e011010c1084d5d1280089aba25001135744a01826ae8940044d5d1280089aba250092333333357480024666466ae68cdc39aab9d5001480008c8cccd55cfa8009281a11999aab9f35744a0044a66a60546ae85400c84c0dc004540d4940d41000fc4d55cf280109baa0022503103d2503025030250302503003b135744a00226ae8940044d5d1280089aba25001135744a00226ae8940084d55cf280109aab9d5001137540040624a0484a0484a0484a04805e44666ae68cdc79bb33330137520240046eccccc04dd480900081b81b2481035054380025323233535500222222222222200a130014988854cd4cc018d40088888010c01c0144cc07940100084c00d262326320303357389201034833370002e13500122002223500222350032232335005233500425335333573466e3c0080040ec0e85400c40e880e88cd401080e894cd4ccd5cd19b8f00200103b03a15003103a153350032153350022133500223350022335002233500223303b002001203d2335002203d23303b00200122203d222335004203d2225335333573466e1c01800c1000fc54cd4ccd5cd19b8700500204003f13303e004001103f103f10381533500121038103823535533530020012100113263202c335738921034832390002a22001222200423500122350022222222222223333500d2502c2502c2502c2330452253350011502e221350022253355335333573466e3cd400888008d401c880081181144ccd5cd19b87350022200135007220010460451045130330041300600300d3034221222533500215335001103422103522153350031035221533533007004002133353009120010070030011037232632029335738921034830370002722222221233333330010080070060050040030023031221225335333573466e24009200003002f103415335001103422133503500233530061200133702008900100091191a80191299a99aa98038900090009a80111111111111100209931901519ab9c49103483331000282322153350011533530023355300a12001200130063500522222222222200c10331335738920103483330000322213263202f3357389201034833320002d3036225335001103222153353303200500210351300400130322253350011033221350022233355301e120012233503800200130060033301b00735001222200323500122001302e2211225335001103122133503230040023355300612001004001237246004002605844a66a002202644266e28dd99a801111119ba548000c8cd5d01a8029119ba548000c8cd5d0180080199aba033004233500123374a900019aba03003001376205c44466e9520023357406ea000ccd5d01ba80023357406ea0004dd88180011bb102c233500123374a900019aba037520026ec40b48cdd2a400466ae80dd48009bb102d335740666018ea402c010cd5d02999a801899ba548000dd88149099ba548010cd5d00009bb102a213374a900119aba037520026ec40a8cd5d019800ba9002376205244a66a0024266e95200033574060060026ec40ac4cdd2a40046ec40a8c0100048dc9180219999111919191919191919118011803800981b11299a80089801180181b910a99a800880111098031803802981a91299a800881b110a99a800880191099a81c998038020011803000981a111299a8010800910a99a8018802110a999a99806002001099a81c80219803801802899a81c80119803803000899a81c802198038018029a8019110009a8011110011a80091100199918008009119091a990919980091801911180180211801911180100211801911180080211a98018021a8020008009801001091111998021299a800899a81981a01a110a99a800899a81a80181b110a999a998050020010999803001119a81c002800800899980380119a81b80201c0008999803001119a81c002800800911299a800899a81a99a81a801801180301b110a999a99805002801099a81b99a81b8028021804001899980380119a81b802802000899a81b99a81b8028021804001911299a800899a81a980119a81a80181b180301b110a999a9980500280109998030011180299a81c003000800899a81b980219a81b80281c180400189998030011180299a81c003000800911a9a80111001111a9a801910011129919199a998010030020a99a999ab9a3370e00a00606406220162a66a666ae68cdc4802801819018880488050a8008a80089980080280191299a999ab9a3371e00400206406220162a66a666ae68cdc88010008190188804880509110018911001091100080091998013a923750002002446446e98c008004c0ac894cd40044dd90109109a8011119aba0337606010004600e002600c006605044a66a002201e44266e28d400888004c010004894cd40084004408c894cd4cc88ccccccd5d20009199919ab9a3370e6aae7540052000232323233335573ea0064a03046666aae7d400c940648cccd55cfa8019280d11999aab9f35744a0084a66a60266ae85401c854cd4c034d5d0a80390a99a980b1aba1500721301f3330150030020011501d1501c1501b2501b026025024023135744a00226ae8940044d55cf280109baa0022501301f2501225012250122501201d30052333333357480024666466ae68cdc39aab9d5001480008c8c8cccd55cfa8011280b11999aab9f500225017233335573e6ae89400c94cd4c030d5d0a80290a99a98091aba1500521301b1233001003002150191501825018023022021135744a00226aae7940084dd50011280900f1280892808928089280880e19804801000909a800911001081391999999aba40012333233573466e1cd55cea800a4000464646666aae7d40089404c8cccd55cfa8011280a11999aab9f35744a0064a66a646666666ae900048ccc8cd5cd19b8735573aa00290001191999aab9f50012501b233335573e6ae89400894cd4c054d5d0a80190980f0008a80e1280e01381309aab9e5002137540044a0300484a02e4a02e4a02e4a02e0446ae854014854cd4c02cd5d0a80290980c198108010008a80b0a80a9280a81000f80f09aba25001135573ca00426ea80089403c06c940389403894038940380648ccccccd5d2000928069280692806918071bad0022500d0182322333333357480024a01c4a01c460066eb00089403894038064c09088cccd55cf800918078131299a98021aba100221533530043574400642602266a04e0040022a01e2a01c032444246660020080060044a66a60040024260160022a01246666666ae90004940249402494024940248c028dd700100a112999a9a800911100109931900b19ab9c49010348333300014210012153353235004222222222222300d00230222253350011500b22135002225335333573466e3c00801c08c0884c0400044c01800c840044c98c805ccd5ce249034833340001522333573466e1ccc010074cc00c008d4004888800d200201b01a232253355335300200121300900115007213335530071200122533535002225335333573466e1c005200202001f1300d0021500c213350220010021001020001101f301e22533500115007221350022253353301c0020071300c001130060032233335500222230023370000290011000800a4000910100301a22112225335001100222133005002333553007120010050040012122300200311220012322300237580026030446666aae7c00480688cd4064c010d5d080118019aba200200d232323333573466e1c005200023232323300e3008002375a0026ae84d5d128011aba15001135573c006464c6401e66ae70018034034d55ce8009baa001232323333573466e1c0052000232375c0026ae84d55cf00191931900719ab9c00500c00c35573a0026ea800524010350543100222222212222333333300400b00a009008007006005122220032222122223333002008007006005222212222333300100800700600522123300100300223263200433573892103483031000021200149888c00800448cc0040092000223370000400244666ae68cdc780100080280211199ab9a3370e00400200800624400424400244246600200600422446446004002600a44a66a00220064426600c004600800224400424424466002008006464600200244660066004004003"
    "description": "hydra-vInitial-0.12.0-86-gcd14dca2f",
  (closedSnapshotNumber, closedUtxoHash, parties', closedContestationDeadline, cperiod', headId', contesters') =
          , contestationPeriod
          } -> (snapshotNumber, utxoHash, p, contestationDeadline, contestationPeriod, headId, contesters)
        && cperiod' == cperiod