Merge pull request #786 from input-output-hk/PLT-9055

PLT-9055 Published new `asData` validators.
input-output-hk · Dec 29, 2023 · 3675720 · 3675720
2 parents 81c1ecd + 7fd0b1f
commit 3675720
Show file tree

Hide file tree

Showing 8 changed files with 190 additions and 17 deletions.
diff --git a/flake.lock b/flake.lock
diff --git 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
@@ -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
diff --git a/marlowe/scripts/marlowe-rolepayout.plutus b/marlowe/scripts/marlowe-rolepayout.plutus
@@ -1 +1 @@
-{"type": "PlutusScriptV2", "description": "", "cborHex": "59091159090e0100003233223233223233223232323232323232322225323353232323235003223230143300d3350153301a0033350153301a00248008058058004d400c88d4008888888888888c064030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c0044c05c6ea8004cc00c00405c8c8cccd5cd19b8748000d55ce8009191919191919191919999111091999800802802001801191999ab9a3370e90001aab9d001232323233221233001003002303100233006030001357426ae88008d5d08009aab9e00226037375400e66601eeb94030014c8c8cccd5cd19b87480100048c84888c008010d5d09aab9e00323333573466e1d200200223212223001004375c6ae84d55cf00211999ab9a3370e9000001909110019301d01c81c1aab9d001375400666002eb800888c8c8cccd5cd19b87480000048c8488c00800cc014d5d09aab9e00323333573466e1d200200221220012603a03935573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae78008980b4dd50009998023ae500101433300475ca002024266006eb9d69980080f00799980180fbad00d323333573466e1d200035573a0024646464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008cc01dd680118030009aba1357440046ae84004d55cf001130191baa004323333573466e1d200035573a0024646464664424660020060046600eeb4008c018004d5d09aba2002357420026aae78008980c8dd50019191999ab9a3370e9001000902291999ab9a3370e90000011022930198191aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e9000001909110011301a81a0199aab9d00137540026ae84d5d10011aba100135573c0044c0566ea802ccc005d7004919118011bac00130402233335573e0024078466a07660086ae84008c00cd5d100101699980100e0008031998013ae00100420012232230023756002607e446666aae7c00480ec8c8cd40eccc100c018d55ce80098029aab9e0013004357440066ae840080b0c07c004d5d09aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026aae780089803cdd50041800803919191999ab9a3370e900300091909111180200298029aba135573c00646666ae68cdc3a400800446424444600400a600e6ae84d55cf00211999ab9a3370e900100191909111180080298051aba135573c00a46666ae68cdc3a400000846424444600600a6eb8d5d09aab9e0062601301201101035573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf0049300a80a0098090088080079aab9d0013754002464646666ae68cdc3a40040024646464646466644424466600200a0080066eb4010dd68011bad001357426ae88008d5d08009aba2002357420026aae7800c8cccd5cd19b87480000088c8488c00800cc018d5d09aab9e0042600f00e35573a0026ea80048c8c8cccd5cd19b87480080048c8488c00400cdd71aba135573c00646666ae68cdc3a400000446424460040066eb8d5d09aab9e0042600e00d35573a0026ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e0022600b37540024646666ae68cdc3a40006aae740048dd71aba135573c0044c0146ea8004d5d09aba2002357420026aae7800898010dd50029999ab9a3370e90001aab9d375400a40084c004646666ae68cdc3a40006aae740048c8c8c8cc064dd70011bae001357426ae88008d5d08009aab9e00226002375400a9308008b09000980891299a80088061109a80111191807198041a80111110018009803001911801999a802802001000980791299a800880511099a8059a8011119809001199a8009180500091199a80500480100091805800980200091199ab9a3371e00400201801626444464646602644a66a002200644266a01e00460080026004008600a6602444a66a002201a44264a66a6a00646446004016603044a66a002202c4426a00444a66a6602000400e20322600c006266a01e00600220026008002004602244a66a002201844266a01a6a00444646602a0066002010602e44a66a00226aa02e0064426a00444a66a6601e00401022444660040140082600c0066008002601a44a66a002201044266a0126a004446602000460240026008002601844a66a002200e44266a0106a004446601e00460220026008002601644a66a002200c44266a00e6a004446601c0046aa01e0026008002601444a66a002200a44266a00c6a004446601a0046602044a66a002201644266a0186a0044466026004666a002466e0120000012233700004002466e01200000130040010013004001300922533500110072232135003223003001300d2253350011300600322135002223335001253353300e480000044c01c010403c894cd4cc03c0080044c020014404094cd4cc038005200013007004100f1220021221223300100400322333573466e2400800401000c4880084880048848cc00400c00884888c00c0104484888c0040108c8c00400488cc00cc008008005"}
+{"type": "PlutusScriptV2", "description": "", "cborHex": "5909a35909a0010000323322323322323322323232323232323232222532335323232323235003223230153300e3350163301b0033350163301b0024800805c05c004d400c88d4008888888888888c068030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c004464c66ae700bc0c40bcdd50009980180080b9191999ab9a3370e90001aab9d0012323232323232323233332222123333001005004003002323333573466e1d200035573a00246464646644246600200600460620046600c0600026ae84d5d10011aba100135573c004464c66ae700e00e80e0dd5003999807bae500c00532323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a400000642444006464c66ae700ec0f40ec0e80e4d55ce8009baa0033300175c0044464646666ae68cdc3a40000024642446004006600a6ae84d55cf00191999ab9a3370e90010011091000919319ab9c03b03d03b03a35573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce0170180171baa00133300475ca002028666008eb940040484cc00dd73ad3300101e00f33300301f75a01a646666ae68cdc3a40006aae740048c8c8c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea8010c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea800c8c8cccd5cd19b874800800481188cccd5cd19b874800000881188c98cd5ce01a01b01a0199aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e900000190911001119319ab9c03603803603503435573a0026ea8004d5d09aba2002357420026aae780088c98cd5ce0160170161baa00b3300175c012464460046eb0004c10488cccd55cf800901e919a81e18021aba100230033574400405c66600403800200c666004eb8004010800488c88c008dd58009820111999aab9f001203c23233503c33041300635573a002600a6aae78004c010d5d10019aba100202d301f001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e00223263357380200240206ea8020c00401c8c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053007357426aae780108cccd5cd19b874800800c8c848888c004014c028d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c01401601401301201135573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf004919319ab9c01601801601501401301201101035573a0026ea80048c8c8cccd5cd19b87480080048c8c8c8c8c8ccc888488ccc00401401000cdd68021bad002375a0026ae84d5d10011aba1001357440046ae84004d55cf00191999ab9a3370e9000001119091180100198031aba135573c008464c66ae7004004804003cd55ce8009baa001232323333573466e1d20020012321223001003375c6ae84d55cf00191999ab9a3370e900000111909118010019bae357426aae780108c98cd5ce0078088078071aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c01c008dd68009aba1357440046ae84004d55cf001119319ab9c00c00e00c37540024646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae7002c03402cdd50009aba1357440046ae84004d55cf001119319ab9c005007005375400c6666ae68cdc3a40006aae74dd50031002919319ab9c003005003323333573466e1d200035573a0024646464660346eb8008dd70009aba1357440046ae84004d55cf001119319ab9c003005003375400c9201035054310049840045848004c044894cd40044030884d400888c8c038cc020d4008888800c004c01800c88c00cccd4014010008004c03c894cd40044028884cd402cd400888cc048008ccd40048c02800488ccd40280240080048c02c004c01000488ccd5cd19b8f00200100c00b132222323233013225335001100322133500f00230040013002004300533012225335001100d221325335350032322300200b301822533500110162213500222533533010002007101913006003133500f003001100130040010023011225335001100c22133500d35002223233015003300100830172253350011355017003221350022253353300f002008112223300200a004130060033004001300d225335001100822133500935002223301000230120013004001300c225335001100722133500835002223300f00230110013004001300b225335001100622133500735002223300e00235500f0013004001300a225335001100522133500635002223300d00233010225335001100b22133500c350022233013002333500123370090000009119b80002001233700900000098020008009802000980491299a8008803911909a801911801800980691299a800898030019109a80111199a8009299a99807240000022600e008201e44a66a6601e0040022601000a20204a66a6601c00290000980380208078910010910911980080200191199ab9a33712004002008006244004244002442466002006004424446006008224244460020084646002002446600660040040021"}
diff --git a/marlowe/scripts/marlowe-semantics.plutus b/marlowe/scripts/marlowe-semantics.plutus
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		### Changed

		- Updated Marlowe Plutus scripts to use optmized `asData` for `Case`.
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"type": "PlutusScriptV2", "description": "", "cborHex": "59091159090e0100003233223233223233223232323232323232322225323353232323235003223230143300d3350153301a0033350153301a00248008058058004d400c88d4008888888888888c064030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c0044c05c6ea8004cc00c00405c8c8cccd5cd19b8748000d55ce8009191919191919191919999111091999800802802001801191999ab9a3370e90001aab9d001232323233221233001003002303100233006030001357426ae88008d5d08009aab9e00226037375400e66601eeb94030014c8c8cccd5cd19b87480100048c84888c008010d5d09aab9e00323333573466e1d200200223212223001004375c6ae84d55cf00211999ab9a3370e9000001909110019301d01c81c1aab9d001375400666002eb800888c8c8cccd5cd19b87480000048c8488c00800cc014d5d09aab9e00323333573466e1d200200221220012603a03935573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae78008980b4dd50009998023ae500101433300475ca002024266006eb9d69980080f00799980180fbad00d323333573466e1d200035573a0024646464646466442466002006004646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008cc01dd680118030009aba1357440046ae84004d55cf001130191baa004323333573466e1d200035573a0024646464664424660020060046600eeb4008c018004d5d09aba2002357420026aae78008980c8dd50019191999ab9a3370e9001000902291999ab9a3370e90000011022930198191aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e9000001909110011301a81a0199aab9d00137540026ae84d5d10011aba100135573c0044c0566ea802ccc005d7004919118011bac00130402233335573e0024078466a07660086ae84008c00cd5d100101699980100e0008031998013ae00100420012232230023756002607e446666aae7c00480ec8c8cd40eccc100c018d55ce80098029aab9e0013004357440066ae840080b0c07c004d5d09aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026aae780089803cdd50041800803919191999ab9a3370e900300091909111180200298029aba135573c00646666ae68cdc3a400800446424444600400a600e6ae84d55cf00211999ab9a3370e900100191909111180080298051aba135573c00a46666ae68cdc3a400000846424444600600a6eb8d5d09aab9e0062601301201101035573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf0049300a80a0098090088080079aab9d0013754002464646666ae68cdc3a40040024646464646466644424466600200a0080066eb4010dd68011bad001357426ae88008d5d08009aba2002357420026aae7800c8cccd5cd19b87480000088c8488c00800cc018d5d09aab9e0042600f00e35573a0026ea80048c8c8cccd5cd19b87480080048c8488c00400cdd71aba135573c00646666ae68cdc3a400000446424460040066eb8d5d09aab9e0042600e00d35573a0026ea80048c8cccd5cd19b8748000d55ce80091919191991091980080180118038011bad001357426ae88008d5d08009aab9e0022600b37540024646666ae68cdc3a40006aae740048dd71aba135573c0044c0146ea8004d5d09aba2002357420026aae7800898010dd50029999ab9a3370e90001aab9d375400a40084c004646666ae68cdc3a40006aae740048c8c8c8cc064dd70011bae001357426ae88008d5d08009aab9e00226002375400a9308008b09000980891299a80088061109a80111191807198041a80111110018009803001911801999a802802001000980791299a800880511099a8059a8011119809001199a8009180500091199a80500480100091805800980200091199ab9a3371e00400201801626444464646602644a66a002200644266a01e00460080026004008600a6602444a66a002201a44264a66a6a00646446004016603044a66a002202c4426a00444a66a6602000400e20322600c006266a01e00600220026008002004602244a66a002201844266a01a6a00444646602a0066002010602e44a66a00226aa02e0064426a00444a66a6601e00401022444660040140082600c0066008002601a44a66a002201044266a0126a004446602000460240026008002601844a66a002200e44266a0106a004446601e00460220026008002601644a66a002200c44266a00e6a004446601c0046aa01e0026008002601444a66a002200a44266a00c6a004446601a0046602044a66a002201644266a0186a0044466026004666a002466e0120000012233700004002466e01200000130040010013004001300922533500110072232135003223003001300d2253350011300600322135002223335001253353300e480000044c01c010403c894cd4cc03c0080044c020014404094cd4cc038005200013007004100f1220021221223300100400322333573466e2400800401000c4880084880048848cc00400c00884888c00c0104484888c0040108c8c00400488cc00cc008008005"}
		{"type": "PlutusScriptV2", "description": "", "cborHex": "5909a35909a0010000323322323322323322323232323232323232222532335323232323235003223230153300e3350163301b0033350163301b0024800805c05c004d400c88d4008888888888888c068030c8cccd5cd19b8748000d55ce800919191919191919191919910919800801801191999ab9a3370e90001aab9d001232323232323232323232323232323232323232323232323323233323333323332332332222222222221233333333333300100d00c00b00a0090080070060050040030023300400101c3300400101a2323333573466e1d200035573a0024646464664424660020060046052004600e0026ae84d5d10011aba100135573c004464c66ae700bc0c40bcdd50009980180080b9191999ab9a3370e90001aab9d0012323232323232323233332222123333001005004003002323333573466e1d200035573a00246464646644246600200600460620046600c0600026ae84d5d10011aba100135573c004464c66ae700e00e80e0dd5003999807bae500c00532323333573466e1d200400123212223002004357426aae7800c8cccd5cd19b87480080088c84888c004010dd71aba135573c00846666ae68cdc3a400000642444006464c66ae700ec0f40ec0e80e4d55ce8009baa0033300175c0044464646666ae68cdc3a40000024642446004006600a6ae84d55cf00191999ab9a3370e90010011091000919319ab9c03b03d03b03a35573a0026ea8004d5d09aba2002357420026ae88008d5d08009aba2002357420026aae780088c98cd5ce0170180171baa00133300475ca002028666008eb940040484cc00dd73ad3300101e00f33300301f75a01a646666ae68cdc3a40006aae740048c8c8c8c8c8cc8848cc00400c008c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea8010c8cccd5cd19b8748000d55ce80091919191991091980080180119803bad0023006001357426ae88008d5d08009aab9e002232633573806606a0666ea800c8c8cccd5cd19b874800800481188cccd5cd19b874800000881188c98cd5ce01a01b01a0199aab9d37540024464646666ae68cdc3a40080024244400246666ae68cdc3a400400446424446006008600c6ae84d55cf00211999ab9a3370e900000190911001119319ab9c03603803603503435573a0026ea8004d5d09aba2002357420026aae780088c98cd5ce0160170161baa00b3300175c012464460046eb0004c10488cccd55cf800901e919a81e18021aba100230033574400405c66600403800200c666004eb8004010800488c88c008dd58009820111999aab9f001203c23233503c33041300635573a002600a6aae78004c010d5d10019aba100202d301f001357426ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aba2002357420026ae88008d5d08009aab9e00223263357380200240206ea8020c00401c8c8c8cccd5cd19b87480180048c848888c010014c014d5d09aab9e00323333573466e1d20040022321222230020053007357426aae780108cccd5cd19b874800800c8c848888c004014c028d5d09aab9e00523333573466e1d2000004232122223003005375c6ae84d55cf003119319ab9c01401601401301201135573a0026ea80048c8c8cccd5cd19b874803000484888888800c8cccd5cd19b87480280088488888880108cccd5cd19b874802000c8c8c8c8cc8848888888cc004024020dd70011bad001357426ae88008d5d08009aab9e00523333573466e1d2006004232323233221222222233002009008375c0046eb8004d5d09aba2002357420026aae780188cccd5cd19b87480100148c8c8c8cc8848888888cc018024020c030008dd70009aba1357440046ae84004d55cf00391999ab9a3370e900100311909111111180380418051aba135573c01046666ae68cdc3a400000e46424444444600a01060166ae84d55cf004919319ab9c01601801601501401301201101035573a0026ea80048c8c8cccd5cd19b87480080048c8c8c8c8c8ccc888488ccc00401401000cdd68021bad002375a0026ae84d5d10011aba1001357440046ae84004d55cf00191999ab9a3370e9000001119091180100198031aba135573c008464c66ae7004004804003cd55ce8009baa001232323333573466e1d20020012321223001003375c6ae84d55cf00191999ab9a3370e900000111909118010019bae357426aae780108c98cd5ce0078088078071aab9d00137540024646666ae68cdc3a40006aae740048c8c8c8cc8848cc00400c008c01c008dd68009aba1357440046ae84004d55cf001119319ab9c00c00e00c37540024646666ae68cdc3a40006aae740048dd71aba135573c004464c66ae7002c03402cdd50009aba1357440046ae84004d55cf001119319ab9c005007005375400c6666ae68cdc3a40006aae74dd50031002919319ab9c003005003323333573466e1d200035573a0024646464660346eb8008dd70009aba1357440046ae84004d55cf001119319ab9c003005003375400c9201035054310049840045848004c044894cd40044030884d400888c8c038cc020d4008888800c004c01800c88c00cccd4014010008004c03c894cd40044028884cd402cd400888cc048008ccd40048c02800488ccd40280240080048c02c004c01000488ccd5cd19b8f00200100c00b132222323233013225335001100322133500f00230040013002004300533012225335001100d221325335350032322300200b301822533500110162213500222533533010002007101913006003133500f003001100130040010023011225335001100c22133500d35002223233015003300100830172253350011355017003221350022253353300f002008112223300200a004130060033004001300d225335001100822133500935002223301000230120013004001300c225335001100722133500835002223300f00230110013004001300b225335001100622133500735002223300e00235500f0013004001300a225335001100522133500635002223300d00233010225335001100b22133500c350022233013002333500123370090000009119b80002001233700900000098020008009802000980491299a8008803911909a801911801800980691299a800898030019109a80111199a8009299a99807240000022600e008201e44a66a6601e0040022601000a20204a66a6601c00290000980380208078910010910911980080200191199ab9a33712004002008006244004244002442466002006004424446006008224244460020084646002002446600660040040021"}