# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 6acbfc1cc61d0c3763bfe336e01c861b9334c53281ca4f29dec65879c09f5d13 # shrinks to (data, pos) = ("048cb27ada5246c68581cbc37c7c46630fb715eec7389391f4d229d19bcb257efc29607f3212ad0feee9c972ee75b8fc56997c1f2c63e41b7624520fb8bd12b6f235c5d00f67ea3a24d1bf15ed47b16c73452239af360ca72a712e472d930aa0facb32bd860c68a804b894bc95728d0809a08803a3cb112b171cbe5e1e8fa2745a8803f3b19e2049d88c379c3d5b08286fd4c0edfe9d2014013d35a1fa9dcfb53d53eefa276b93007546b3796d8879e6cd9d2b2604e5331dac6c5451fe1b2f52d1744cda04908648ea0d0d84e54c6b76ba66c1cc1f5a220a715ee071c02cd06dea10f427a56fe8392213f029c6fb799ba934e9309d4d1e580d88c9bcfbdcc47a0fdc0d6cdfd468bafad370e5e8c18f90f26864e5cb3e4be70bfdf9bb5499c8827b14af9efe5a76a0d6badcd70a30c51a0a1274d5d43c3c3faba48bcc834652970e1eb53be9417b5633e8016503843535a7c6617fd89c3ad091400d458f105b8461b62420", 12), level = -3, frame_size = 328
cc 101bb2a58113110f0b29e3a9eebf5d19791059e0c230163f29f167ab4236e5db # shrinks to (data, pos) = ("c3996818de2a03527e523f3e4447717645c7d4aa83cc3095d52c492b430c110b3d2e1119fb844b09b558cd454fbe145c8abc71dfc4668c2d3be34f8075bbfcda78ab3f426c85bff5ba0a593614c4d5f172e65d70e1ec39bf17adfd965f072b2642209fc729fe68a224878d6b834c1e7ea89b890e288249f103b457e524e0f10b7bab5b7ce4ba8c3eda5fc478000ae48a55ad0edd50cfb49b9c206b2fedabed16184021bdd6d85722db751cb3b4f7db8918a5c6632577c173a2d4af318819d744754fac74585b7976d199b061236752804c1a8e826e419c3188d2d7e3341811bf2c98d3554887a8a55e3290286dd10e8b1ef5b24fc187f500acb090c90f0b3a1144010dd25fa8b2296ed1d023beeb7a7ed08aa2e964eb48ad1324493c4040472a5ac0d6c66e1f19f862abdeb80a96f6df9fca50049fc8eb92de553e3714460c48ce9817444b7af2c76c65e6e8041fae3b39e6ada478efb5d7ca4831f1ec7ad7", 1), level = -3
cc d3d9dbc654d0db3ccfe52adfc39b0ea2b74e1efa154f673868525865aab8639a # shrinks to (data, [pos_1, pos_2]) = ("ba75ce9be68fe39495687e21a6d6e92de33fe54217062893b3ee769d515ea887b594e76f26e81b0b8e11463c5b496b40e7e6724061306ce54424ad24a93be77b28bd8f5e1820ec89aae6ac714d27469eb92a26700336372195d5cf8cd4fcb6c6d3ccd83d0d5b033cd32a18f3f6b1cec90dbbadfe94dcbfc01ac15770d015694ebcebc576af03f42c4caaaf467724431394576bbd72e22c47a46ed45f8baf3c68281777a8c7e618b97fb511a28b7a7c25e8017c5e2b19fe9356f460cef874fbbb78b3b5517803aa74e8a1a886b1961f4fd9fedce1f63d0f1ca005298cf3d547dd425922ce1e8585bb49668b5543ac1c71e73c102580f435b309ce80f2d7bfc0a4a6ea0f5a4f852004a4b51706177d031f1788ddde6f9bb430d1982b237341ff8b6e02e3a2a04d59f79d5233c234f2c3fa7ea44ee7f987c969fde221353b07cd7ad7568576b279c58ebecabc40d244a8f825bbc73e1e10d4e1613df4266795df3cbf85ca016ee45a9fc6b9471ce98128113882824d33e004586bd36cc55fdb048243392f09bfe00ef5e168c5", [1, 264]), level = 14, frame_size = 263, seek_type = Current
cc d2800d179281e7d346666fc76bc96aa39ae4e55003db21eced1f33ead66e480e # shrinks to (frames, pos) = ([], 0), level = 0
cc d354c5106c2e8f92557d06042deda5b18d6731368e88ebabe0544281ca2768d1 # shrinks to (frames, pos) = (["71ac5f466edb6b9bf2f08c58160fe6e4c4175ec623c5c585ca8ae89cb95fd22518c92e41cd6752ea4f32087f09cd3a29e678cc9632975f01cedcdd8736aa34c001e11b1180b597329daca75502a83bda2eee992e2d8e8e1c9169942c2ff995a320402798a01595fcbb76fc506eb72ba8e7d2d7aba84d3a07154d10bc1a2e745db8534a443e4de3819d0f7587071b3190c43137277320598f6b0c64087853dac180cdeeca775bc33dec1bce71e4dcd6ea88a733d239a7dbb7ea8ff5cbf8554cf42ef7372c3afb350017b1d2081813b0380ed0577928039d115a029f370a31f38889512c3194c1219eef69f292b84e7196e623f34b429064a480d468164f503a0318b2db31d63613f01050dd0e9ae7ea383a19fd1e5bd6b59d894e1e70afc3db132453e6a86e73925d32b86ef253d9cca2887a74728b651e305680d2865712a195f7ee0688f3ce0b59d791651d96a6f32a43f310f08945612630e662bf894a93789c91de664f1309707eb5560556e92ae5b803bcdb2abe1ee4c422c7194a49b4f29984152a966daa7632f8925b3e6b10ca1a1d8d4edf050f9d4f7315ab38333984cea62cf643bb4864b52def1baaed35bb817d20091cc62814dda33eee7931ab6a7ec976a1653d78703f1a0d923fc08e2b0ae3eab9a413eafbf28f49417404edc3cdaf25c7a629f30333b1705ddbe927052ca1fc5546ba57ae036fed1a72d9be1836914076b6e9c7ad910c836218396e4ef46e2ef5ce7a96f5f9faaa521ac3a3b53d31ad3640a6dabee43f57897cfa27219ab29bc2cce25dc2915741fb1136fac707907bb92c0e609839565dc69366ecf2f6c43daec638cf8e0fdd2c785c2dda3843318554ebade3dac177f11ecbe9defeff5ff9d94ef579a575c7d8d9503964ae8df0c50088e069289f997ddc70f1cc25867057dd088a95d6b0844da377dc3ab846f8fd03dafbf76a9ca0a3a6e58d7e656bd054ab53bee020c0d8b58f1886a494fe375b496a5004644010c0c9332c54dd8afe7bf2e2f850", "13ac7e7cbd359e44eb904c3b68afb1433dd4780c35244a25b0abcfef7343dd18e9f83c5e7e1c2b55bbe047c72c56b3bf4115ed68e74e192848534a2547bd0220330d146fbb470ba927769abc3e0880c7f6b92a9747d6d9d55634ee61257a16b1164e564c07ab962dd332d252fde9a5daba79c974b5b87009242e9d78ede009aeb7cee83fff5c8eb4b49ce035082994874086de6e3e0ec7077253e8b252b2400202455b166743d06a4d136038c123637a3a38535b2118366cdbe3692d0f5948827ed31e9571f6e0753b1dd53c7ba91da9918a69a238b8a6833d00d703da725893ce002859399f1f2aa44da5249c1023563ec9470f3fd71923757b102b99c6e3b1dc403026e170a3e92b64ba6396688d72b49809b5966c90ba38dd2589ea1fd5e33bb3c7d18a8cd9f4dce83617c4a0a799ef85b5dfc4d9504969d4718225e399769c8e438abcafa5606be1bbbed091745e533e993f7f4eaddd4011013959139c7c8b73966c20137f89c56fe18cba7d1d48be9ee6039a20b853f2a1a7a450cbfed852d064bd06d905be9b71a9609230d0c967fe2b5e003c6f8c87b43144fef4713a09299777c4567ac3a9510df9a5b1c774a006857c984f8dedb8bf5d1dbc29732b3098a946ae4b89757e0f722db809a4d2810fb93d9f55eccb65660bb7d81bb969b1bfda4df57774982d09ba31ab05affd5a1d7002ae8df3a0bcefed0b0a948942adb0f8b16b21a291f2ab6948c1b638e5e6188ab35ecd8175427e98053a1961602152881c5b452b14fa714bdbc69be3e58332259d3b6f10994aa435182a604bf1b140268d8e0a4416698693d2b596ba832d5de1abbc8ec02806febeea4be23743f67b45ff56fecb28694143e3e941541a6c9f3164742e236d9ccfa75e3d14824aff9523e590d43f303335b09f82dcd50b39ce5a34d5ccfbc7336c17f21fa5df510f71530aaf6049c4878ca73670757c84dc445c130932f8780c53cad9a24a44596eff1ad340351b7ac0a84fe12ce0773e27", "28e5f075f553ea566bf450bc35bad267861333ee194299c7f7347166b30584f5134fbb3479fda9eba14aba6803d6135f34cdc49ac2279cc6b7a40f03e6a8a8d33027adf514912bb1dbf5acb5d6cd3bcac889e1ad6e3aa80fe5c688e219131fb67fb2dabbbfc3fa68c47e1562de7c1c0620b11b5e265a76a8e02dc0fd167f21d0d14e5f1313e0da7aaf5b246d5e63820e9d88ed609c10e9f491f8169c9c8f7030c90bfdd0d89550602220de0c965f23925fff59193741c9864a872a06874b98e26c14f8dd8c2d6484e7745be3f01647001ad32d9fc55aa9be31357056782ca3b52a237580e60b50d2176b5b995b842ff14c7aa017f1633373799bd0ba723bc5f9a1f89836c099ae209700e2e983fc6003d4ff50fabca7ce183a0e1183cd3db7e32520e5d7d0cfb89f1f44ba0341a5e026f390a8faed093f5f480c532e4871c1604878cfcd5a5ce80bb0d1ff869e3aad8aa9bfaac3713443dbc46411eb548298407dfe94c268733c0603bbbd57ecaeebdcd199b87d8a55d3072a395d96d34211cba372bea57eaf6e1fcd77b73ecb325759e6acbb8d8b0ab6b818573f2159eaf4dd604eb94cc52f8f10e4039d29a33aef2dbf4faadf6ab51a3988c4a0733c73e005307b1f1301be88ea0e4d260bf81c57de73bc5a809e95bd41a42fdc3512afd307cb41a06f4364e23bc4f6658f95eb9f35f266e145685f2905b315e8e6bccdb26aafbd3165a116b5fe905d18b2520559816feaca96b0626584c34c06d62b31ae7ba2ccc675d24a969901e98f09790c29fe416f22ac696f1dbd816b48fca8ad07bd4ce0b81639f1dd68470f97f34ec33977213c208867e9391563b33ce0dac566f4e1044b7ff14b565b5300c11596d2c45f6a06066be956fc", "fcc3bb3073f089e71aad06a4d07264bd7e47f0147de926a7f6ce3204fcd133b6205daa4242d745f75ec67225ef37106d33d368e510160f8826efec79bf13514653bca7096f9022647b720ef301979e719a0b9a01771e68ca9be032bf9ef36bd2d30e35af89f538b2f47bfe3fbb298f002cdfc91d46dab89c7b636b92eaf2db4722cebdbdc959428c8836e4bdfc312ad99f0a18334eaa6f1c6fea092cde32a3db96bb29312489eef6970bd1d8b93af86663a1cb3e4488520b95efe4ff4e5ba17d98a48b5b2401e57c5e2ae2556ff69944f5e38dab74bb57b48a4b920cf80592a2fe9f87009b604044e38b0ae618e2530d1489157b948b34e81bc40bd972da7593fcbf18caa5ca0a9f9995f98287b5dbdb8d918436b629f90cd78bc3ebcd071e5f8a553a9aaa21b12b56190b36d0fd4138e195982bc9615c4730536955621bcf44afc3b4ab394f60fdfe64463c3cad94c7ec0f36824a0cf7350b38fa6feccc648bddaabcf37503b139d9945ef2ee669a99167890651e66865960bc3d47df735b44f9923f7ca5ebb0fbe8410646119b79e5c5478d43c82d795b9bb3a54d5b8c348e2e59d8dc38ef171873119d91d2c8452b3ba1b57c21dbe36e52d1f095046956ab16332ec2d9a106a82e62eef38b4db3086fcf01434f34aa4928e562f121c953814905447d90b721375ef4aa4345be197d35c572df24799f688400b977a97028734dec48c3dfa7b8eaa03febf635a5aab9277eb70dd06ce02da991770352b9f2144a534f61da7e2484b9a50f4453b4894e65f9805f9a330110973b494d3b0021d779fc986896826da21b77767f1c9c1576eac3a329bd982af4551e010f73289c16f00294d807beb73ff1a8b71a12e4d9850c29990b858387b17cf51ce9c752bca377279d5e286ca93686276e5b4f354796798254fcf5d6163bee23957c442a169036c055c71e48c298a684b6148a1cf7cc90a2da0c9c0d5b123859d7d30c669f34767e8733df996af7c0be795bc91fbedabae3cd4bfc16d28cd56487d8c41d3cde27a3913d894aebde1a0ddf3ce3847a8dd5ebf2106190f51c9d58bd4a6ba88d293ce61c37ac4bb5b54d4226f192df54ec196c18a91b13acc130f9dfba7e95b464e274804a61f649e66477ab589ca0ef933baff6d5ace3f55ecf915423d987bae36a5426ce17ebddce38a170406799af040da5c31aff807e4684073b467a0615dd5fac6fa8ed45562b03552e745a93031afed23d62311a8e6f451dc4262e3d35d1ef0edf03f4a84e74c0fb0db975539e61a347d64278b3922048bc1fcccf81fba17fd8832237fc135b7599e761bf8a9408df4293f2e4378a7b0f63439b62161c3098736296167c7bd87b", "b46ecda9a33771ab0caf6d037d72ce01716977330ff82abbaf7d99043f045a665d595da0cc3bcfa0756c509e57238924de4047b1ed17c27abac706b1e58f5c63464fc79177f953af3cbe0e21f2c55e87777f2adecea5c2b4dad4c60dc6b819b43af0d9113f31dfd1412f811c833251f1e08dc74c97408e87330029c9765667b3f93c4b7c1230ddf4c2dc8881ce205a7171aa5ce29f35fa0169931664d4a16e973a769ab288c9fcaf33142418131b88f11e6d5e0366ea7405da3f08e1afab7c06fbf45d4416e3ad2e87fdd577258904fa9f3a3810d9a2445fac6b05fe948086270670e56daf31476182eb98d6e62baba0daa7d51099c19a9bfaaae955a61e6a8a173870826780a8e6816045d848dc818bc74cedbb20907dcf3502b3cce7f02b91d874b32131cb2477e49716ca0aa13c89d251735e82ba51ea62361a6357ad68faef78a9a5b233abbd1f85785a1543e13956d4252f5ea8c594c5a462030592bb8680842a62ba07ac0d374f3cd67003b8206b78462be1f2c303e58c5db906fc755ffbf0ec33a85e0f4da44f9406e7aa64d82eef18a3aa9187e5db98ba316f5657d760e03b67cf7d70f41507637b0dd9f6ba1f20d3b1412d234ab84c51c621828b2c6fea73f5de7ce465590ac0f1bf66dc8743972ce9334a49ed8eec80e613ff59eadc0e12d9ab54107e7621928f44e835fd9998a843394c2753db41a83d3bc2f511ef980a00ea0420dda82d452caf4b4756537e591790c5af8a5886694b834fc2c7f386db1913143f012df1096a83f9efffe32770fb78581459de1be95d11d76ded72a4c9158436ed2cbff5084160ba1490635c14e9bc6298e48b0e3ddf9871ae7aedca77b05090e443ae86c121b3f8f736183dfbb1a81f0815e102d464c752951a7dee38dfcfeb8b2e11b488e0f240a8fd80000763c491eade91a63c2496386c6f589891f442b50c7272fb7ff35ad9bea9adf25a3115d4c7be547589cfebb388e80910f9d06252eeefa29df27a3d76a31b22d4b37ee65c24d6b649d816e764ebf5e9f2c86a1d3a13637dbdaafeaa27539aa9a4248171", "bdb9e22a207d25e4a082db88d0687fa830265ed0177380a8c5dfc6c48926974db1ccc406f9619f43fdea9243991e", "a10b2f10045985c538da3df313c549afafb0673639688f5b0fb0303e40b1ce20f929f7214ef961032478a286bd174fb77f75460ded7fcf08cdfba51a853b0177d0082279c1c792da4c7e6165931c44fba018b1dd863f3c903dd57fffb8ec9bd9614a883feb3e9e8a2ccce8f3338a90caeaa877b1188e52a83daf49059107f1afdaf2ff2ae1f15370956fcf0cfb9797a82e607ffb95ed356cfebe0bb3184cb2c026c05d5f0e42a07a0c3a46c474d62cbc7326de3a41ceb7d5e033248fdc8975b0adc50855b992a8b51714021d84f903b6d9df5f9d613c5e50ad13c8f64d16c13f5bfc1fbca13c01f9feaf94068962d050f7d87979d9bd79009c1936f151f4b9503adf41741485c2ce78d30a519dd91bcd576f722d6a05d33eeee14ddc9afdd1601fd0749d94b32d4da09f59aa46f2a47ad7ec99228e3ff1d6e736e5f54ae20539aedca32c264c45e8417b305e6e3d566ba390c9e43d1259cb5234ff7ff561e4a752ca74f9fd5f25b707b92908e11e59ffa5a7ee85a6a1fe9c33f19eac08378edc62565bc8ca07dafd7a93f1ba0e4176be293fb42961e3d18a5f95f2db0e6a7675dda8e7c5255a0383e226214a1a08eed01a1a7e577953766d16a29c744a8d8fe079696bf2ed7ffeadfe94b3ef791f42eda93eebb6b7830faa21f9289b46227d0aeedd8e3a141c7bae8ca4fd6c561f023e2410c14cc625eb4cb391fcd76d6d6a8d6a2d31715fb8b38c733c25c578c4cac48cfa11fd6873b6c5bf5f15e1b324f0c1f334f58db9e2f6ac5161b52dd618d7630d949a5d25221bab5516f402c85a7d34e1c54154af912752560131e2fc9b6012fb36df72141091541495637f6c1771f00e3be27dff42426c172af9f2af41c8bb71c5001a4b44b5dc03fb44547ff26f3f6304380a6631dab61148828ebea881cdd11457c9bd1f9b6ead3fe27f813ee1881ae1535eac610177aead28c472ffffea59bed5d3551a8d3fa1f1569d56352c0740495108dd6ca411e9abc32a68436fe203588787be8457da00f5c54e7242db9bf3783c5b4934c5fe79ed92f64e27c1", "f9769d1d130a24f30d3b2fd2982dc8bc47ef0fc96b514f470e1e895a4bca857342d76a80fca0dffef9e781df21f1ce9e9fe867915a1d7e25a3a8a698a1454b3da2534353093e3b3432ccc14fdf5ea7d387ed1e6fc40f173cc9148f4190853002771bddef190dcba50b95e92fac41d5b59f870d4a811a56478e01170c3559aa197bbffa443c1091928fe1a3316f51981ddd4f2a2143778a5fa8a5422aa9201ea228faf696b0fb74717cb6c7e071ac214bd0835a18e5614502c53973be0935a2b2f94b5c925ad43b4e0ec899e6683740dbc2491b52f1e7f78ab5837b8f7d8d946a10e7f44f8fbf510df6dff8c2d8aa9f10fbec30b031aa49c4cee3d763694cc949f121f3493db9ed0310d8c3a83f3d22f4dbecc57167f8d16e3f3a430aab8d7f98f5d266a57e2e4090b61f32781cc9328c7529defd7c1a94a9b49a470d59bf955824d402aba0f455b8ba89592861ec99b24a588dc2ea81097b296d49ffd5864eb376ebbb09eff0179b276762d92443a2d0e95fae59f52152007f1ea5a6ddc5c7935b36ed54414ba2ee0e59f11df02caa8816648eb5d5a0b5403deac96c6f0df8594f78eaf66a369841fb265e70a68bbcd79b4a49135d44c5d223e7ad488c873dab73415d7628c0b15c0963fcba46b5", "00d843b0bad947bdb46535224076528b38489fc11beaa4d88c95ebbf132aa1b7b12fcec4a322fe3e712103f4e96eda7fd4c91aa39b03105ac0b8e5156af328d27573e70293fbed88f9548be84ba23eb8f5b52a7a252c9c23601d0410998c1a7719c5afec0cdde97f7d925a1f0514323ba6b5a92bc23721f6bcd917d97c59337590362b1cef0c7ce6b51f6401289786e77aac692d94bdb038c318ee74caf859855fcb3aa1b7987ce1cb57e5f0c3aae495ed8bd8c2ca31b8028da5800c7e3bbd37220190eab0d3282da30b64dd800582434aee62e21913a57ecc7b1f85dc6f42c3ce84519804d9afe87c194a60f5465e8481e1a3a840f73260f92fe3e0a97cdd000119228cd4128c868618b6e48e4db325aa814d99bfa5f633ecc61875e531091dd5c2f7e6b2152fc677410e2d87bd8e0614047fc5212c68c27cb42d1cc3fd4806b376603f784e4ec7bbdb6c2d92020952340de8689f7151e4254640147203c33611c897ba9ca495e3a1645d406716dd05f1de6abc9aac8b2bf510825f14a71df6ed924b5696c01644dc3dd948d26b6510381070d725321b124ea023ebd11421c84798b327140028eb948a5fc041de7ffe330eae806f9dcba3e761e548d32220fe0a36c3e3dafb9cf90edf77186933cb6d54146400162ce7c2390514d87c0b0a1ea8cbbe2d0685f410e10f18b4ed417939130314e7ffdb828c0b38d176e9f93f9f8929a349cffea3a5845e2f9030134b0801186a42e6326f4ff50277bd902df7f0db015736e35925f80ea5c463782081", "64ba66091bb13885f88dc1e434accfa752b5f57c25bd02941d08209173b0a8096bb74dbe4d2fc491f65430182a9033fca2c601cbe38dd460f3d531851f06264f15312f3f5c8c891d2aec4bc90b8fe4a027bcd02e672a86575d30df173f2207c3fad594b804fac6f2873c58fbe895942e82d7a25b5ef05bec972c0ac0e9788c19016079f70eccf77ccbaf719512353c9ea964811c594e9c723c23c2b51cb0f524ab53a06bc1a36f9c1319056e951fd59b39c2d9127b48d8d12c16554f96724ae68f8912d687556139845b578a2e064cec3c6ed478beeab4df0efdad05ee65cec2fe41458e152bd85db6831ac255822839e2f189e6a7aa51cb09ed3afea42224ff3094a382f2263dcfa6ce80f177acf4b70b80c061d30a4a6e074d8127679d7db6801c4b3fad52a296df3c57bd0a861d32d3976e41440832edf6c948cd6414673d77b6aa6c4dabe3a99ad4b998861bf265f67e20f51435efa0754cce0f5411c4d73f66daf5b04beab61cb9d2d031de7a01111ee5e1cf6a90590850701757dee89864145ab6ec232429fc97b315f094c97820c41bf5627428f1b1b6de90ee436a84738591f5405d2dab18cac8fcd439770f3758073c472cb9e7f809798e49242130abbc27d71abe2d38a65a210419bc5d7e00f4c667799cc0f367ea8eb559941f38d2868f5cc8fcaff0f8fbbf2cdc21d4f7c4ac88fb43f0253165f2d2767c531e176f34e2c5fa990ac3904a2a65bff124411cda84fe46c4eba20a70f1a823b10ecf52f71e4476674fd4d1a759e0182be829660b3ea0e9fe5b3de1039c73e1b27c33a6f01506fd64652d4bdb4458a4cd530b948cf6c791fc06a5da53ce72d38f0deb16a48d5099cf00a89c9daae29147078865e3bd7d67136257209ef55b7c16c71bec820995c83f5c67d3172b2eb6828e5f8ce04f7dd3325335b51081270ae2f7b2fffc9a79fa5c262bcb561c8b3ffc6ca475e3e6f4ed4e082ecf826ca8679d8eb5888f637ab3d8430ea295c949cef5a785d1ce3cdbbc012f0cd56d114e42202a38a76d2b63b834b57f90ad73ab987ae69e68cb6821cbcff28d48f96038109d07a58faa7e42299ec72637dd9938dd5f8799ce0f9e32d3de870861a054ba072b4b465a4780047d5e0b83861752d446fb085533d7287e7e62200cc48c47a44615119087a1ec5ae63ad5795ce3ea075feb6a83dfd628929534ae07ed459a16d61620c609afa5bb5f078f145f99b827ee13d00b7ff51b31dbc43515f312292f053c66382d88833a2c79fe", "11a5a90677c3da9a768bdcf134b0ac5b4d0bcb5ea18b51e8bd59fc550b2cfcf4e09ef1971e9465987942fe5076f142a6167c60eb02f1509bb408e566c4bde742fb50b27d2b0432aa6f1f72cad1d2715cc6ea0bf70280d797b35ce61055a0bcf881ba475e09121b5882e080db9a5b27de26db05202fdb1bdabcfdf6760caa09cb2cd8080e240e4cf1d942b8fcd6b1ac4143ac68858cd1ee2a4232d8762b3bf0a7bf7d9a5066978aa1c2ffa7d06d2c488563bb902b7a331f3bf06cf8d0dae295df0e538e63adab56c19d5a44fb5da9010004a13017978087a57e31e585623f16e7219c8139c93337edc9e93d436048237be302ceb02f90284546d91ccd7aa8e13109cfc3c4007557ac38d3a86029f1f707f081e5404b24a8f742845c2bc283c1", "a049e0b72e427d3f5d02e499513ed3ea66e591f776500849f432cf48c927efa85e20c5337549f89c208ca0c99bbc0d3661ad728b77078e1dde699b2e033545767b7327dffcf042acb3aceae052309426287aeeeba12a879350f3c8efa8bddd49127badbb366964cb16dfdb438db49eff0d8809c2debe3026a33955da1f92fbe6fefe60ee838531f1d678541556bf8656629ea32aa3a098cf7adf759e23eed89380b8e40547a9881d9805279ae40fbc2c9c6e4c594abe3e70d62312dfebb1326d22e753ff2f2f757ddc0d935ff6d7e5eea3fa92ce1a499d46e548411747f72d67020b49eef8771cb6a16228a4d130f98b02c2cc248f2e176124b76fa5dc787a5c0b15a1f32094e791322b5511c0af203dd2625da6a187193b5fae157f2e7ab4ef6436b5ae2f5b0ca89e181577dd13bbd691b71de05fabe19ecb01cdfd9a79d609d08f573ce2270390a5d26bf261d7a8728f62969be350f23107c8dfbe051b88442962d55d331cb0bb3d3d6cb502f985abb76d4a79845f79e39434bbd5198487853e4de013b060e9fddda6cbd44416be0dd2f71cbc147506646c210d3ae2c2b2eb53442dd34cee641c8f5ff1a9802349eaa86003ae8ed01aa0e93dd5c775a1fab4fbfefab67c6ae1aef6e562a0220909636b20ea19c8ecda5951fad584872dc8e07d402c4bc35f07376ff5392bc09c7e931d17b5d55256ac62928a482cba5307ce6f274150b5ddd34cbfc4535e17d999cafeb4210d878c10f28537ad177026036059ddf3af57ec1e7ae353c32d91f0a0afce0220aebac4d071c0e36d5f651628638aa5a6148e9ea7caa4af1f1be99b9ae67aea1e68a44647e1760417a3e0fce6671e94d75620b130e41abc8c5a85d3eeced9f04a2e51a912248589a1dc49b08c704b38d5e29828631af4061a986edf5434e12fc6a6f7d43ed7c7810f5a4a494293b1b72dc93b6b983792799126ef50ecaf7b813f82d07c287362278934a08b59aaad2b7afc3767e7aea6d68382f63055756fd36800a86a46a8fc0d47a447e0534d1dc4d11cacd742c96a37baa2f98823de5201ffa82fdb0549e2e33837a82607d32e1de88ecfdc7c57040e49caaf49033961842a4daceeb333c875ce34955f4d2463c0ff28c934f91b1d3a87c0e9d5371e5789c089441a1bfadde290dcd6d54e027b803f009ad810119d8d9283f308d6fd43c0fb4a4b22ea86543f29b9842000ea7b6ccb42493e6e95e024e670f6a539ed4b5fcc80c4c9717bbb14c14c69b64962729a460e9d36161a682dba68360f0d8fe30cdd339dc1fb047288a7d91efd461a0c0820299bd2369e6282d2a96986ddb77d9d95dcbaef90ba55a1257f71086f3ae3da545a7589cbc47cee75cde0b3070069150bb8fe1e8bcee0862c6d3093", "393228751060", "336c6a7ebcdcec49a5b683b08afaf6054fdcddd84b373f8484bd5efe6fd1e12202493303cf4d75d2ea3f75a44f907c37a808562bb5795f968ab9cfd9f1ab4f642577607427f7974dfef6c9fb1ed2b1373718aaed2895b1ca788c97add095ce4dce944597eabbd39cacf87f655573fa583997dbaf9a755cd6bcf1805ec07ae8c24276faa9dd815bb4761eaf866c0e411916d10017f1fd2adb793a63d4e275907a3a199983ea5850ae4e19234c9e3b340ca3f7ab8487c4c05aa8434153924d4845856d1da20fa47f2b4ecd66267c197fe243fdae508efc3fc47f23c2061796a9c507d996aea49e185e43fb2504f88744b5429d47eec8078724538e80e573f4c812662d8dc17c804b48bd213c82df9ea2c563e9b5542813002cac05b5fa4f0bc90391b473d14a9ef55d910a5fdd70158862b04cee95db0dcb3901890cca120be2e33abcd1d114e16115700f283fcf0c4941e3eb05cb5bb16e5a83f91c752855439643344d9da996b280598d34abe9db9855c05ce81014e8a7e33792a5866a38e8cac8b112f3999a3b6d14af6fd5109f516653148a5e7116c434cd6136299a159d0efe1e234330110255cc9d50652eaee692b6b5bbf90a04e552ba475d02cb53d0f3747036e56ade7206428a75017051664956dc24d1a0998ad686ed0ef80ce5dcce2c141a36246bffdecf933f60e4176c97ce56e755b55aea6fbb60d18fc597eeec988c0c2c1688d82b9be44581d44051263ec3905efe34b5d4e87307acd69d81ee111bbd2ebfd6363213204f6b298de4ed8ebd02063f9a8bede66425dc5b290203de687dff4958d0cfcdf6385bb8b26a97aff2a4fcad36f96367ec1e605f6576ce8769da3ed982781d7047f39293be9a60f08115eadde3d5f71555b3388fd80ad85c1491dccb6eec6414144bb84402ed8b0786afd5b4d8d47d18d5014e0b04c6d1150132ad1497027b491b9cd172", "f0e2840f6749b1b98d9ba0812b5bccae654304a4239df858e926e1da9d7e999fd1bf1cec3d1fa6ec36990fba714fd49ce2fd8bca99199d98a045b44d49ad6506014ca7908850249497e899dbe2d4130c0d27ffc643be32068a2fd449ba28abeb01732387f8318f738fd53e6bc022419a434d5c161478e3929378426b6ee3930853c5e8f6b0c291540fd38d6c30a270fe70a1941d39e16590bbfa496d56ef0484cdc1086209046abbe3b5f284c9176336ec4c642a35da7419d6cce927104f5a9168e342853115499a52a45d5ae8e82485a2c33a1715c589e4e9b29e8fa37656704c3de8f58fa62dec75f3daf1776a3827e70e7ec0ffb61e4d4626500b91c13b04e09020634b3e7af44db10e85f0cccb6683c2e484039d4e673be80d8feb68f04e4858e31fa4ff68818d742e1d854ddec5fd003768fd41379f999f0b19782af1576a431efc3d68d9cdc917118f07a4fa596cb8fb7b6f54148b45b038803d6f1077c101c5706a16170ef5690dcb46f21b8b8096860b8e50a5dd526f214bcb71403e56489df99f1c3db9c5ed85a44e0f3d7e84a6c553c1b0f7231d84b8eab483f005e43cdcd032c5181d701b58984752feedd4a9619971ae1c31d2df0c81fa233e55c21e2e668f6fc697502c6de179262fe46be81733c78b0799ea85b56c8006b68b183bda4bec71a998fca001571feadd560dcaa26eb73eacbdb3d454dbf108ee636e2039fe410e124ec45a441e19f3da33853c2969761947df4f4da56cabe32daa818498402ae6cf842184c6095002a447b453303f510286c29e51a4f5bb89e1f5169b5efecae56b9db4f65911594a342612ef7e17f7bd65f922e39e95a9dbc092ea3ad46ebe91dc5e089a9dd269b9defbeb00ad0b9968da1a63ca1451d730e2356ba87e09be3692c0fa167b9b8c94e545882ea16f6e099e7be610aa88e7b6d3f1be8a1f0abc2a75fc24ea4a5ea65a9e6ed66765102c3e48085d98a6d2b498359b740715662e44d9981b8f018966e5bcc0", "2e533ca3f55a73357b21e0049d708c29a391f2f5a5f3c79bd46584e2ce3943c79c9b98d702cfd86b99011123cc5ccbaef53e7461390a897e4b104290e1b0939435b6ceb82daf6cb597fa44be45e94a60855806d8104d32e12336d74d85627e9791e8bcfec687a974e464eb137dd92c654e0e7b1a5630addd408f5027d1d789a72e74e4970c65cb6c89c8eb64f59968bb373fdb2a27426e49167d62f944aa078a9d318764143c290038f8e4daf7204dabe32830e1d54009a3ebd615a543f7884ce389f18775b7057a4ae4fd567441fea7d5bfa6d6d9984ef7e7710cb70fbb17fdcd332a04169673343564d1", "2003c04cb50717196211cb52123978f7ccaf920bd34877f880ad3336ba162eade45c265aabfa34f07b6c73fe2b27d5a4b9cea9a712a75dd8f35d5e8264cd71303102f7a5814c3900de27f2aaeb4d5e26098aa974fc6475dea5c40fc3e256fb", "80dbcae4bbe57e38acf188fe5b1c90dbc2329af9372b82ca8c9974b3ba5892355e03633f558822ea6b9ac4485a41e316b13edabdcd2ed5838114fe8a77808db0e4f89b96634d7a0f7d8e8e69a527073b750d7dc1a9ce531d5d9109ed4731aae54ae8f0ccfc7d8856ae298f8a8287c40043c4a39a62dd0e66a6c37b772778f4558354987ea1d1b5fab1be08bd118795f770ec44e5046cca6e1d7a11839838c131956a98dc56404a6050014af2c74b6e75d422e2ed54b194a130670961068d17f6ec609b0e19732ac4b3f48b7e3600a3041e0ecb80deb32310fe9a07e28626b9c0e4ef7dd088ce124c53e9396f3b52ae1d810c5354f92d59c85f17d4ba66a5ca3908ec5e22c7aa5013e5c86f34706ca94f556000f54bfad5b6f625c431c67efc0bf2ee79a34848cae801fa8d3046ac60ee239897eff56627e1ac08b0982b50f92606caf09d54754ed3f307a8276b1dafa122", "b39714ab02861ba1f050c6b588a4bd62b36dac7ecccad63255f5c24eebee494339096eaf6caf7ac06a151592606170f7daa8257ea796418e4fbf56249e44f8598fe4baa9578a63df990939a91a4dee138ad742823082283c99a163b138714ae4ee4142f88081e82034e3e2fa7f336870aa40a77903c64c9cbc02ac192a6be42fd236276320e3cd221f00a49464abb107f182d910608eea030517aee1ac8664977ecb0c66fd6a9be931960acb09311480cbf0f84528d4d4a9762bad42d4988d8cf474cdcec94dc1b147ec4093e00a4ca9f25877e839fc6fe85a948b7b12c729f93069598ce9482410a2fe207088fc27d3e4a2e64579b9ab5dfba6aff2", "e82ccc37adde48a09f291b71aabca08d4e92cdce3db1a8aab2130e5f0c1f5b1479ac28fe408cfa50d6c17b2d573651dde31346d613e6996c3c17c071d410a63e632e8c5ff39967bbf77b9ab54006709a7a7acdbfbf199d3da0620f9b27dea6adf653fd691cc8215c3dd015862e4b46ad951a68418447e3bb8ad78a6587410e9e748eef4869368d8231dc5ff7700ba35bae1780d0243cba6fdd56a38967c36de4a02c8675d9b400e0ede094c08325fed8d5b4ea5fd7e69cbee7a17e5adf6b28220bd74915eb9c33375a6b6519e9ba8653980206eeee8041ef47b4f605885854019ea9f06b291c6bd4c52693276c851262fe462e9b9db0a043d394940e9c7b06ab48ae8f2f2ed399215771bafff73f606846f2e4c186afc023e42a9cd86852a0c7294ebc93ec3337c2cbe4dfd7b8f3497494cbe38ac8d7c519a62681f938fe3586e6b3b9f1f3245594927e04ff727913614cdc98ae2d4e15b0d30b73ee40f4e3dd3e4cb23225c8bd7ed43da0524726fcd84dbbce4395a689c7517d1c891cdd374bac7984a440f1c5c8ff38513e1e6e063c70fa4683381a7c0ef3", "fd10ea384a2b3755a8a7e5f3c09c0708e423833b4fa3142f525ed4c794d5a37d7e0d0d665a282b1c4bbe57c60db5b9fe01eb5aa62427f815e7f578e6abb7fd90f5f6fa9a1310eab8caa1b1abe095c6951fd5a086b14f5d1c573ced17b716c11beb26959032cb34e4a6aae80f84906aba88295c18f6efba523a434d669bd2ee34042b1acac499962afe98f352de3c8ad169ef006a267774f9928e54e89ce058e094897f6847ee00fe7d83d5d79e3d9695f2c936d45613e236e2fa4cc3d1de7019b87b4aa287f48ce6227e142551c8994ce9940cac105c10263e91b9558ddbfbc2ae9e66df9815aa767625064221c5c5843f3916b572e523c04ce63e275d3d5d396a489c593ff99ed5df9f719663c567317ae55be46c489245871fa3dd992d6502e04b4f0c39f4a4b861ea29220e654cc499c61eab7858466224db077e986885cc092f4a82dfcbb243b00444cc6b149bd5782793fa63515fa9a77cb674034026b7d0d465519969e65bbbcc3ebf840b16c41361a23137c8102b9ed74a8cfade0ebef98ca6e1829ee84621571ff8843beb4f654b27376b1e1f9e5f484dc12b5d3b429ec4e102bbd687c3ade4e868", "50e4ba0d74af345cdcfb859406f3ce027b5da2d17b28d03b5e497ecb3927464a800a36ec706a0d55c6f3cb91cef17509f5a96623664378bb18d45cb950a64a13e2a898f5d5", "3cc78a42867a19b84430e033da4825b8e9e874ebb37e6a115d80ece6c12db5b080617470e8d56c7c16069ee24cc7573bcbf1e6ee93688bd6fd6281f35d7ea3fbe05853b37f27a6e6f17c078ca99cee4be96a9c8cb2e6cad34973c9d3588b90073b3572acb91f0e0a768ab382a0f79cb3aa99a6286906f046a9c3b0f60c6de3484827ca09c91526b7580b9cf0b06ca8af9a810757b46fd877750a3d6fcfb60cf5279e0bc75771e6340f6c274ac12d4525106ba7184d6c09a126f250200a3ea9f31797ae7b6f72fc416689d5f4c1cd346fc4602bc181106eb756aa7926fe63166c6825b5a567e060a809ce8399d095c9d0e3a6d41040c00ab2c90b0849410079d0ca748e7ab6b42517f5f68aa031b11d8b465b411562213b1bc156f7e1d91c56e728f6f2cf7d84043ddf468d18e2cce6802386c9514fa4aab095a6079d4e93fc321018d434fe513d8f82fea9da18e766d268c28645aee99053e9b047dfb1b106b82cc8e4ccf501675af77a9a4f9da2323ee2ae3c04bc4e0e65084aabfcb5449dd78af6cba81667fa99ea2fb8e76d420f248acdf26427f7d2b773f7940156126d4753d48532e8", "a3f5aaccebdacfd1f5ac2c7400602bb15275417a9c327e419b78c18684c79c95a7c714374510f80d6777ea992b10216d2ee84a1ad95b706ca33a53eccc3a8c4e7c8c3488ff6ea31334cc5497103f2b930f2017c9e5de443510e04ef4d4273bbbd7aba1a0f2238fd38f45ee885d83c96d7a1fa6697b6dab26a5518670082b71d66f3774ac2435613b0b1d80c1a4acface3c8314ebc36f528f4e235a3f920fb76fa8a1d4503d5827bd71bf70b703ba18da51359599dee05d9523110cfc8eef3c8c4d25c95447053520f3129bcbe54a67a19c0b76305c72f5", "8500314f7e694248fc267db7bbb27bc3cffa6ef9948d0c3528748f0a3abece46841239b5401b975e3a3625c9bcd9455cb57ba0a52f05ac923f9f16a1c26c1cce81ff64cf9a328503ef6c1755a188e10b882549e18740d2a32dff193c0ace41dc533245fa29a2259a69870002d54a75beb62773e39fffb3f3abe18996c3c8d50de625", "0b6cad9037cca33859bf73bd13340200e10c81431020c51cd9fabde3c42d1940361c2a3631d71ee98a876a124028db02a23c149a557a4e5adb921eb5cd1d08cdea8e02069ed9d5a6c07f46ba727afeebfa32b1e57498dbfae5399b4d672a06cb46a8ced1936d460c41df3ae55e8616b8db26b45dbc47177db9207b4a128c187dee1a9e5511130abe7b9914a3b16880809abee84964395c6c190faf6ec95a87d3a03dab89ca976bbcd408e3a051aab50798cb5486c06c6392bf39ba5822f88103a4a099af165f69485e843984a5bce17933ee9f814883402b8fdfc7e1efd8845b20a09731089a119ac7cdca77129b69b520b5321b3fc558f230bb7627ff5f6a2720317471476d1e9620422e36b798d4beea0e7786c26ceaa6b3558a970d57c4007496e6bef0e68d87d90113d55352c4c5a8404bba9748964b918a43d8dad20746c106b35701755ee1a5b0be7cb915a387e5f65e4fcce6ccb1ea5f30cd904126465deda4abd005d50efe393a1b2c615077ea5c412dfaf5b451366836efeb981aa3d5c2dbdf7fa43c49e38bf17e772041b714a6448ad3860ad407f7a298ae078eaf7d6b72f05ddbb57638804424b7ef8bd533a9d4fd08b1655bdf3883f4e62791fe4646bae71cf54180e8d2a699ac06f3343d0ea255ec80cf5a1d01031a121967e8468481b75c5e219325070de4fb639f8ba750cf94bda565d5446524feb861be8a099eca1badec9a2ff08b5b62b20a688745e9026ffed106216aaa0b8df3424e9e74526aa8448f9642f8901b5fdfa44845e93387cbf4040f6052aa2b441835ce97", "33e617736bdbad2bf2272a23bd6d1f4de6c34190b3d53ce7b5949c108cd91e9837be2b6b0d0c2b54e58a6ae2020b293053a7fbddaa2c9ef282a17505acb29187b00b7aad88e217ae3f9fb17431148b72995ab715e53e78463fb1a2c058d68478ae0c4fafd2903a904b86ecf11177976ddef1ebf6e64073506d3e07c79a01c46ed179688d55de8fdf137450b4b21e848c3f29f2ee12a5cc0985d562813fd97f83f7c600b423356d026c38e259618936013f1d058cc0d0f538c20effba2992a3a51cacbb2115f15e14062c0c26cc7510655981b30483105cfdf05d0d336c061b99266535e25d903aa3e8c7b14c166a52362c0c2b916487b4e863d04c25624c59548fdfaa7161f181c5b5bad3c0c2984de4d5d290a7cee6bfb501723c0960f0f96b26f2c4e9321dd4ff2cbd61c36069a3f06de8b68da2aaa8e05ef63c99c7acfe584c46972e1202dfdeb6a2d301fc11c50519163f174618218a2b54340ed9cb9d2510659798ee12a6d3fbb867b3b68d7794e5f08c3cfae8e941601c4a82dea0aa5f86effc2a04f8df4d24294ab0b32efc1d5c3f6f2c448c1969d8fe5a21afcd8de7c6b73b25327e153893c7bd9d668e48eb03d5de8909eeda916f6e7bab41c41fb0f0fd8abb22dfcfaccf8df0d23175223af80e75cf92aceeb55b57c84ab6bfafc3dd48840957af866d855d777c16d0ab207317af42046aa19825ebdff7541cc1c7b8fd6dcf99abba095f30f59df803f2c52307a15a58b71ec11af74a7acaea7089518be573d84ac76397f7dc5fab5a36bf5841b41c53d29dc37feb34038c772965e501ea20385ae9192c801b4fe12c21da595b7d3e8f7eeec0158a646f12fabb4daf18b21925cee3f7c70b9e6f6093fb30485f83e8e01e2a98f2e2260e3d56bc12bf31d4da67c674fecc246dd03640cc719a31779bf57e438945cf2b4c4a797578393a79712086b4dd2db675774f39549ee14707e74fe7e9552a38ec8e86885a589b32db3005e1056f5d28e13ade76d8ad36947f4e39ddf4646e767ce819", "e1698dccb08b23aa128f9c1a2714fb7cee59806d1a8b74fa90405360ee5808d53169bcbf7f0284e75d445b285b836883b3cdc42f0fd118ac738ddf2a7a2411a8b9ba822cbdf616cb3d4c02f1a7eaef2112c2b53f6d3f1b62dfff738a3eed0c2b1a27e21b532e351a29d2ab83824036150b070d568c44c7e9d912eb4ad32eb9f1bd827162a28507cd6bb43725a55c878b5a3fa63b74c44c24d8f59c177e3bd993920be7b11bc887d35335eb91c21c0fd5b4496eb763b94ffbdfaea7987939253bbbe9eb0a8bdd75e831884f0296ceba9b1d0e6ab5cdab4a337732f7f69f1a230f5d5f136d1cd674b72de75b2747084ff3d7ce641d910b80ffc71a86a93556cf7cd901188c632d50a09e77ecba2dd3c9c1f2ab7fc7950c04fd29c8c51da550c22b722aa1d635ed639aa77c6ad4df7ef8f9aa88d418b4ce1189c92d9ae07e339ff27ad56baf912175ffa74470e4214cfa824e2967d1aba06c81f9cbe09c1f1efa2588ec53411d0ae79087894a4961498c742989478403db6ebec231c877db0306d4de336a47b96ea8f3f1ab26d822405850480a3cc8bf4bca5da0dcf741a2a373bdcd8431bc0c797eb81715ff9ee5d3d1a42302c888100a471f1f9b2780e6ce87c4ac515fb8c1747b0d37e1f9c8e4c31019cf700ca5b2482fd33f83fc6562384f5a4845143b0a98d78001bbcbd694a5ab1448a1052e349247fa2bdf9d566820a6953bf1077559e361a387f298a087c18dba18c5a8b60646232287246e236afd8428a7c6d2357dee444caf32a946dcb8aa5f4ba1740c70ebc8db8254d950197dcabdb04fe2560efe43780f7f1aca0a2342c53d9dfdec1d1e10cc46a83e475854cdcf2ee6767d57aa3caaeb91a849d3ac608ec6457918efc991509cc6d9b0c3c38e1ba3d9227940f0199daa210bd793d3b0b3e1519d7e033d95753870548c2a614b8d315222fbd547b95cf6e1e7ac1ea861b0b5db60e596e151fb5375c45c12fdfe4d6347e19ef7a8134b0c4ad5d259be9c065a277d6014f3d4bf143725a8d59a2fc8355f13bf509e7d5f7a305545da363dfd51458890eed056ad1a23c04b198073ad2532a0c678623211a97edf9d28e1cd20d200e96f3e3736f24deb6e5ada38839f39e3d86a602e438c5d208c7a772f2986da3786e4dc0929996a", "74d676696ff81d8258171597498f5fc9475736341a8967ae35a9a26aad368b61727db2c328b3cc26b662915f8d8a359a86a49e482f4679b7663518f2a814af03bbfaf72ae042d120209c8a9dbcff5570ab4268f3634073aa50ed990c4c9d60e268fa78ca70209f54006589da0064a1392d3d53ffd64a5b6240270d9198e81ca71cd9dc868e0fd60766adda26b7050a5e0e25762e223b3734267664e9cac38fdd5254629d543c11be75656fd6ada785190d4f5e4d1258a1a9d3f301e2c082ac87930a9b628aac20d4281f6fbca6d0b77b696e30c1a38008f6946d0dbe9276aecd490cd5e5dfe0cba49ff86bdcd73b8d23cb625a2d941e440246e26e0bb0b6288e84addaa9a4eb64c15063e4b2c3b34a4e61b3492e665b6245b757de05b69001f981179570d59be67b11b8bad1f9fe99cfffb63ebdcc598592656851b98ff8d9bcec653fa76f995d18b4c2271d184fc59e53efd328b6b81397ab570479ce7933c9e7fcab12f4c9e62dd0b8f555e7ad5a38e2fd4794df2c0a039a180d74127a7ca6faf00e50fc4042afa79d96a4b26acf22e99f79a1a480fd530cc03101e0fbee91ac00c427a3d1df62ae979a2a2e56f61a684df8abc5439f880f9f7e7b7f01a003b38357ed1483f236bdf10e4cd362b85327b67dfa7aa91b5566ffc6c5265de876a6505d01b6242e9ba90e284c53d59ff121473d598ae09a711e2ee6636183600f0ceb01998aac1a8c20fe5513094830b2b3b192880a0a7c4264fdf68f9aa3ba25359367f8d9ddeb2d435ed59bf7ad3a75a2695733e3297dc0f88970dfff462940d19d6296d282994dc643f5e6a7304c7795f54edb7de0ae95be3928ca5d26390195a8998e4d46695126c6b8f8f6c8681a2e1481418864335fec32e0ba3b5c512c9413082f0600310353f7bb1648a418219ab9a30894f86d3c5cb5da41beb58025c2c6258c50b284110d4b22ffdf0828ce06935e72e7d151ca7016173f67006000ab50e547accd708cdc320c306060077f694105ec8ce28eb4342c6e6e1699990543f11269980540076411b131f08c51976ddde4b6e9fb0d38f9c017a610ee41b2ab3360553b6e93144c9a410ad2701debb019cf372e25295b7b1d1afdb1bbf0b8a7f033665318a05867b5d099657a9d5dac009f8a008c805c6cad57032ba1d138e3c459349274ea565d4af9520832d88b5ee676ec43f474d99d86fc088f5705ea859081275afb8d0b45d0bde09d67589b7600debd5910d933b838fb0067ebcdf71016dd5b823731b8522d7ac10aadfaa0d10586602c4eb9bc568c8126d0157bb41c75a7fc0c2e7bf6764827cc58d094e991246b9e5e008729bfcdde608b69f4d49421192b66e9", "83cba8f7d95ae2206c08f82a4943a078bf925faee9887162c72612ac7c41610b1c4df72cb58e824a695f83e40fd653d3f71cb295cf9d594230ed10d84d99695b3344b8260ac1a196cb014457bf977dd5e61e4866dfccbc3cd38eb997ca7ed01c40423195657b0809c26cb0485751031984ed8ca42d806ae3a3e9376d51c8e2c441f22cb5a08f1a87513756dec4f052c8603dbac82575093d", "114f6eae735a55639b8f45ef440df26565f0a33109346bcbd4e9066010ebac1de787e856dd04edd87c1eb09731aead8234e3488201beb1b74e291dbc862ea1f2dc928d796bd92d8f6943d47f395bad463bf673aaa69d93cee029484753af29262c9c1bd15c57f5f9158ec0acf8314b4be510857382abbd9ad63b0a7cdc0a", "8a84433f8ad6e51f012ee71c287948078b8b89c146aa57ba64ec38cc4a27a46fee939f", "ccb2bdf92a4ddd9ef591a2ecc97ce2dcc39729301b575f039d37a746828494074c07c00d2ed6bf0db3a385cf70ba1d5a4b764f5dd998cf5465722a6706c18cb008d3d83bf8791695be78f7a14e71df7d608c26fa880bf3678bcb9f7b264c6065eef1291d59229a0f24b5056ceb283c856ce3a39a3a1e58317e4abd4b7cc5472dca1446013b0ccab4d202758a83e9153998e32d01cbff1704aeacd6c9bd037df27ad97ccbef2311c1095c9e5fdf5857548e4c748a5074d861e12589f2d683e9f7d53da42afe1d4f77bb6b2867ccbf6d8173ea8578aab50bbe637d6b82b15200094725b9d209b28ce298a6bdd143fda85d0d88fe6c02de5fab89a392e5e25d018af42c0da222e68368e00150fefcd4cee09154bbf1529c8e19e9d9e08e418db8be9f5bf75f72f7176a296718534eb696cb0b56a1e59f1838ce219114671c8781b06b2d42c61bb29576a036a66134d7795a9ecde0c42b7983380f5be5773c5c68f9d4643578a935fff5dfa4360a2ad47a17f8959025f140234e2d68e7c496b11743eebb07e58a311b43d8b9cc43092e18c3b06dd001a5530cc0a913f598fc8663650ec7819d5c78b67620a324770b3a4f8095518cabf612fb937cab82fd7971848e1401ea289d57f7b928adb1b8d8abea8671ad8e98941177c246262eaaa07559a75ba6fcd8ef9b2563e46a4519269f196f86095fba0fba0c10efa9afac357dbb8cb509d99b9a59c2f604f14e010665aad59153d3bedd65e73da5c8e039d0eba0004da4bd33b735c90842170f8d590ed584a58bf15c35cefcf68914e36ffa21496ce4a58a91c80c79844018acd2cfc0ab421d2aebf16b18c6634d8736f702dc23359a9eb853d07391620438470c811f035e901e0576fb982268299492fee972e5af6fd27f6d08b7c59e9914e39052ab9dae0f4fb2c9eebed55381122f7a5aa27fc388b22a49a33be1ab6aeea38f5800ddedc00f5e030a039e625ed9517b0c5c02e3b95ba6fc24906bc5ae8f57bd725e2c0c113bb4c9681dabb7e8b63a7e872ec6159fc563bb58128e8de1499412db9c3750754ff595facad357287e89c6665ef98a7e50a020eb896195c508a26a74063a3806d5e4f45cc6376521db8477019a5c72bdf885788dc4b4f22946f2065298850f358c22a733d9aa80badc087c4edbb52f0e13d4a86a231c94a332fd4e63c6ef6d1b37856c80395d810f56378ca271b36e67e24ccf22a203327736f78935f363592f9be1e5a9c5492f9b23ec3b04ec1db94a3edfd9ab78826e49e33735935d71dae1ef36c6fa242d6de66d6945c385c2484ad756b50643b60d16265c1812a32c193565fe6f6489ccdbd0b00f9ab0c8ba711d0509757f8e22b352b3cce5abe6da9814", "77ff0617b9b9afcee948898d25eda74514fb0e91566d04cdca9a3c6008314692f607a53a02e104299870af39725813cb7fd5ca274a19a1ea83820ea5c697168c6dd44bede0b2463144ead038137ea6d412cae99ca52a682782a903dfef0c9cf08fab4f61298e20cf07946dc19ea0d1581e060f327c5b93471e50ded814fffe5e641760ccce5e665cd38abc0e54e5d07ea15988f2ce7b8af2969dac5ced6c0587c09d88b05019e84fbd03e7730d15c3d633eab5c9206c4e8e371fa95eacb2e3d75836d81ea4e9141cb46715f06b59bef85849238b8b1cd47753accec33f80174b08a3e423acf9af8c45d7b5ea632f2daaae169bb86555611d56b7278acd53fa5c22825074617b0f569890945431cd38fc6c0a5cdaa608b85400dbb66d611b9d4f36aedeef0d415a3eb7e4b59675149fd80b6be7965669a4335a207d32aecd8b8a00bb0b36b746cfa81616db7e1f9425348ba8ba88b9b3d8e9e9b63b6a390ed0c83f0d90b76bc6440a36c1c6b620e86f4ca4f4a6a69fcd7d95ff489884a6", "a01478eac6b8a2e34391cfc4bdbbc9ff9e5f14912884b03f73d7c34c10a4fc2ea3d3550fe505e7649a6e53e61dbd408558d671767bee0dcd987ab85230bb7d1fb58b9440b06c5cb243dd6d17710fb581c0ed0d1799a6a28c30c1cdd5fa4d9b8864a141d78c9d430d381e53bd41a6a300eace84e06f62dd7adee953f467f02b3a355a9ecfb187963a910bf424f1226a081d0c7e72cd39e19d3f2c1786e8d4b3e10befd4a2d13b1c7a675334ab1ea31bcf0bb23a61853c40ad00b930118f2cbb8207b6ef6deb19d93c09852027b871de5937fb892549632e4d868686b6418885611dd280d71867d976d213f392ddaa990fc6b3e96bbee2c9648ae846d9b8439f694c8b51d011b59f6f3daf924bcf2e6389b97652c8ca25e964c5b416f6c393f17afa08e48c03d5004e2445fd291f650c674483a7b5ee2610b8fef2dda942ce204683ab31c185cea426599500e6f7bb53366b5be557ee", "a82d46149588e628bc5d9fef4e42a336d296e0402b435522f18be0f17bb80d3218d16fb57a6eda535f15a037dc6244ed88f97c2986144b2258efd19431720435baa098f9cf11b84ea951e839b18ef9af6ce8f39b2deca5f9f07ead1fe156c68391b9ebb9e31c10cb860166736db2c479be44ea9548bb31eefe9ec01561f8fd94f336693ed0243dc77084675484366b1533473fb27ac6d1a32caf1e9b9c71ea0c91321d8642ba1d96b7ea0a602dbd7fe0b8c06c94744cf7bbf3347ccd844a004290c5b6a90025b83913f82e902a34d09c4fb53f3837414be88914d9e053b64c66638bea9ec4264d8fb32dba60dca1ae03151cbadb7d5a8f1edde04cef29688460bf1b012ced5538c126f541d9e23cb0cbc5ff400e57f2eb568b79d7314e1c24a7535e9bc69e0863d3f9caaca9b037a89880259d9faacb7bd346082d36a9733af5fb1dc0f4c316ee152d3fa6810b81693b1d11cd4104cdc435fb1f58f8d1cd9fd28e0a02823cdfd99642bcfbffa4624ded13c30844ec2da80bf932144e82d2bca2b355268cf6b83e9d8bfc88c3146e583fc398c08295c27040472fcebda88ec253025fe3572468cf1821d1daa97cfbf655890fa364a51f7244ecf9382289345b4d0058e5c2cd7d6846a79a2e504409f2becc3cf9de8102679c19a73379621efa18fb1b9a862b7d40eec7c056cf3e57844c8aec035867b2341b8e21f1445ea3ccf8df15dcea9ca2ac7563bbfebff34c2d26408d7bf9759db61aa937009685351a56c3fd888797c43b6c88f7b1dab99d88ebfb0eff0a43dfeb027189bf7bcbe8", "96469016bd8c363c9f8899fd523a455c490bf2ecb19043112f17df2d57f54876121e97e6628d8efd928f4e940ca50394c5906921e00f5ffb0112c887f6868e162eb2dd6d61437db7b364bf6925bff33f38f0bb3fddb1a15562d59cd9c91d33a500097ed90fa015bdb85387d643512330d142f2adfa685f90ee8c45a85c93df5c20d2fcde3d366560cc0187b25e9b3eac1a8aca390d1c112a93789d1deb585388cb2150848b05456032d9a9fe5fbaf5d88a23e32b39f9bfa5bf659fe2f015fba6a15c4447096a7b27b53e6ad49ef491bf", "3c7d1cf0e668c73132bf02cd7ee04c62ce14de2b50566e2a8c546a0a9ffa39d9dc1eb758692e8c929d7a1a25cc90322309a48dc70fe858ad0344149f0d5c08bc085a9b6c7ee2c315df9d1d6772d91cbd3de4d0f15ae949e77bf50f6959ed71a6726fb9542a63f9f044c0f715550a934f30e736f291f91d9d8bdcd723823f745ce2299081a5d82fed1594c52807a0f5291617012cc1236bf3491026aea37592cb6e59e8281196370decada3c5e4c9c75fefdf525f8fba15293391afd45ebbcac456d1dca4c88f278536f9517c7a5cc950fdfefc416b8dacdadfc8f70858947e7199f6b7c1eb6940a319d703d664e9f0c6ea88a1b99fa0f19e86afff79c16b1a3f26b1215288562a251574df2c02f931417a5395fe3e67830bd435bbcd520f01e1", "80001545dace3b99a491992e060772b79b71f97d553096f82117119cdc974f71810ac5f25372f65cfce0b74f18d42de1e43dac0a1b4ad4b7da37ff6ef12d007366439c948310cb7ccf460a2ffbc25e2904df16349dbeb07bf3b900db4fbf9414ba69f77432956d62a92bc6201d9aeaabe2880f74fa18cd6e285975a26f", "85b1c1b4c57d03ec2737846fa2b5cec93c659d8b45a02a811efb7310fabaae5a7e4d5f5e2fe1cd94f35f17d1d5b7eb73aa7a4ed39bdd08ba645eaff1fb30fffbc03a90177a8c656d9f058373633d4a62c0d5875eed142cb9ff59e689252f4a190a2ebe880bea0b2eef919690740eafe73ba4e3932ae4fbb8de65398cb2e34fd7c638e42de04b85af0fce848145706f1a02e3783d87950c8c61394bf4494f6e8aca7f04b7558c68d7ef9e7329980e70a669e6f9fd6fed10969c27d57ee2b212e4d7725d5ce87e294df35371d9fd54865b5f0be90bd7886d1e28d17c6be1935a305e52d0854e5763656eb50b5b3aa180590c5ad463ea32fe62fa283d487742d93c64e33d6c56ea2f144df759294a0c85bc678b70fdef3759d28460409d03a04feefbc7bb0b1e746171a9acdbe2947ce0573b60d38a7786fff0a5a2e591122db6b1c9a6d90f14794089a10169aa180c986692e00abbba6bc178585bd5e4a230777a732fb45601d030bb6d5fabcf295df227baef833efac01cfa1def37d121d4e7ef73b2eba610f68018ee479679c3c1736ad5c653dc1df436c83e79494c0c22c61e299d192e885b", "09b6443368b9c233b22e683c3f4b50ed83b96c711b8edf03c6263f5608e6a87b202acd0f17bf973c10b99654fd30a92c356ef154fdb04fac25ce1f495d32d45721730360c5d0fe9b70c2e398eb5ce3d135db85887c8281dda87279ce53599d9620d21fd5cd095b74860d73948b113741262b15197bc98446614790b5277df505242c7d54fc5465f2cc58272f33f8fb42306a894b3952607068713bfd51361370b4fc9a4108c7ea3a88f9143076eca1978b6c526634b19b25d0e71a2fe8ae4886ecdfdc643152d073ba81447228c3bf0fe25b4eb67342b05d8de5dfe528509d9665a2ecc20dae8b58e1bcdf9cb71f848c4030317bc4842b18ee0394551245eb3eebe9fc23d698f32191290dce010ea12bb3d753d48dedbfe004d2c8115e54904496e0862cd832fd0c4b5b20dca1019102a09efa47c0d5821b470e55757f381b205171ee57383b00864fd637ca6d1da3215161f89565a2ec9c6739ca672c4a41efca68ab9d1b8f56510cd0eaf65fe9222283e30c189b0d195a7eaeb3381232cc5e8cffb3fe0a1465d787f94c", "465944a16fc52fd8b40aeb167e6aa070af3262e52a8ccee2d51327cb2432d1c65dcd566d97c818ca91d4f42a9663b034dd14908181a816dea7c83823c569d70230f7a8f292727e78363e2ed9e405168dd9cb5b0eb39c9f00fcc9ebd7f3d0d35006cb774092cb5cb24efd8f2e04df9727aa166f59b26ce16f5c010373ac88200cd0b9b455b23db59d0858c1b536cf1c19ff8c9ab2e231ce58400153ee06b9f26926aae3be9fdf31d3c257c615e88ef498e2e233c6a2a470586f83f8e78b24fa0320ffc2aa3d7d736782f5de27a815446f4f5fe62b3da74dc8f3dfc7940a95c05177a305d15738b4109b69e7f1578721e699954a8eb2442a10a4c4caccdfb2d605246a4a38543f53c1f16d341dc31a330736a70afddb60a30f8c33d0bdcc71152461072bfacd92147a047183567ead646de0cc79f6cfbc3b02cd6d86f99c9551319cba4966593ddb8ef77bbc5a6051c512877120a563b5e647ee0ff317ca58402519889ad342ce9ea1a71948e127aa80f28982d6cb8f7cdd11dbc396ecaccb2092b32e8ec7910e179774bbf97b595ab845d91cd263f8526c460b728c2305e0b86c8674c97f053c6188694fa26cb5b533ab538abfad66c24bb0994bda5c173e5a84f874a8e456242262ca0d95d0b7bee9a87954fd74329a0da5191237fdc04e3befec491ba981ca282c279dbd88f42e5b31d492b210c5de4ae11e6a2d813caa4a351c4b7930e1a4d59360b6604933be206dd3555e6a22f9f9f5e2882f37105bbe02cba417ce285f778064dc4491d0b9c1a4beccc5796e3483841d018aca5e6501", "25c455d55e0dfa9d1ef3921c81ca322a284b334b6c630916989a5896f189da531756e5195b9c9fe90402a59ab8816a25f198f3347a8878ab0aebf2b4fbe67dc89bd8f037c2259832c96024de5a1fefcef31919eb9983f8b5fc791a8310eef6ef77ec28323064628c14e48f4d0d5b5930dfeeaa78c0d001227b11c8aeb8eb1dd1e520b2eda934da49654f6ab5cbaeb5153c725898c640cc021d24c7bd1f7c64d9f52fa5d0e2068ec9ad2610187ab62f7dea9de061ed3b9395b6164b5e3f91f6707fe7dc4758a7690dad49b48159f86e43bd57b528f23f27adc846ad30802957cf89b3688384f17066a08e6158dd7e8c215df712ee4b8e502d216d79edbf7fa919d79af93db2131eb99015ce14f4f59272bb1d6c50b2d3be7239e4ff10f753294b4155cf7f8afb8f", "220b61b0ec04c99310a2325c4f3a637ba64b7e0aebb62c1a6b92df422fd24ccb213fd01e9c1966d355cf77fb886d937fe72942f10ee9f20e60673bec48e2e96b1ce775fbde041a985409ea835544fbfc1b6bb5252a817967b47abd03c935da9965cc062c169a658ecc2804e2bdc5b4080e1b9533189ca71717417391eb6f3eae1c0ae148bd8f04c35306727e51111a857ff82240a5534a0abbbfcf2f965b3c246c29a70d1e6e7db1c6923849bbb1cdf645fe828b6fe423df56f339c850b5e1d42cff0c31baeb406f61e51c38a42c222eae06ad3f14fe570481b8a87e3fe56a96e881d8b0d4f512d7857a8dbeb903a00039ffdd5d39670c2e1c2cf09b94bbdf20922cb9736dcba2277e6ff82135fc118c14c5d7076beb821b9e0afb84169b9c9b3a3abc672f15776ac55d3218bf4aec6da9e3af38593b11847e293ed001a6e8018e119e5c1b09e8febea467cc8fc9e67764de3968e550eadb8982a722206a67b529c9b4134155dd1e4ff0570e4c331318230349a5195d09787b39e839f2e9da7c941391792ee26fd98e1cb1b0b4cbe92c0eef7b9fcb4d8215a214650d90902605bf9377767ca236e1223c4b0682ff45c053509f76e4e4885ff1fa1d0c11a81f2cea6eb69b7b41abe513028da82d46af266f7eb3add0425f830b8c2656de1784d9268b6cadf240d51e64ffdfe9f98881ff27d9cacc3128bfff1204cb0938dad137693d0460e3c210b9b241b5d583f3c28eb620cf8891310959621e6d668a38c47ab4ba4eda95abb9a3d9d9b46cb673779874219fa4ec61b9130f3717698cd0fa60fcf5c51b78082c5c08bdf63cdb993dde262bda21245bcb63f6b8ee6182a46c1b397b0c8a73c9bcce9f69a5bfc7f6d794eeaa8ba15e48a741a11455f8fc115cb95f395263a34e1d61c6fb00e5f1659143b2ac8b8d45b4cadb4fed8aac3196a10db7c87d663f3159c36c397e80b4b8aaa6ba0c6da7c3dc15672c6982de3e89be8725b4", "28cd3809f89fb306e15708f7fc11f351ef12a3c589a81b9d00fd6a77cf55d5ae7258e12cf4b63ef7df35c01542175874900a0c34ddcaf45b0da435a58ddf7a3bc2bf9a92de89eedbe24d411ea565b8203882e0d1ec8f31178d6d4c16100d72845528e678c33d425dff604bca3d9c03b8262a5339868d3fea0c5693ac3727094cf20690b9beeeac346370bad9855531cbdf2082671502dadca3b04edd2c638446b00ee498d499996dad88bc952f211756059c255c3bb49659ed4f5cec90a708fdc2eeb3b2af841e9109ec80a42d251b01ffe6d70d5b23749a3c0b2aae1b8a09398a583a721d3c5a790977130f4aec71d90a2a5a27a1e5ed6f82ad8a57e9adb0f4def67d57b33f2c2c53b10eb7e700546285a09929b45aebe7be6ae4814db77dc1bd61e4111cc91d30321e982db803ec2554e2beb404434e75d0122f2225ceca97f6c9741649e28ac3623beec2b4c7012f968479cde4a4e47b386dff6bb5dec6be631fea23d27e125719d5bdd35e6045700d48db21e32fbf8109bc89cc29c183715f91785801420f7361f50da81a39c3e311bc0ed8d71c5d3d1c87cf4ace25529444562f05ec4909223e9b8fe94af2952b71ead129ba3851a36510c396bf86af38f7b1177c0aa15c4cf729be8719388d1e4b7609a73e286888c1a2af5fc1e5db1e93d07e2b6df2a5d0110905526f87b3f78831d3fd66994c3b15ae7f11536259db03c55799778474ba34d433ef87290e935ce712aa9f43bc640bb79a1391c5dc1d79f05f429faabad5fbe14ab7bad63d3b134cba38c3281ba5218a02bdccbbd87058c028cfdc7f23fd62e0a84dc4d86a16111e0b389f4dd4a053b41bcd8ff8558f3278fb5493533be645f39dc4f14bb7bdb4b4fc6b38ac5937c8e8d85b538ce4ba11ce7674460814430d58da4ce93fa774402b3c09da061392f2c6356f776582448dcf45d36ed959ea066ba5523842a8cbbedd68011b357e4226bd09c2403baa7691c948befca3cedddb7caa48aeb7dd530a16fdb4cb14fd262f17c128282447b9b3675edeca6d73fc1c42c7c7c195576ee3a087adfafad3a159bb1b650a031a7d2a3776fe32317389d00ce69c9e77251db5fb30c8014c96908eb5490c710b35b02213a4b1c6c910f0c46a6526d24120dd6f455479501c52533b5820d61ea98b4cc78f801f7b9c83fc5df3ec23cb54aa779f1cdebd3691e08310922ffa476983", "b358f95fced14a9c961cd3503444f2b2a1ce9ade38c780a11c55c29341dd1f28ad98dab0e3dd3d5d257e4fb50033c59104a5480e377d24fe0b52c94ad4076d24fc8061a60b8b06d5aeb855774c2cf43bca83207063d3b6cdfc8a5f54470f13f5c8cd646fe5eaef69253bce6a", "92fd1d6d2cdd45109fe152e954ded1b1d80f7687e784a5e1337b96616c6b3488b895c9c1cd0030b1dbfb47361b5e263e9b8a9a3533d73cf3fef4a61982ac25d36a749c6936108cafb7e1248e903ad92d48ce77bdfd34e3e03d5d7b2e5d79137f79a1deee1c9e291d5ddee75e83047368618af2e16a705caf83a2137516191b183e97eac507146cd5461f6e58bba159ddee754cb9b15ce9fa7db8e7bcb6b7f7733d12890541c1ff78e2fa90a10c414f81c23e9719d2bb365f075d45677672d0e9e89f23eca81592bf3228e0ac3ebf7965fa200955ae97ccd77524e135d323ce80dd362393bab2280a391dfa831c22789ebaafd0d7d2f53f179ada9e89b6a76b33032014c2f7b850f8df2ad77edfb77c8f1d9f1900032f24310bda891bbc38d8e91396dbefcb2c7bc3c6b8adf6e8aa00dd48e1b756bf3843328634f8433c497081a515d6a0d2e95f2ea88afa6f0e9ab1c4dca0b3a9cb13b161f03de7cb6dbb3f1558ac655060d1ea5a187ad6a89af86e8ca93442cb2419da80c9c6d9a2e056898060d77402c2795e90605478aeb131eff872e81469be3845a96584db921f75fdb40d1dd324fefd5d313fed5e9f55c645caf8eb4bdfa0aa982f4bba8a2c4ba347be6ade405d23643dd3f9dcf407e86fe115234dea1a48fe0230bba84dd6452ad8c447a8fd6a7f32f2b10482b923ceeda0114e057d23ca3990156401a8004e804244e922a9a6a06642623b8270e8ec307da10de78a9eb47634ed4ccaa1", "83bc88489a48b7817d42f1000133df31941baa8a1341451d4c47b4b3a29d092178f84df5ed38a09e7d44cd9cd5854a5a8f908d1aa5f5ea496e5d816adb2a592e2ce658d73c8f15ccd0768547bb820504e85f2f452fbf5cc8a15c23cbfebc3a3664a3fd1fae982a6a435d16fd9bf4fa31057f3c3905a76c919fe2bac7bd51a0300f14364cd49d0800d6b2abf40187a021baf3df346b8bb02a81318ab0433a9093b03f1dc514dd542f5a3930f847436569827168b395f2bde4b0f5ad0b80180842245a57ac4e3823714823d4109fa294cfd78dc7b2758bd55397aceab2e1c955ca3b061feb577091f4e69581a6f19b15ed79a90fdbe54e5e2f8fb2a73693a3d36afe8e63081a82e0849cc43385d010b836ec2a65a56fcc34daf4272408392e580104310e41edfa84d8bd95f1f320fb6643400f7bef95d78e7877a8045f721ab7c29a02a9814f25469329186893399c0556a8354d9b6695a85e4fe0347f1c93a242cf4819096b1970cb60530df6e3889a1bbc40cd711d3afb01d368483f7ed411c841f197b710c6083968917e4ad8c1911ecbea83e73a2db049856393d205fda7a03f71fc56f667900f13fef69e319280a18c56748908793c27b6d43ab57567c0f99468c591cf5319cf66acbbaec14cbe8d00c8192fbaeecfefd46845d0b715a196cf75c86075fb5102eabebadd1d96a2cf4a0a778520bc7e143e657e1e3174205134fecc8ad77c75764df06a492e9ca82c", "7b61da052c1683a279a37b6d36c54b3446365eb9b26b89b6179eb394dcf0ac45cddd098e76e793f27c8228419e92feb76cb74efece4b68dd46087c72e8ffff6d5dfa6a73622fd025ecdb978677e79b4d14467affe45da3aa113edcab6edab2f59048c565b5d845c067ab9fac2800d5714e17f3822bd96bb4c2cacf2508f9bd99c870c76cd02e14b0f6a99b254a0c8486573326063d6c009144a3eff2bbf888b51bbe337c926b0cd289db0318c43629ef904bc2beff5aec85e0c4406a8d0eb92601d01077a487cb415f9bb3d1e6aa3e1b6d8e787863d85538947f07ed63fa4993248e790b50c317da50c812af540dc2b096491b28a9322fe716d6608c613dfb8ecfabff1c69cca9ad2bc17530e0b7ea10ab9cbaf0a04eeb697546fdf0ace8ef396c4d94e75cdaf94ff1c6269b82f3d650f77dc58a9134daa5a063aafdc2815aa8f670e3f4db74f5265261348b1087749009b92eb2e1674f33c12dc84b7689e9bfc39fe6a881cc7c601b9fff64b08a84ec050ecd454d0a28115487a53b1c26ae44a73ccfac9c29c6754d47757f3b3099b43875d93cc9ed7f174c7dc9a5bbae1bfa9f25ebc4620d1dfdcd291c643a3a323f1c600f5976af869b6f2b054fcaf677b7aea9906cb7eb0a5f3bffbae5b257075d8076ebc12b07e6820f2bc69ec2e99f6cc5e67b17d5a292c58c4d9bc68a880721c03599fbf7d9f648379d2998d84e53dd31ed45700f55987b19760f18e4c92119c7588b83aa394a5f2b7f5545385371dcd4f244d8d65b03d577f2e48f8cbf6e762147e0ed3fd272b1760e49ed35da63befcd0319827a885ccaa71a45b90b162a304b0c9d1d30c507025c08af6f510344b8ab1d0138b18852c945a67c322ceb48869a6bb6909a9b00986f078457ddb", "3d3c52487a3fc8d760409b334908d7907ae950dda900be35f3aa7058b6604bca738a88be3588863937b73d71f142fb526bb33d9b872fa632d5c6a0540bc2bd4ebd723913bc7f3b97855fbaa20f59b9e9173edbdaa7c8e42a84ddfed1e709d302c449fe1f6adbc2c40014993f9522e9e5b6204632c987f59cb42c12cc9be395ee3b63813358aa2cf4e9f8fbf95744ceec18a2790785ea1377086b745e25e8d5d53513a34ac19e7ea708a4133e1f1f91dfe06adf31f6af5abc1851dd85aad95ab6e85081bf3eda6858e92ebc77f59c38adc7015e7f723724a93ec1d52a035b305113c1f42111b00792d4917b710b467db54b260c3d6da5ff497c73cdd7ceebe77b527b9647a33e28dfec56aef68070a3d8fa6677b6430514621e7078b65e35406b40d54042fba8f1f7bc006de14b8769eeab47f07c759e70b305b5de88656337afeb6e97dc74d67c36de3ea4b6c1b6355abf0b18caf9570efc7e0d1e95e58e0d53d8b06d9c5f0c2bc39b58032a29f3f073328595d2b1a29a940a0b88dec6cb8ee2094ad203ef91c964561ec5fa11e23bd73da39933e870b50d14c3d4464db41340a947752ef3c1898d01917a8ba8bacd5305023e7f31ba1dba7f1736d449ea8c320c1ffdae126995c8bdebc67d31b75a7bca227defa487f49afee33d0f244ea3b4a57bbe544632d0b3839ec370868d8e589b2028842c76c05c8aa7570cd7053e5b9423e582c28d3cca603c1d6c6991a5c095c9b12c9223868fffeb84f875d47e0f16d63cf568a6d2f13b627e89ba22dd68d3e4e8a837cee64ba5426d8a90ce5dc7c60d82e158bd90de703115516b8bee6405efecb5c077913bd0a00d3bd74830d359c65b76b8e3171c6ab425bce2d6e016a593060ed141c5e64e5d549c789407915b2410cae5b2a6e7843a258f404da252ef9574f0c948b0fd62b9edc6cb11301cbffa6a4d586071f628116ee70fe0d208e41648752cf19bce2d7fbc3940adc000f2c35497061ccc49b577071738152ee280790174fe9cefca4a3b759e257a44f4c328d000a11ed62b173eaea616d864ab460a5e98ab26fa9760cab86dea61d907a222b64888dbc4812f14830a028c0ddc8bf4559815706ef8a5b276d47968c50ecaf5e1887afb7c4e8a17f9f37e48c1556fb52e3c7205fc84236142ecc5547e01bdd74c5bf92d4be9181b736e22401204d1f5bee1f50e385d8e398b98229d5c862be585329d1ac5", "79a5f5681619329c3fcb868ab5839709106e900ca16e3f2b570a825f53f160b6d5e37cfca1c0a58c332606488edb7167c8a7c94b621cfcaec10ad8d6c859cdeef6d270322bcd32b1d2a76888b5777b77b326835cc7ce8ae8b7333e300b87ecc2c06ce4601a6a5f83657c73a7fdcabcab5a4c8081c64166c9652ec159f7085049f05a36699ce2cde0303846f000f7283dfd4ec537026856597e1c6d726909aea1f1f823cc8c72507f26494f00c7498b10f20c7535380edec83de0606a9e745b955c6fc33f7bc3bd0ad54c36073e90720593846879a001d15e09110bbd1542721c0d656907d4946461a862a69b217a881b6f0401d3ce5590853955264242961ce391ded89cfbd98dd1ceefbcd6fd57e3e75255dc1ef94a15ba804c77e004414ab9802887571767dfe029ace6e06345279a4f060c56f9df3c896a6ed26e30d2cedcf0862f17d5fa68702f645988e8b5b68e4b19a1b40b3af45f1be7f09b7e70c4ef34755b8745175b046bdc51963909351a869f4c3a8045c7a38e04027c885e455f4b532c2f8c78dd941b74388e46ba3be296bb7723e8ef8db5c6c7362398b03ae75ec7ef5dd3dc7bc2d939b1054610c6cc02ea98ad6bfa7b3ca966cec41e9342309444c861f8c55c5da80ba156dbc284ce993772be7db51f976fe5dbc9db78ef1d6ae0d09bd9ab7be891db56adc7be06b09b421f28dbfd066c313a7a78424f49ec71ec1f542dacdb57aeb8d8a49bf776598412b26f33c0cce7f636990726ddf00910ff970ce00845dc9994ebbc835d806dd79b7c4f9c1a5651681b43539792b6329374afbb7eeee0d262d000414271ba33ce152e24beb6115af412695fbba50784e18455f3cde2f3639806661ad7473f0f3546691635b8799d2ee7779c2784d6e2ad9fcb1b532df56f7e09b559bbb9f3636e2045fd978d3986e099a8031eb25afe81f011b5a6d17c59dd1646984c0d2c756c7c", "f6ebb24565d4dddad40e01d921bb57db1442aff5505f95ba8b06a5d9c1082541fd1fe6257d27fd767623018cec71a5ac87a1d9ae8c2f83b43094ed42545e6ea18cc5744812468ef27e1ac08a804e93dfab8a127ec52e8df1fda2743f64629dfd81ee920559185b834fbd0022d181a03ccd9480d7c784256313a130543debc0db27d7e002b2c758b42576dfe8da7d0a69a9c94a9fecef33d4f20aa3f866652886f8307425171e8357cabb1036283cd2b7fa5847dffa6e0982ca431992f1eb441f8f00bf7a2f1e1384dd36318007f34d73229c05d1511124a2a02158cd252a757ecaba89201384d79422e7d0c1da18e7987945c4bcf6e31c85d3d466b66348", "bdc99a47dfdbd2532723c52b3bbc42abaf5c4e4499f0da8925223b7756f2bf0207b3a6871b65cb00886395211a9fbf1fa9ee632d0034e4f22a4a", "b5f597d2f5e7443c2b425b24dde54ae54b6a61a922a5aec0ed78949082f9b9bf", "6447031070b586476e936996a87e466f887f2cf604d94365a926241adc7e0435f8962b4741272798aca831cb8dcf6af9f9558ade56a05fec1a5b25ebe54572527689763725827b223457bdf8c2878fcda5c49d6bff74bbb0c64749ca2df26782ef04af923a97160ccff288e25dbb3bb0333b4aebd2452754cec0af64e9cf687451b0cb6040c9c20dc41071bb586c7c8ca22cb3472cf58d7545140cc3dea088a99fb2551989ecb9cad6222f4682a65cbc40a4c930cb4b59d73207c7ec85429205191bcdec9b1e47c42294baf7231e3f93068ebc6a604c4c9b5160c34deb96d57a0e2d8b7cb3f49caabd8d7c5efa8f3c69a3a53b03d79d013a121d5a3fa46fc044a47d237ef80f4a504e3b4cd52042acfc87f345219b3017b0cb6818f9d4db3e7819a70c30f647a927933b55f5ba99c4b9ee5a027ccd8a9ed53c90bb5bd4b3b87f600b11c986d10e4c3ebd04e53474c5e4adb78423272c22e60158b3c58e3bed7724e9e547556a20c34554e9d00ef5d08381e9371bdb2a568a3edb75976504fd5c5ef6995856fb825ce2a855b5b99f4940facdd058bd87a8cec1afc85c873f0fd0e6ef9eb61bc387c2de57c1bc10747522a3b645ae52e76ff4765b6aef64d71c92cd30630e5416cedc8878882d5504da1182597697b4d123adb63793fe1b20d48636875d45142dd6b5d666d8223da8536610620efed733664733914de4a1f0d0086e1ff55eec922ba070380925e91b36a93fd3708f7a5a796cd6421feef18c616f3ff02329ddcb55f3a78259fe07178be55da098dc515e0d82f4536c6bbd3a4263f0f748f4a30cb86193fb43fa22117a02e8e0c17b6e248c0593f739abe414facb14e20855125f557d1b5af167a801ed8a857cf8abde967c708f2037366653e46e853d607df88c75e0a1fc1a33cf68063adf3c9149a429eb3e55877d13488f9b45bbbea0bdbfc04a528d583b5e1a390dbcfd3cbb08c1f1785a77f9d62cd80c6b1070c71129cdf3d65e547cdd04fa6877d23c7cce39794242853a4f0d217103281bd3a3312cbabfe93f747d36d55557d3fe35988be3214d11184c381be71db46814e4edf824d545385cb931a3a84f6d4071db28c885f49187d6522815de9677ca8e4da575059131a8569e6d864c5ec21cd3600b380c5b3942e6a64b88c4142d9b2736", "f0917dbfc8fe9b9e76d4f1e1e855329bc457257f589c6bf02cc59928511b1b21af1a9d2fbebc2418cffd3c02e1e648e49227559db614329a16d677929ac834c389e6a36798af1f738a157fee8683cf3874c926b1534aba0bd6438e0171302a1a62f3dc20b253b0b3d0e94cbc09cc4ff59f330245b90041accc980ef301c7224cd8d3b486faa33aeb1ca71dc4ff911d096b4357439a128d0beb4dcfe162fabb71696fc9466926714ca9ea7b9c684744acab785cf21f47cf3eca21074789a1bc5cace8c2f5973dce3f240557c7e4d8ca69c5d9be28193bdf7cf431200bc9c4daaf118069d6e104bde4be59550f7914a1bcf17d68af8b197df486f16bbd55e46df9bec36442fe0aa1", "d7c8859d945f928f342f55cda1490bbd2e3672d47c351efae89921a5cd61a001d0f46ee57542a8338a7036fee9b972c6c3911b4e882eb20af3fb3f58c6b4f45db2736a9d62801d2d159d6d0e9caa4b915940a684c0e1093a73d86176418731def224448335c18e44f0104cb50df9cd2b545c5b2a16d9734b102247010c18665eb404db1134cd09cb725a5f1c19beac7b82df84b431c7e4da0fba67cd0c422c429e7f0e67ff381843faa742d846bc0ed74b431adc6b3eb0fc47cf92465b7d19e7a7deff4d4343831d9d8b631bbc212a32d6e42e4107c348724616ee2e64df06e9e665a712b65dd9c821ada74ca8dea5dea3d54f37d108bc4ae2d54d04c792425ed0c5a016713dae5867cfbcb529f8b5d5965d610428f697301764d948f2c2a43fb5e6d454892f13e6c15da82a17165231b1154d5f9d6b4bfcaf56937803a92922e261041ba9ae9c48832ba9c8c7543f9354feae7c0a68356623b54524dcb3ff25d9d42db5db9e3ad4142e816973308212183890af6a7db790ff4a5151749905847ce510e91b62c42da5df432e26c724d9d0c00e92c4d3e051a70b7c754327b9da437645ea5ea8631769c49c4f764a8e9db010fe31724b88692ee8e69ea4580c76b60076b4fe04df84d901e89d4af873b9e73c8f91b3175cbee6ad33060752159fde783de0c088852cc2dcc0eddd8e9a6848e87a0e4a3379467c5bb8a493c6a0e92c857a7b136486c343e43ee1655f74c43f14ff0ad83364707d1f81147f7e7a7178d00a545e1e35b17ff4aa4f1982106e5eccef7adab59f571b189df524c01e809bf7f1b77ba28071154c00788f163884aed9f562b29ea7e60a60d92e58dafd37234cf29b0aac261ea60365579b5cb9bd24456583f6489a5b7f64dd650e2619379aa67ad36d7bf616de380496676b5a08f8c6b98153906c8dcfb6b8d0192624e8d212ff04bf6499e6d4e9a87a6f2ffde35f", "3e6f91076e137dda3ecf8669bbbcb5264682e331fbd5cce9f518edf6a9e0cb85b5ebd708dc33b7b7d70bbb5bd46afa1952b037a266c6b7ce38ddac27ad4e11a9ab6080cf315015bd418e87c14043c0fc86f576c601ac511345b2d75042fc7e45d5b7526bbdc42a4bd2a26d96d34ecb08d7b22ad8e05dfda32464bcf28ec81e82f54cf63674ce5ae3430e2e1b0ee2de5b8ec0a6fd61477ba83fad3381a0daa37c0df08c948199c2f57bfa8fd017ae7a46bd55dee37ebfaf151246a0020c5233b82e462cbd7fcd983c1fa9c72b476b1d5bb91e371b866d0580642b54d8519f6587f1c240b17fb0ff"], 27102), level = -1
cc 3645722314f98d0ea0131c048e5fbee72e118a8f60bb17391d2fcf9d569098fd # shrinks to (data, [pos_1, pos_2, pos_3]) = ("440317458dbaf6f1dccd857752cb7a3759d73ccf1d552d374fe99b088f906c42e23569130d4d88e3391f08ee3498461d746e541a113d2f0c619da6f8bc956b9244414df42cbe8394378b203f3b1c98653c38bda1dd2e8751a6e799f0959a4926582c7ad478816692b7db0e93522d9080d5d54441089b73a2fa5c7eb4a371d2c30f5c334044a27702af60d211f8a6d86eef7c5cdf53a7801ff9eee9daf7a457dc5e45c6b6b40aee57f194d5e2a1d953bfefab912cb9d0f8f8920b3f8b812fedf0912d9bc177163b4f6559f9d4b9ddd39b89bddfeae6215a636f190e5f521298240c3b2c9754cb434e7ff6ae0bcf866986b93523898c2f760949df5e08aff94f45ed89d11e662103f5a7c8dc7165b286539baf225bb399f895781301931d481cd2adc147f21734b314343ab984cd7c9afbd26b46a917158c9fe84ac1fe9b7242b988e6c818979ef75ce2638cdb4b5287859e48f91ce3ec4bc1b1b4b600fefc835bad0f26705d440ba1bee25b6d4ebadb14664d9fad2fa008e29527b146240923121462234dd966a1302bcdc16b1e484df3fe3a1e86ddb86e630d8da5b3e9342147de22a8000d246ee77ba1302101269641b6c0196c882feb14fea5774acfe48a961091a9798379094c25170bd8b759e8dd435b305f71f69c3d81831dd07c006fc0a9abd3af3820646425c26cb924cd49e84dc57504eda029c64062c54ac75d888a0a0efa2073118f7e66c86ff4eb91a5ee3e03a698c94ec08dc4c1a43d0f11f884fd116ad76d93f20d1e9c712ba4c2f26ad9e6559d1f26bf31f8f7ade2b41f06aa84ea8157f50cf1c23ccb401fe2c7da5d1b3e9069ba5ae6f864394a08f8cfeb432c64", [1, 0, 37]), level = 11, frame_size = Some(146), [seek_type_1, seek_type_2, seek_type_3] = [Start, End, Current]