# 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 c120f229818fa42618d835a978b204f3990753836132ecfc46b8cf45ef0bc5f8 # shrinks to (data, pos) = ("22622f72aa7abe764df68efbe8526b0f5d0c3b943f48394bc122b11fd705003ab2b62ba0cb8540455f7f236f7e00059c82e99d4e2e916c76952f14c33faa59d93b4bd8a0de401cac1545bb93b399f675aaa257a91cac91af51519588d9f55e2bc8148bba363fd0e6fa6bb60c544e3bf18acb50f972bf7428c5aee311bee1bf38f135c4bd6d868f7012e14c778b1c69a0b69591efabed1cfe902521bf7930c2ee691c510d69ef964e9d66dcdc0febeb41d9b1d39420b39ab42db3546b12beb1f673a873adf8e851f390a9319ca9c439150cb2b117f54ef8d9d95ada0a4ea6027528ab2a593ccaf320f42ece9e6e521d237b308934d256f8f5a9f1377abc9a7ffe5264818edabfca08b28bc1a949b5163e0f9df70f618644ffa74c168f47fa91c086ee1c1f8f86015327b0932cf3652cac9ffd98e9acd5322bc7d64b42e4d02ff527576fc3b80834021170a5347f73881f6c19edc5ae6ca639fa8b911a31de67047be7350a617e6e684e41a77a24f677d0510f1aa31f1d125b9070aca909d85328c1e2fd0288a4503dacb999e7575541250797da6d43f6b0a4dc7513fb08f93e97059a03c0e5499394d4e38aa64234dfd140ea0f39e8e503e4f300a1efb5e6dbc840a60accb4c0a722bc1e6c5e3e94a54a24074c90ddce4613596e4472cd6c149a8dbb4144e94b3e4db0f5f75c5400cf9f0b4a79077f2582e899baeb6d693f8613c3559c4cfe7dde8aad96301a211edc868271592980be9a5511f5d08ee19128ba3c82d52b78cada2a803a91f19bbc78d0b7e110787375a505c42cd15cea3bda3dddbfd15d8d4077da1781662fb598a1fb5b8a5a50684b8c140ee511abf7e1e55a23ed0b3a61f67dc4815985092c5acf3b6e672a6d02a7af6cd07ad3b92674db8ab224d6d4288ce389da7b6392989faf6d5fa3d9663f477d125fa9590ccc5b0b76e2ee503dd9d7d87286b4f2f98915e0e35bf6551d486b6534dfd0f1634ca9692d63d4a39ddb5557e6b272e306b0bcb45e433d866e3a83b0caa66c26da4df2f0826d4a2a364d5526dbeb498572481e892cbe326c463ec810d3a8c1", 1), level = -2, frame_size = 201
cc ac54d747eb8ca7b0a5a705285bee3e91205812d1744ffc114099e99d9fd83301 # shrinks to (frames, pos) = (["d59889f283dc813322bc10809b6fb021532f210e6c4cf28f42e0dca059eb80b6fd931cebbbdfd4291bdc2275b43fbe0b84a1d8b847dfd9ee04ff4b7f633a54cca8d64f3a141f5e34114188e0a65b0667a416ce2fea5dfc7906bdaa2e4c2dba02cfce1c78b4debb60569f06fa85423c6f172c27124d836a623f42fd63e75a6b7ed6c8df70a64a5bad00f2d146f0534bbf1a03859f8b7f1a4275aee84ca41f278d9a95352b1ef90ddf2808f534ae470a1aa1b5583353581a65091805271ea8586766e71d6f4d884d214989927a633d0a51c96120584996934f10456c4d6c6befcbfca1c6f7928b09f3f8e6ebc29579779e0962f0bc3cde8276347ea2ae6f0518e04af2b4ed5a753c70a41af6999587ebd3c0334cbca540c54bb997d6953ce6f0148012008f483e360713fc5d09341407db7836a31f4243c50ea70b5815f33996c5a26959a11cd2ba7b21cbef317b08b22bd26cee8a3b3b28e6cd9fb0f5e632dd5e6f35b89b573ca1236c8af3f6bbeb2c4c2094004d0f3c37d5350b6c8392f122e7e04258843c255ebadbd1c2168572104d07b0b76f2da4debc61df63150e087a9e096993437bab0085e0fa959708ad96248af059f159338e14f4c47a733940cb983afc28222264ee36716f8c323a89006db0aca99db414faa3725683782798f37947692971e3e5aac69f09e2ed06c4c8123f8dad56651d29cbc0c4590f58f0091ad0e9f7fc0a64b54485d7b9ddd8dcd49c8fcd69d71b6dc4aff23155a884be9b837dceb2dce8d909b8db4b1ced430fe5c913b255a27bf08705d4ce5be22da735ae31d8ee352e1cb8d969a1ae2bafa13b5da7cc2bdc7e875eccc54693015957ab619c1c893d7c47d1184ecc43062fc8afe3b73c53e41d1499a5363749162c7a75cd7ed0d41a5db3f65295f39f7d0212c96843d1d6ec3c75e6a2566a1b013716b3aa7ae2721961e0e244ee51c0d124c0b96bd9e52fc08529b27463a7408995e9003f0989937ba77e475648f986d734881033649a58318fd64408ff981298891b496f2c0553a2e712c70c19bfa2ce0eb30febc7d6bb80d52d0ed153bc039900b75d28c070e0420482132adcc6864eeb7e038fdcc1ceb537fb1ef21cee27fd42481f963cae42a204c6205f3888d0eee3863476b94bdddcfa923075e9f3345c9f3c488bdc56a23647a91e65e6b33837fdd1e9b187642f5ca9b102ca8796fa8d35fca6c3cbd74fb500b6841ffdcdb40d31b983b410794d89051d5e6aff4977a2193b8923ab", "05f2e01492322326ab842dcbee2742bcac9fb2a8fc1fe7d3463c7bd7932a460fbb6059b2662e592063f3cff4da24d8a92f5dd93cc10195c25002c457fe01bfa6042e265fe57c3edbbefaf6b8618125538d667b37d5367558db93e55b0898686f1deda11eb9eb0cd68c9f89230abe437cd2965554946c02352601b9026dd7cca22bc09e3fddf810746c534259c17a7c79a4ae12c8676546f0663b6cab1c7e815030e95f3ee657fde065c977c480227fc4717caf78c325274351a966f32d808aa660c5ceeea1f4587f66c5a56e521f67a9ad4213d5b06a4bb36ec88f3b9820b1f3692a80034c424c9f3c366a84ea8cb2445f97367d2eb9b9c870ed5b503a580b8dc84d906c2e592fff55ed48632b90c6e2e60267a8179307dfaa17a78e23f2f565de2de14d37245d37abcad6fdc9ef84cd3de35230c8a6900b175f2a12cd2d95881c948d02505c4f581640f950676d10d8c50922ced0fcf1aada73e5ab590534d4d20b2037a217ce15b40b4e6bbc318ebfa745c9edaf2a40c684504a91c912968fc833b4a623f1253cfbfe3556d38b88ef30651ac0a7871316a67a49dea358d7955a60df5c00779d7cf965eaee996b3293928fccde2517e39207c3a8f990c04a71472d27d9e46fa2c1b8d77f4aba0bd0bc0155d23e99aea6c618f4aba17e98bbe289b6cd08cb842dec7875b70312f07561757295b80c2978a35a01f3955512a426f58951339b6db25f9fcbaaa7acbfd6a35b863bd7ab9b1f94b0842b72db8349a6cf779762cb6ff01303d5e3016a588fc1f274c5fea72d80ffdef0081cdce524d2b3b6ce994d0be02b647bbf33c2bf1f93c05c7a68a1eebc6d6d9adf169c2f2e17dfd400812855f0b0e8bb5a3353e57c7501312e8d3aa30dacf3b045530303523ea9cdb797ff050f3646d461eef398675bebaf23a4219ba3571d7f49ae6fa5d3974018cab6bcbc665eb94feb6742b6c0d182cf42e51d273651804500e41dd95e6991f0d543473a26ed19fd7e7b078b1c89de95f00a3c2364fa192445ecb2fcfca73fffc5541d8e2243404fa2a6475896ceb28c895d7fb8f84a627fb4bb90eae29c8f2f1612e91b1b489bb6b0dc66e2eff0b915d21d4cf770bfccba", "6aed2de5a23b1defa1ad0c0bdd84bc0e3c3d86fa12e31df3d88ee1835fc31a75ef5e257c81a2dc2609c862cf8d9a5200c30be2ec4c5873fe4715b6ea7021c8b79cab85608eaf49e877b533280ff65d655733eaf349358c38d55b1248c2f7b8c660bd86ef4e769b87ad9de4d164c4b28dd92a6576586a62d353ac9f61ad1fd5a440020826119ad782ff97551908ad249d3e06402ad89fad345cfdf241b6b4da8ed5b4ff7d402014afe5118ecc026066b06582b19eb74d4ceeff2d6f9f2f8fac463dc9905cdb5b2a5829e89d33e3eba2e16443873cb8ca70cf76e321023654e3c6b42e5c20392e555ef45a98f5ab170dfe3b14a1a8754fb9c8765d4be1bfebbc93d56134d9d36f073ab09c7cf49745f2b92ec30bd1447a3da6ddf604628f0c25a984e88ea00bd8e231739a510076499be21f604c0ef5b872219a9f04b238bbb487526c416bca178b132c09463961938c84a32629451aa7acc90060ccf5e5feae7e7c6b8574f480e09bfd78ad91eec46e61850ab837e231f23d36ea96accbdd28a9e7301358b5e0db490114adbd69e445bca7a628dd114ebb6cf9a377654fd6ef1ab4e5b3e442282b025276c6f578040678c189159ce0ff8270b1e9431943edfb2d4c5fecbb4ee27353a4434935b76a77d91968401f9cbf8326dbeb2afbcdce", "49efaa2fdddbaba89d726ad4ce31103fc51e079d8d2ef14a52bc263574e6e7f21eb925c09e8d55664205ffd28a1bfe9afd2997a6f58a146b6c837e9f02f5eb4d38d27957421af1d4034acbd129de7b3cfb7dbd1fdc9fdf973d332f6f333a160694d2e2682a1de212fd120e8b57a3de1cbe372d2658ba61d0cb61c59de8c17061fab81bf8c11fb5542015ebb36636c9b6ae226a20374c6a8dc23646269d32815023394f355658ca8f1a685abcb28ad0521b96c417935d816f4a1cf3af36429b36682d05a5056187fabef431c1872095c0ea2ffade608c49485277a480bc64baf556fd", "edb0a9f706f38092b1db9bbf046d0c0404a7a46adb96ac0b1bf302fe6fc750e2ebfb3a33c8f1e958135189716ee8b109d81c4a50ed33b43f4a4aa74579aec2755b20ac49894457ceb47294a5de627c7c0da48617485efe25ff0f99875f219e8f219546e43a64c35f4f2509674019edef295b7a88dd4cdc306d3518723d235a515df1f86da46b7284b37106d7c65d70b155b8d203822450fd41797750fbca78647d8d99c885c5b19f858ef3bbf18a5e011bb078e61537e350962f3cc7138ab2f33cfb3aca16044f655007eadf6f791fdc1ccbf3da3f17dd7070a47b1f6271908a0922114622e28922da2729ff8c3a576f71e56bad1da7efa61bbef7cf68c68099b1b7aac91ad9ba63f6733ae50b261d33a8bf43670f31e64c59c14ddab4ee5481ce345104e01139f90126225a7cac5ca5a520c43ce65d587dfca7059ef64effd8cfe9d9ba67823c4ff740f0a78cc9b36faae4d5a22a8dbc14227f8e13d47cdbadadbaf7b32f785593a4639ad41c54fb7d9969c02f54f07f42dbabc02168fcb5fa613e932644caa63b8c625add8edce42041941e272d10e8c4179f850e271f26c1c59c9979507fbabbcaa58f28492216ee200f406ccdda7f4ac0519164b8e87ae6482286efc621352e5564a2fe5f39c8749e18a91d23d1488bdfafd8435bcd7f23103ddb011eb66ff72d92c8c2487283af3c5a9c9a05a979befdb4a2c216623efc8a4b7205f26134ad2b7e305d014515d5b991c951cbce18118b158ed6b092fece9bd116677c498a121277a758c2ee88c33f6c3ea680a0d5e7f454f8a44e88ae0be257ad4dd9a7fec72647ab3fd9d1b8f6d661732eee9bd9641deeda4c03df06dd63e09ef53da8893af6132f93dd5b854bf323a7844e2ea80d37fa6b6c446a00056389abe7b6c14affb59b82f0484c6ceb8b9e1757b2e0143c2710", "d983cf1f1a60a793a0054cf02ef00595252cf88aeab480a8845f1bc7c6c5eacfe11520aeb74e7fa89a5c27b8079e9e7af460a4b7c2a291947856bfe9942857c0aaa27b59999b46cb744b53366b5e572daafdbba752204085310357905e3912c1df46c15d8ffc3abb0c890319482dc27fb526926e4a6e77f0626e21e70065a0681637e8a9419bc3aa7c588dd2b462054bfbaa9f260882a51a43d036633bac00ae1202c1df512938a23615935a01c5fe8555cf0fb76ae16867becb2fa12a9aead9985a12257a05c2bca63c9ac1ed42473f103348e44a6741b79983f1fd0e9392f20483b09061fb0e84d66cb060d931736e648f1462b17090f532de977964b07f5953726b3abe7e5871d4fbbbd2a00ebc2f7ba983c273d8cb81cd3a5468da9d", "dff63a903c8ba4d9a4aa94dbd4825414aec6bd0aa5241b8f4db8eb5a722ace971416079469ed6fd1ea52deb733049dc8d94337ffd8167439b854675ac7b63e145c1b46ead489cce779a55daac506bad295756957d9e0ec383ddb91228389ae661d2e5030f4f12caf9e84e42a4790050f70aee1e50ccda9973498ffad432ac15f37f6152226fa4a4e00308e98f6e716a4a41d76178080b4ffd03d11ca487dc63d0f83c820d97fbe48c35e4c7654e53689bb9efd347a97684398a7b7983440dd169d13eda6edfb5768ec008f9cf4bafbb69ef7582605939ed990603c0e7a8c0a6d2ac13f44c4f791dd7103a91b39a54576466b952909328b8996a081bd5599a535d90709ed7ddd97f522382e608892952d07fb5f160402a6693bffc62ccede917f89d67c8b98fd90893619b54a904ecf18fbbbc2a726b1e2dae7452ed520518bd67324d84937755c815392438b8a9dc7e2d7915452ebf32fb96543f6f5f721c72ff4cd9c69ee701eb00fc78e5c2e31e4b6ca2ea9f8be08a4e3f8d7bd9c3065b3fa63033ab80813b244786a472acdfa50c83e3fed8fe21a9317d21708a0fa024373a9818a4d7d2ef993a1c7ae241c8288fd35fbe2d81d4d02ccb0fb74a9e900f37964e6b8a45871ca0b5c34f515855faf7dd5045361ab904ff4128097f5a740a581d71ce50ecd4156a4c9347c0c383d41250b98d6df8e3fd5cb782c100777dd6b4daf39ed9924024fa528868de6db148e25bd1149fdac8ddc5bb6b0c50f788b97edff1f05065dfb7319dee891bc0c91f9cf75050267aa55032c5b449fab9cd928ae82ab473f90408a1fb56c765510e9f550d5a75fdfdf2bcf82a9f1aa16de524d90c716a6eb6c55adad48d18821d956263f841e3927a874f4db0a36ac20a17b0ab975d9959981d472196ea5ce2fcb297311fde573dfb1c7f0f8b706386e9e325e56b2e1e7446c16f43fb225877f1e60f0232ca22af0e9880ff3196efe45c88f652c7206b9feb0302be6b8b25129c12ce09661bd22ff6e866199cb5a07b9e61b87200b3a376c34f0cbff07c013bbf47d3b0636b32431dbb55c5368f7837fb61b0d74d819735413f8a5d9ef224d3caa068db4429bf7c542a2af648814bb1eef6391934a31b11223cf83acd299475a93968ba09bbb25b4388d1cedabbd124fd2e03ddc977d3b521327500a2dd60b2837acaccb8949f3b79bfb47f2ad22601766eb4fe70019bd001142cd63ba1037"], 4222), level = 2
cc de58874715e132c8335a15a22f0ebfafb761336362051ea699c4f7cc567433c2 # shrinks to (data, [pos_1, pos_2, pos_3]) = ("59840367e8a688451da7e09394c62bd7ad989ee2040f4e80c4efb8f571da359614a63f713f1ee0add997d401e7dd0fe1707601270d4c3def35874432102d65a6528e5fa72d4320651d213d72995124", [1, 50, 42]), level = 2, frame_size = Some(20), [seek_type_1, seek_type_2, seek_type_3] = [Current, End, Start]