Skip to content

End-to-end tests for Plutus BLS12-381 multi-scalar multiplication builtins #3270

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mkoura merged 2 commits into from
Dec 29, 2025
Merged

End-to-end tests for Plutus BLS12-381 multi-scalar multiplication builtins #3270

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e8212ab
Add BLS MSM test cases
kwxm Dec 27, 2025
283f4bc
Add e2e tests for bls12_381_G1_multiScalarMul and bls12_381_G2_multiS…
kwxm Dec 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions ...s/tests/data/plutus/v3/batch6/1.1.0/succeedingG1MultiScalarMulPolicyScript1_V3_110.plutus
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"type": "PlutusScriptV3",
"description": "succeedingG1MultiScalarMulPolicyScript1_V3_110",
"cborHex": "5915580101003323232223003002323001001229001a4d2290029112999ab9a337726466f70c024010c028004cc8c0040048a40070009119400cddd801c00466008008002002377600226600e00e008264c66ae71241216d6b53756363656564696e674d756c74695363616c61724d756c506f6c696379310080006460020024520034bd60488cd5d0001198020020008c8c0040048a400697ae49119aba000233004004001191919400e003003482904f000400e91130a412531b82a563d313f83e8bc99a57cfa869f4cfa464654b6d623e862ed3228a5ba1a5a391928b1882620484ec91c522006007001801a41a01f801a41a8078001002a44130a412531b82a563d313f83e8bc99a57cfa869f4cfa464654b6d623e862ed3228a5ba1a5a391928b1882620484ec91c522006007001801a414827801a4146278001002a44130c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006007001801a414827801a4111c18307b865801a41c545e75a0f801a41d583d207801a410e1d8000300348930ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d22013082f54b0f316d0b9d3ba74b1a474d7310147157e33484c8ced9735e39f10af6210db3cad557fbd34b58788135d73f940600c00d22013088c7e388ee58f1db9a24d7098b01d13634298bebf2d159254975bd450cb0d287fcc622eb71edde8b469a8513551baf1f00c00d22013095e4262f370607b2765312297461a04a3fb1fbb83e998a8e7d0f237017df86c5fb01f85101177c3dd41586df05b038cb00c000148930afcbceab8c9fc72d78eb1ee391f175c4dfba0b351a8131e5908aea701fb4642310b908ee0c94e3bad44555dadbfc822e006007001801a4173d9e1318fc5fb4f1d536731aff74d8db19fdfb531f75c0b801a41597ff33f0205801a41c94fdfa789030fa1eb6355bf5be95f375dd5374b0d171365611f6d5d7d837d8bf7bfcdb16f2957df25df21c9ad47ad8b57a7ff8ffd2ff527216617801a401b801a4179fbcc95801a41ec03800018005220130c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060070018006001488130c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006007001801a4173d9e1318fc5fb4f1d536731aff74d8db19fdfb531f75c0b801a41597ff33f0205801a41c94fdfa789030fa1eb6355bf5be95f375dd5374b0d171365611f6d5d7d837d8bf7bfcdb16f2957df25df21c9ad47ad8b57a7ff8ffd2ff527216617801a401b801a4179fbcc95801a41ec03801a4005801a4199c151e3ca09801a41e79fb70021801a4001801a412b51a33895801a418dd087801a41a01f800000300348930c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c0000000522130c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006007001001c00d220130ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130b1cdc04561c6bd93294fc05a3a27170ffdca767965cdd7f2ba6065d6805e9c3afbb64e68604ddce26401566a74b35fb400c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c00d22013084a8c4b64514db1bedfab0baa53fbed998672626b4c715652583a504df9c44ad3fe106cb421694cc86b2f2371eacd28a00c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c00d220130953902d964d21288d940effdd5c0a9fbb1ea1c315ba1671ed64ae5aaaba1fb4f534818d0185da25b4b18f8aaac3ac8ac00c00d220130a03b594a8981e96441eb8b78c44e6d2c74ddef3a2ab29aa1a008079842bc6569d97a6760c7651691a3a7f7530587657300c00d22013094d4cccbce79787e3f62bd467cbba59f55872e924418d57f1b3f095c2c73cf0cb1280c81e8604c5783d3de8885a933a200c00d22013093a91ee7a7068706b9b7af1c2a2f494d4fdb4dc6d0231abc4504e3adc44668f4281194c4e2ff82716ab2b4a8c7206ff800c00d2201309570827ff24bcbe2439265bc9524e648c5808793e630386d37a737bdefc6b1f44e6fd75be5b863882f1a23afc9482a5300c00d2201308ab6a042cab84ad5409176005d2de21fd94008de9bc3d24d63bb29b1263cc967400d54e681ec8a17177efd527c5908dc00c00d22013082365efc923b4349390d5341a63b8a49eef610d1987e3488eda83405ea65632ba777309effc00cfcd2556a26c80156d700c00d22013098ecb6abdbdebec853e584e07e33e0047d69874e94524ed677708d464fda0a825e3b239b7105464abaffdfdb92a0809700c00d2201308fd7dc04040fe05723e0d24ecaf5727844c18048fd1226a2c72047048af6d386e697e2230d28970ec51e9fa558d2b02100c00d2201308f8d5b50ebae3b9efdb99b0e528427955838ab1e0382af922352059eea3cd3ec2844d39f740aa7f40bc52b40fd5124f800c00d2201308a69706450b964997b19bbe0bbd3dd91808cc63f5df9e3513e1bfd5de1d7f10a84a52a1c5b84a9da3182a751d27e3bc500c00d22013081c87a7282b71c1d70442ec39afe03df9bd839dff07ac6032697b962bc14a654f7835ffa3d4605228edeba208e3492e300c00d2201308ae3211537182d8655a37b39c6dc6295e47a58b3f8ba58244b4ee270c82889a816fffa1b0361a14faad2353aa3dc1d9000c00d220130969e4efb709fc1ab0296480e77cd689e7757612de75212a87d6e7e4ce2a93539881263235631af26e624589b75c2954b00c00d2201308ff80b97b3aec54fee552497506126b57a47f79d6017476337d8d5dac36289a1aa8f2da98580fd8f53eadb4140b7173200c00d220130b35610e600a16f8590ea09a41c44129a4070d03e007927120de989ec1a57fb3a6acdf3a2bd4d2fbd80dd0c6f00f38eac00c00d220130818ee62968e5c9ac5948f6a75fdf0a403b0abf47cffce962cc6350c35943c9127674ddfc35efa9898a6866546c554a9500c00d220130aac4ee180e447c630f4137057142c3d7c38ecf83da005fde90834d023969432194c549d4096c40402d9259d6e46e900600c000000002910130c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006007001001c00d22013089a1f2d2c350af95381b09f307e467ef4629aa3acd1c8eb6143d0a07bc072aa6c69635bcb3c83aab43a68e07f024f7b400c00d220130b9d49de64b4f0743f603e44697bea32d6b8065fa64efc77b435bcd3adea5af55a958e33034fe2cd13c99280f2987537a00c00d22013093fd9bd18c19665db678479fb28a7aadce222986e894196bafd85d487d43a4bba22b66891d753f61e075c503b64f416600c00d22013085613b4871d8b2e0353c135c0b94f50a9966c424f6a8ee9d12c646392a22c51498317a50acd891589b358113acea4e6200c00d2201308056aaf9b83cb4b3355ef95703832a03bcb9a6007bb1264908d4f27bc497aff4cacaed01c3e14c68914fb35327713bc500c00d220130876d7c92a343dcb531b4c0f6b8f69f68a669deceb2a157f3fc3275133dcd3f663da0750f6edcd7b8fa89a2572c44950d00c00d2201308250ad507d9226a172d02a98294a6bb07bc16757a4cef45bc2b83de2f87778cc1ff470337f2781a5e6d4daab1fb47e7f00c00d22013097bf126b9bf85e01612a9fc25e5c65a2fbbb040e0f6d953080e243b4ba630a6bf4fb51c8ff2eec24da35d984462b0ae500c00d220130b0e80d536410cf8b5278cc4044fdb18e12877d1b703c3bb45925dda5714cd24957c3f57bb109c185c5ddc16c8a353ba500c00d22013098b32a5b91366486dd401d862a89ef61c0b658574784813b882c721504188246ff805b11c4073ffb9bd830cc12315f4c00c00d22013098777e52c79054b1b8012dd614679bf9de9d87a9b8173cf8a262e07df62eda3cf4dd67f6836bbb8334e5334be2909f7700c00d220130b591ba12e3e328838105963a9b5f6a964e0e14e096c452768e1de0a1aa69415517615dff9d7815dd56f961c2d79c3baf00c00d220130b8012284c8b6ec662a347d522d759a9fee42686101211d14759440469d3ba42b5924954e44581fb374432f1c0d76094300c00d220130b0b6cfc79a85ba80dbc7a6bd5f27dd50d4604869ee4530896b0c6091da4219d155c2d72752f52a31f7286701e7ebdaf300c00d220130a13c72f1187a4a81987c5a97ae4ff922c79ae5906ac438947e3b20ef005a8c376987a385acd4fa532064c7c49fcc20e700c00d2201309192ceba2b90309f69c9fb9c50d3dccaea19059818293dc000d52d7657791a83e5d40a705dad2203352cdc786b2015f600c00d22013097310b39d24a8ed24ef4997158868b92a5c2e66775c544d9fe7392e6b2ea260feb4641f9fb50d91a80273db500abc18700c00d220130b2269c620f74b2c4afb42dd1f7edf61fb4d0d3dd0a26fca989233c151f76c7ce3dbf58f097dfd6d9fc100263af8b5a1700c00d2201308fbcf258661226ad8883273e5213a677d584b5d8e04b3435d4994dce98b98f29b5688e2f5fcb427945b050ac9902560700c00d220130a2bbe64eb10a52992c2efec0d7e8ed50f04d87989c1c0e0474e07ca4144f34f01fc238c8ebb3aba8b1c48f1470f9cd4700c00d22013098838669514a7b3f960da9f45673370e2a90e86e2d4ee78d20be974065db4d735a65fa62b4602c49ccf5ee93fdc7961b00c00d220130a5f0ad8a351546578e2e1231a7abdb51fcc583450cf1ef2dea674c6e6d7d163abd8e50f56112f104d858357d666eed1200c00d220130b1d4b98cb712879517d3e74797840f408fe90a4b3e3b74d27689390108896121a243d546ed0888642bcda8cde92a011700c00d22013080a55cb41aa37175fd8ca54ba9ce6e0da6ad508827ef603756d331370bcdfb03c0b1e9e9d6af279283dd28cdce583bc900c00d220130b7e66179f2c7459892963e68d5930453f9066f4c75abbc42d6dc3b793bdeebb87f6ebb1746773d6ad442858d3edc349100c00d220130a7cac65bff12db1b8a17c04e0adcd015999f44c11d0ace183aa32479b7826aa8764cb2b5573f2138c612671d547b168400c00d22013089e6aa2d08d065032de3e80c2da93747c159aa8534b3c2615d067558bae0f4be547f6abe4530ffcdd9bac7db9abb600900c00d22013081ce57eee7faadfb0f18fbd9104447381e595a961e4fe26bad19880ea614de09f5111ce4359f0abf464922d9baaf5ffa00c00d220130b8e8f444700aad30c8da1dcf16d5496704a950957263e5b4a2272ebb396ed843e00777964925361e0ef5d790db50e39c00c00d220130845537bd9dea08fa4515c883baeb1e1972df8c211ef390e4f2357c1e08436eb8f77f0085433adee387c19b6815de38df00c00d220130877b6482a469c2af59153f2c785c8bc576c9d5779e118c188d3a8a6a036bd54cf413e172c406bef7cd57be5a3fab396400c00000000005220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000801a4001801a4001801a4001801a4001801a4001801a4001801a4001801a4001801a4001801a4001801a4001800000801a4530ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500800a00691130ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c001"
}
5 changes: 5 additions & 0 deletions ...s/tests/data/plutus/v3/batch6/1.1.0/succeedingG1MultiScalarMulPolicyScript2_V3_110.plutus
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"type": "PlutusScriptV3",
"description": "succeedingG1MultiScalarMulPolicyScript2_V3_110",
"cborHex": "5910b8010100332323232223003002323001001229001a4d22900291112999ab9a33772660120086646002002452003800488ca0066eec00e00233004004001001998048011991800800914800e00122328019bbb0038008cc01001000400226601001000a264c66ae712401216d6b53756363656564696e674d756c74695363616c61724d756c506f6c696379320080004466f70c00c008c010004c8c0040048a400697ac09119aba000233004004001191800800914800d2f5c92233574000466008008002323232323232801c006006905209e006906981e0006006910130ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500802a00d0056007001001801c012006c00e0020030028024009801c00401300348930ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130b1cdc04561c6bd93294fc05a3a27170ffdca767965cdd7f2ba6065d6805e9c3afbb64e68604ddce26401566a74b35fb400c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c00d22013084a8c4b64514db1bedfab0baa53fbed998672626b4c715652583a504df9c44ad3fe106cb421694cc86b2f2371eacd28a00c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c00d220130953902d964d21288d940effdd5c0a9fbb1ea1c315ba1671ed64ae5aaaba1fb4f534818d0185da25b4b18f8aaac3ac8ac00c00d220130a03b594a8981e96441eb8b78c44e6d2c74ddef3a2ab29aa1a008079842bc6569d97a6760c7651691a3a7f7530587657300c00d22013094d4cccbce79787e3f62bd467cbba59f55872e924418d57f1b3f095c2c73cf0cb1280c81e8604c5783d3de8885a933a200c00d22013093a91ee7a7068706b9b7af1c2a2f494d4fdb4dc6d0231abc4504e3adc44668f4281194c4e2ff82716ab2b4a8c7206ff800c00d2201309570827ff24bcbe2439265bc9524e648c5808793e630386d37a737bdefc6b1f44e6fd75be5b863882f1a23afc9482a5300c00d2201308ab6a042cab84ad5409176005d2de21fd94008de9bc3d24d63bb29b1263cc967400d54e681ec8a17177efd527c5908dc00c00d22013082365efc923b4349390d5341a63b8a49eef610d1987e3488eda83405ea65632ba777309effc00cfcd2556a26c80156d700c00d22013098ecb6abdbdebec853e584e07e33e0047d69874e94524ed677708d464fda0a825e3b239b7105464abaffdfdb92a0809700c00d2201308fd7dc04040fe05723e0d24ecaf5727844c18048fd1226a2c72047048af6d386e697e2230d28970ec51e9fa558d2b02100c00d2201308f8d5b50ebae3b9efdb99b0e528427955838ab1e0382af922352059eea3cd3ec2844d39f740aa7f40bc52b40fd5124f800c00d2201308a69706450b964997b19bbe0bbd3dd91808cc63f5df9e3513e1bfd5de1d7f10a84a52a1c5b84a9da3182a751d27e3bc500c00d22013081c87a7282b71c1d70442ec39afe03df9bd839dff07ac6032697b962bc14a654f7835ffa3d4605228edeba208e3492e300c00d2201308ae3211537182d8655a37b39c6dc6295e47a58b3f8ba58244b4ee270c82889a816fffa1b0361a14faad2353aa3dc1d9000c00d220130969e4efb709fc1ab0296480e77cd689e7757612de75212a87d6e7e4ce2a93539881263235631af26e624589b75c2954b00c00d2201308ff80b97b3aec54fee552497506126b57a47f79d6017476337d8d5dac36289a1aa8f2da98580fd8f53eadb4140b7173200c00d220130b35610e600a16f8590ea09a41c44129a4070d03e007927120de989ec1a57fb3a6acdf3a2bd4d2fbd80dd0c6f00f38eac00c00d220130818ee62968e5c9ac5948f6a75fdf0a403b0abf47cffce962cc6350c35943c9127674ddfc35efa9898a6866546c554a9500c00d220130aac4ee180e447c630f4137057142c3d7c38ecf83da005fde90834d023969432194c549d4096c40402d9259d6e46e900600c0000000020090036007001004c00d22013089a1f2d2c350af95381b09f307e467ef4629aa3acd1c8eb6143d0a07bc072aa6c69635bcb3c83aab43a68e07f024f7b400c00d220130b9d49de64b4f0743f603e44697bea32d6b8065fa64efc77b435bcd3adea5af55a958e33034fe2cd13c99280f2987537a00c00d22013093fd9bd18c19665db678479fb28a7aadce222986e894196bafd85d487d43a4bba22b66891d753f61e075c503b64f416600c00d22013085613b4871d8b2e0353c135c0b94f50a9966c424f6a8ee9d12c646392a22c51498317a50acd891589b358113acea4e6200c00d2201308056aaf9b83cb4b3355ef95703832a03bcb9a6007bb1264908d4f27bc497aff4cacaed01c3e14c68914fb35327713bc500c00d220130876d7c92a343dcb531b4c0f6b8f69f68a669deceb2a157f3fc3275133dcd3f663da0750f6edcd7b8fa89a2572c44950d00c00d2201308250ad507d9226a172d02a98294a6bb07bc16757a4cef45bc2b83de2f87778cc1ff470337f2781a5e6d4daab1fb47e7f00c00d22013097bf126b9bf85e01612a9fc25e5c65a2fbbb040e0f6d953080e243b4ba630a6bf4fb51c8ff2eec24da35d984462b0ae500c00d220130b0e80d536410cf8b5278cc4044fdb18e12877d1b703c3bb45925dda5714cd24957c3f57bb109c185c5ddc16c8a353ba500c00d22013098b32a5b91366486dd401d862a89ef61c0b658574784813b882c721504188246ff805b11c4073ffb9bd830cc12315f4c00c00d22013098777e52c79054b1b8012dd614679bf9de9d87a9b8173cf8a262e07df62eda3cf4dd67f6836bbb8334e5334be2909f7700c00d220130b591ba12e3e328838105963a9b5f6a964e0e14e096c452768e1de0a1aa69415517615dff9d7815dd56f961c2d79c3baf00c00d220130b8012284c8b6ec662a347d522d759a9fee42686101211d14759440469d3ba42b5924954e44581fb374432f1c0d76094300c00d220130b0b6cfc79a85ba80dbc7a6bd5f27dd50d4604869ee4530896b0c6091da4219d155c2d72752f52a31f7286701e7ebdaf300c00d220130a13c72f1187a4a81987c5a97ae4ff922c79ae5906ac438947e3b20ef005a8c376987a385acd4fa532064c7c49fcc20e700c00d2201309192ceba2b90309f69c9fb9c50d3dccaea19059818293dc000d52d7657791a83e5d40a705dad2203352cdc786b2015f600c00d22013097310b39d24a8ed24ef4997158868b92a5c2e66775c544d9fe7392e6b2ea260feb4641f9fb50d91a80273db500abc18700c00d220130b2269c620f74b2c4afb42dd1f7edf61fb4d0d3dd0a26fca989233c151f76c7ce3dbf58f097dfd6d9fc100263af8b5a1700c00d2201308fbcf258661226ad8883273e5213a677d584b5d8e04b3435d4994dce98b98f29b5688e2f5fcb427945b050ac9902560700c00d220130a2bbe64eb10a52992c2efec0d7e8ed50f04d87989c1c0e0474e07ca4144f34f01fc238c8ebb3aba8b1c48f1470f9cd4700c00d22013098838669514a7b3f960da9f45673370e2a90e86e2d4ee78d20be974065db4d735a65fa62b4602c49ccf5ee93fdc7961b00c00d220130a5f0ad8a351546578e2e1231a7abdb51fcc583450cf1ef2dea674c6e6d7d163abd8e50f56112f104d858357d666eed1200c00d220130b1d4b98cb712879517d3e74797840f408fe90a4b3e3b74d27689390108896121a243d546ed0888642bcda8cde92a011700c00d22013080a55cb41aa37175fd8ca54ba9ce6e0da6ad508827ef603756d331370bcdfb03c0b1e9e9d6af279283dd28cdce583bc900c00d220130b7e66179f2c7459892963e68d5930453f9066f4c75abbc42d6dc3b793bdeebb87f6ebb1746773d6ad442858d3edc349100c00d220130a7cac65bff12db1b8a17c04e0adcd015999f44c11d0ace183aa32479b7826aa8764cb2b5573f2138c612671d547b168400c00d22013089e6aa2d08d065032de3e80c2da93747c159aa8534b3c2615d067558bae0f4be547f6abe4530ffcdd9bac7db9abb600900c00d22013081ce57eee7faadfb0f18fbd9104447381e595a961e4fe26bad19880ea614de09f5111ce4359f0abf464922d9baaf5ffa00c00d220130b8e8f444700aad30c8da1dcf16d5496704a950957263e5b4a2272ebb396ed843e00777964925361e0ef5d790db50e39c00c00d220130845537bd9dea08fa4515c883baeb1e1972df8c211ef390e4f2357c1e08436eb8f77f0085433adee387c19b6815de38df00c00d220130877b6482a469c2af59153f2c785c8bc576c9d5779e118c188d3a8a6a036bd54cf413e172c406bef7cd57be5a3fab396400c00000000004012004c0001003482e7b3c2631f8bf69e3aa6ce635fee9b1b633fbf6a63eeb817003482b2ffe67e040b003483929fbf4f12061f43d6c6ab7eb7d2be6ebbaa6e961a2e26cac23edabafb06fb17ef7f9b62de52afbe4bbe43935a8f5b16af4fff1ffa5fea4e42cc2f00348037003482f3f7992b003483d8070034800b0034833382a3c79413003483cf3f6e00430034800300348256a346712b0034831ba10e00a00100348813089a1f2d2c350af95381b09f307e467ef4629aa3acd1c8eb6143d0a07bc072aa6c69635bcb3c83aab43a68e07f024f7b400c00d220130b9d49de64b4f0743f603e44697bea32d6b8065fa64efc77b435bcd3adea5af55a958e33034fe2cd13c99280f2987537a00c00d22013093fd9bd18c19665db678479fb28a7aadce222986e894196bafd85d487d43a4bba22b66891d753f61e075c503b64f416600c00d22013085613b4871d8b2e0353c135c0b94f50a9966c424f6a8ee9d12c646392a22c51498317a50acd891589b358113acea4e6200c00d2201308056aaf9b83cb4b3355ef95703832a03bcb9a6007bb1264908d4f27bc497aff4cacaed01c3e14c68914fb35327713bc500c00d220130876d7c92a343dcb531b4c0f6b8f69f68a669deceb2a157f3fc3275133dcd3f663da0750f6edcd7b8fa89a2572c44950d00c0000801a44130ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c00d220130c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c00d220130b1cdc04561c6bd93294fc05a3a27170ffdca767965cdd7f2ba6065d6805e9c3afbb64e68604ddce26401566a74b35fb400c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c00d22013084a8c4b64514db1bedfab0baa53fbed998672626b4c715652583a504df9c44ad3fe106cb421694cc86b2f2371eacd28a00c00d2201308b9120083e12fe72d41e1488078a84a6629c2d90e00c238152b4cba64c20994196a1f4de9132f44597b566c80f17d64a00c0000801a4173d9e1318fc5fb4f1d536731aff74d8db19fdfb531f75c0b801a41597ff33f0205801a41c94fdfa789030fa1eb6355bf5be95f375dd5374b0d171365611f6d5d7d837d8bf7bfcdb16f2957df25df21c9ad47ad8b57a7ff8ffd2ff527216617801a401b801a4179fbcc95801a41ec038000100348930ab5d1d67b495361c3297c721cf3c9dc510fc5055bdf92fefc1e67d91a00a765520150428eb4c2fb01902d41d5ca62d8500c001003483403f0001"
}
Loading
Loading