{
    "type": "PlutusScriptV3",
    "description": "*BE CAREFUL* that this is compiled from a release commit of Plutus and not from master",
    "cborHex": "5909ea0101009800aba3aba2aba14888c8c8c8c8c8c8c8c8c88c8ca64cdc3a400000393370e9002000db0026002646a00c6eac004c034c03a400a44002252600a0036a4ca4c9001910010dd518059806180649baa3293370e90054800c88009698061806c800c88004375460166018601926ea800644002910008c008c8ca00700148003003801c006005801a40790023003800c002002c0003003800a4005801c00e003002c00d20c09a0c8011801c006001801a4101b5881380018000600700148013003801c006005801a410100078001801c006001801a4101001f800180004ca0070014801b003801800e00700180060069040400260006000132801c0052008c00e0060050011801c005200ac00e0070018016006904044bd4010c00e003000c00d2080ade204c000c000265003800a4019801c00e003002c00d2080cab5ee01802900113232801c005200e800a6465003800a4021801c00e003002c00d20f4038049801c006001001400826464646464646465003800a4025804c00c0160023003800a4029804c00e003002c00cc01d20d00f8041801c0060018019803a412007800180004ca0070014805b009801803600700180060066002900a4010c0003003800a4041801c00c04201c3003800a4045801c00e003002c00d20f02e8091801c006001801a4190cb800100b0c00e00290126000c00e0029013600b003804c00e003002c00cc0212032c000c00e003000c00cc021200ac000c0006007009801c00600580198042418170058001801c0060018019804241209d80018000c0003003800a4051802c00e007003010c00e003000c00d2080e89226c000c00060070038018086007001800600690406c4770b7e0006000300009919400e0029015600b003801c00c04b003800c002002c0006007003801809600700180040098000c0003003800a4059801c00c04b003800c00300348203000700030000c00e00290176007003800c00b003483200602860070018006006904801e00040343003800a406100e4c8c8c8c8c8c8c8c8ca007001480cb0058018036006009801802600600700103003800a4069802c00c01b003004c00c013003804c00e003002c00c02700333023480692028c0004014c00c00f003006c00c01b003006c00e013003800c00b00300980390052002003003800a406d801c00e003002c00d2000c00d2006c00060070018006006900a600060001801c0052038c00e007001801600690006006901260003003800c0030034832813000202c1801c005203ac00e006031801c006001801a403d800180004c8ca007001480f3003801800e00700180060069040404af3c4e302600060001801c005203ec00e006003801c006001801a4101416f0fd20b80018000600700148103003801c006005801a403501f3003800c0030034812b0003000099400e00290216013003001c00e003000c00ccc09920d00f4800b0003003800c01202ec00013232801c0052044c00e006003801c006001801a4101010005800101b0c00e00290236007003800c00b0034820200670003003800c00200480d8600700148123003801c006005801a410190038001801c006001801a41018019800101b099400e00290256013003001c00e003000c00ccc0a520044800b00030000c00e0029026600f009801800e00700180060066605290504e00a4005800180003003800a409d804c00c013003800c003003018c000c0003003800a40a1801c00e00300281120403003800a40a5801c00e00300280db003800c00300348302e00b00030000c00e002902a6007003800c00b00348300fb0003003800c00300348383680700030000c00e002902b6007003800c00b003483601300030001801c0052058c02600601180180a6007001802600601f0153000060070014816b003801810e007001800401980004ca007001481730030013003800a40bd802c00e007003800c00a022c00e003000c00d208098dc9334c000c0006007003801c0060050126007001800600690404068ca5aba6000600030000c00e002903060070030038008c000400e003000c00d2080ecb80bc000c00000800c00a028100180140050034820200cb000200300280b04006005801a40010012006904044bd60000400e01300300180618002003002c00c01f0002013003005c00e003000c00c0370033302048021200ac000600020130030048009003800c00300300bc00ccc07920124805300018002013003002c00e003000c00c02a00260002006600a90046000800c00b003001c00ccc06d206648320070000601490020400d2080b8b872c0010034820303f20aa80b00000602e90031003001c0010018004005003001c000600690014006005801800c00c300148050c041200280199807a400090016000400d20a01fc001003800c01200ec000801c00c0070002003002c00d2002c000400e003000c00d208094ebdc03c000c000400e003000c00d20904ec000c000800c00a0041003483403f000400d2000c0006466002002240024425200322801c80148a00200500126a6600a00a24002002c00064600200244520059001a519125048a400a45200b4a322900291194c99b87001007c99b89001007c00b0046000c99807003001528660020190088022018660020190088052018a501bad002030022200130012200232533001001122233003229002a5194c0060024466e1c00800645266e1c008007266e24008007002c01180024466e200080064466e240080064466e2000400a4466e2400400a45266e2400800600500148a4cdc4801000c00600440066eb400900a48cc010004dd600148c8e640064400494998038019806800d284c03cc0380052300f0014800c880046ea800a5300180091480148a400e45266e1c01000a94266e1c00c00448a400a45200722993370e0080054a13370e006002c99b893370400800266e0800800f002c011800091480148a400e4466e20cdc100200099b8200200324520052290039119b893370400800266e0800800c91480148a400e446466e20cdc100180200099b820040012452005229003911919b893370400600800266e0801000491480148a400e45266e24cdc100200099b82002003803401448a400a4520072293371266e08010004cdc1001001c01600c100199191c98079807000c9a4660166eb4c03800cdd69807001126300d00137580048050520032300c0019114998030019806000d284cc014008c034004221232330022300222300200323002223001003235330040040033500300132300100122293370e9000000e4cdc4000a40013280099b8400300199b8400200119802001000cca600200900199b814800000900419b81480000096191800800911499b87480000073001003800ccdc3001000a0068010888c8cc00400400c8a4006946452005223232330010010032290019980480480348a4cc0140080329426600800800248016402644444444006c804c8888888801522933900b91111111004000800694694001"
}