# 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 a9f3635c69009fffdf4b9c313bd63946fa80289bb03977158596aac9bce57909 # shrinks to (frames, pos) = (["7cb1090765d846cc57063f40f19832c6b0f4da6f70ac3d27cf4ee3f6abf087f04d026928ec900b3306451ed02f6dfde91e50fec9feddf8575e681452f691bf6c56c15cdaf94556be93b03077cb9b2cc82434335e17b430fc170129da078ba4918a78ddc7f1b9178386242855e30d0d229e2fbe9c8289e1d4cfe68520e6bd82e3e44045343af94cb021b234aed7a5d49bec2aa257a537d032adb7b32fdba057c4d549292044931a40211a54fbd7b166b5c80d5dc9975d858c4d73cc16e98b4e27b907344bbc755e0b665d27924bbda098f1616787b34e46072bcbe7a36baec8e5d024d3fcb5787b9e262f7f96b3a637d433c0f09e687ce5fc7f40458ed024a3e62cfcec1ccc13f376ef1a13ba6ed091ec11c11273d4a4b7186b92eccea7f5839948b124433e190acadd37827aef41623cd84f5e1eb3ccad4ed2aa38538d80158b3012a3d08947ba36a6843556e234d0f0598621f94822329ca389d7948fdea9623479783746b3e7cc6cb3be20127327c783eb7feb5c5b4271857f5562d4b25ea01ea18c95533ea99a344032e511516f9842e8d1bfdc9587d6e6569111618a43d111a69c31b0b7b6721330fa4d3d971293a16bf72bf46676c1162595b0edeb06c94285222ed8e5a06f51c8693e9f211c02edd659599baeb1782d794196e6b6bec0552aa568fc0be5296335854bd5512946fdeb85c860758b6f6c6c092067e0e51ca58817b12ec21177e01c329021f966d8acc0a13b786ff4641eb910b952700b760aab9ee09e2ee634a20034ff40cfd9744bdacbc23b0d619a06d4c8", "a9c3a4d47871e0d54333bc45c363457c41b70be63da5c9bbfc9f6c32cb83b81dc6dc49fef9c730c7c28b30b0de5ef764e067074df8fd207a55f9f9f005d15bd364eba60839f49d0c7e180ebf3017362de7f70cdb1180d02b691a99d7879dcc3b626c8f0b9b3243209c3769c61dfc95b28c04549cd56cce0d98a281a86c048f0c42cadd2afb988aa00656ec32c58d12fb32a26f4697ca030054e2f30d4bf32c28ed3da42feac825ffb8235b31d4eb27839750e4eb3fc3bd1d22ba34d61c0c0e8ec7ee4bdea01b92d94d26a4678c36c6fb2f98230d8d30f276ef2b608ab559e342930701a00ab6d09ff0201f3fffea8e715092b39044223c1abdb99665eca3a56da07509c387852fa2e4b6d03003676ab3e3d019dd491501c8731477e30d55e7c65e8d055df0b2c2d3f17fe4c1e849751e6b2b1ef8ef69dd4ef9890c20ce4d8bfb9a88ace99e5fe256c4c7a30c42548e0bce49d6f14584e0ff3ffe675e9ec62b1eb78b41a594825095495913eac12213be9b37dac643943ca87e9e0190fc866749810d0019d790812fe7594786132c2c4b946947f850701ec69ade229dbb27b983344f8117b7ea8ae03bb41071dba6541f7c845058cfb48eca0989b22e8649e6403148", "c8fc594deb913d753013c063355806389033db748e09155e2ce5d1a70706124fab57739f78e55ea37153cff4a86e81b0c31733a897f03767bf3b92c007adf42732557a7d32db4ed2c5f39f1ac296db02e34f3ec16d1ab6a7051a614a5a71d2b4c4992e6f293108ab5a2d67093d510415d61c53724d2b01b46a86d26d7e925862feb153f1cada40096a5abc36b6058565c8984a40ba87fcd04c49e3667930187095493b9e27c920dafb1dbe2514542bdc681fd64e1a0645e6ccf26a9df750dd88f0b3bf6cbcfb041d8e1dd4b1f637c00cb3fa725ab24621dd3fed725aa9a61de0e81cb27fa3f2419034800bd9c0651cad82f8aa296843479294ae76aac017e754864ad3a35bc1e270524fea13deea521ac36589afdc84f1dc256f5db2312b6eb71b8c7cd071d72240d8a2297df104102887989499e5ff9c3e61443da1b8ee0230c6f319a0e8629c5c6b8446f31ffa79fc173f6329d38ad5c728491f7aa9396953832e56bb0c88fb8c76ba37d8379b784eb19d20a6de1b5f65423a2e7aed6f8187afa68bd69470cda8c67c7892168d1bb8a0dcca7072b2ac98050a103b0ee983b5f5414631d343eb704e2b71f421eb19241590ba672f93afed351837e698efbb2a0f758f1d15669c93cdc6bdd9279020b0eddc1d9c9bd50ae8f323e5b36d5d7b3d1d25712aa8b2f55b9292f42cd1371bd7be35bdfa3fc2e11c7a2ccc962e86c4ddf5fea33d186cb79636ca621dcf106479ae803c4e576066aa3e4b84955df80a6891c93aa4a98008b253e813662765b985030b33cf9c9a11c13ccf6aadd738b543268100f3619778373ff52531896e56ac8b6c7ab74d5b29e3aecc125a32a5f6ef09a268e1c8fe56e8c9c57f7339a99e4a36fa326e5a4f90770c03b1c876c9d98c3592bba8fc80b495c8f9db3ca7db472c1de065937f5cb42323ab0d358f8e94e705114d91ecd8ecfeb9152169541798af083f620a5df16a798021e7fe4554fcad84a1200fe1e104dd26998b689eadd0814e0fd07e4b106d3d5889eaefd32309cac0529105060f496cab3f581737616b2568d35951e93cda", "72f4a9564e216ffda462d885969c46b2a9d9973460a93f6ff93ec64914b2ea45946d245adc9de9e542d44de6b8ceb814bbb15b49eb8e38767ecc2e2fc81d6b96bf704b71db8051a3cc8ff242601c753d076e74b5089f9fd6627c6fce8c4eedf25de2431037d4a697c1fb4045ff85bea109b0b5c91a76cbc044fb1651fb9733932b2d9878586e627b9268d47c588268dd3f1390c19da2154fa8a08e465c8b30dc6f45b8744981f37a6325435e2e0a84ad22e426955c6119060fe9effb3db5c3ad11924d055c9a3147af2ff4949541d7fb90ebcd7a5cc12cc6fb62e77f633767f998a252946beaea47fbdd3442fecbfa77e4fc6c6ac532653a114f21e08e2ee4816a9637a0e72b48a23e63c78cce8ef7c84a849e3ebf4590bf838d1d227e007c05a373fd4ecc92af3346207f15bc2005a3ef569d9e9e84751e50aaca18a88329e2d3b9194f5863757b8a0d7587a8041279692e52702f71b3da3660ade58b63c0e5dc3a23edc457f409388870500cf8d9b6d463a3210284cdc66ba93e94e8dae1a95b57ab441641956144311a73af6a8c81d0ce9d17ea07e67c348725a470e9f00441a6a9a652f2d2433f6fc5d28a479f89bacb4cf2bbf9fac3904276e04d76e8f295417ca66c733b56722bebbfbf919d31e525581a4583195525e5d1dba64e4c93e2b3c08a2af683f5349db7331d961df4b86c827549fc22bf9e434b55c95e35778d8616999edcb9cc39da8262b5788492b4c95568bf15d4227b6b17bcf603c502a12f6edf210a19fc906ac055d58dd37f83861dfda1664f4d420e062aa662a4c52d7ad0bb73", "c765ff7bcd4ccf88d229864f37f64bf447afb26a18505692471ff21c36ac9d779656a64598dd80c5819d1b129f5da2c3d3b2062a928444fc97b6a0e743caa711d59a98e72032d8312740168d1ee3d9645dbf5dac5eec2dc34960b899b8121874b13023ba556cf274b813c82df7f965efd58dd78ae8a1efdb6edf2bed93c013be97c3791ace1631745129bc7e0cc33cb2855f2fe540167f2dff248ff0250fa00f88002b7a78219fa211a798d91e58c709e051f31daa30242747cc09769a509d5ebb66d3d9c8c29bc20045c159fb00ae3e48cc0d684a5ca49614ae4c00d267b55a184dfe951356596dab975cf85214f22b828f28484d02706e3de77de66269158da69c4bfbbdfdb396c2ec4055cc1dc09048d1fbae9e1f6b3371fe801b67487baed98b4334573fc2f96e7381ef1508d560a09a9a1ff7e35a8c582f873ca21005aa254b90930fabf82ced89545aad9118c263123b5d059e02db6768f1b00187b4e5a79a350e0b5bdf6b0e18fd59d00e71ee810beb3bb8d93aea33956f7c0203e1c941d7c88b992c8895fd7fb80561902e4a4728fdfab95a8a66d78303a1b97c411a6fe6d90fc3202d4be03d0932e35e0dbab92750b4dc715d207c75ef14403bfdc08602a2d94c65c4f6ca41092bda18214f995b3aae2ef80ef1aac6ae00856247fe15b38c697a753f7180ee9ffe2de78a1fadb2af987e694122bb89076e5e737e48a971cfe62b6e5354a534fab007d1277d3017f6bdc5331e3d1aa8b261c1b7502cab47a80bc2a1699a77f5c341e8a71ad2db569614230f4d66c0f6e6bde62e872a694d918d101a66e2a2073edfb084d62da965e0dd79e2bc49b6e47fe2611fb3e86bb918408e2c6b3e86a7803d9ff7b4d619c89add6c1ba28d0f1b5e716f2bc3d194280b26b2253d54165d7790f019efb246efaf35dac12b55c116f5c5e48a7dbc08faa6212f848c2d2690421c685efd6dd22fca6ed4c4ad19ea73064bcd7d4bdb3e41ea90820f42b3da1ea18c91be75a627b508480c83ae081b64d21b33b3fa95a70373930b1634af77b7bcd63f25e82d5bf61f994d62cd17064783bc4d7b4e048fa8147a68fd5ec3e3d30a389cdf1091761415cba0", "e988829ce430891ce1d097dd60fba51ac7dcccbff65ef1f66ed89a1dc06216283dd4ad41e79f47f7639956ccab144fed419031139e4844047b2381bd578b8afcb197e081319fd0ed5062c78468f779e71b3de4e1f57f913c45ecf23a50419b401b37e31d81ebf626a09e49f620dec439d200fe8be4b6aac64acc92ff127034a8a2727486dd574ed4be171e7e6ba2ba45c1281179a524b72bfd912e9f04d0ad6e8f513c41fff13fd8a9003957f577ee64f79c6edd7592cf18dd50cbfb57f7b58d7e9853725bc2eae0616554e79d53b943e3fe079b008e070ca5a2fb01dd9950d7f1c050a1f3478cfb1614340fd88af2c001c081f7262aaf760e775d9a17f2f1d50a7f8f61f508c26c7ced9f45be0063f8eeabeac81e278cd468086ebe325a922cb403d41a24d800a3a7d9491b0307c5a3a84318f245487280db3e4bf31730d25d24dfda0ee8f5f6987640b83af2dbc52cead3a0081479a41010bb59814adc90ed473816ec7635f62b72f4e15fa93b497e8e6023c55a4747a1cb4c4ff04c2070eb2a6f9e0dbc455a998c8fb08510421721b2e4a1436aee1e4e6a2cee6990aa1c3068cf3940702f6dca3d6d5269ec96eaf7271aea7664f1c42f2c77bcb128c0ba932bf197615f9ca7d77be59434a6e21e1447ef340c70c7b9184e3f6aad9bae27528fe1843b0efd714fb4d946cc1fd8236ee4b8888ac92a10a2be2038927ae2cae61e1111c5bcb3a7e653a2ac1f54e21e2260a651c11d0fe1d98a0f45353341de7cf8ec4af1e7be0242314861c992b942ea2c0b84e8558d33c09d6040415e9e24bca8e4906175a410689213c20b4143870e143f6137b5eb5b79d6fcafc8e5549e5f17e93494f7568a290ff7779194ced46685d272b060b0739ef28d4a472355fe61ba3dae927caecbcfd5b81fc7ded090f47891e72ee3e8d5a5f730ea93ac273b327777209d13b692f4e60f34f9dae1f2ec8b2b8f83b0d1c25e7ae8ebbe4249d3a1d2ee8ee9caadeba3104dd776d651a56e04a167dc3f0dd1cb16403e3fa3e903e58905c62a184d2a44743d8741597459c8b97dd29bea8b5b76e585eb915cd295c64db1729ea0df861f7ffc47b1e97bd612105a260f7a8ebd4853f0c58730d9727dde7eacbd7536e8f5775880631839caddf820af88a86206ab333cdcf71d0ee84423b5e061e8fdfe7f525dfc2cbf6bcc1f326576f6e3ecc73d1fecb5bb0e631508397b8a53fa329106b13676126eaf748ceffebba238cb7cf5d71c924f59476520417582dbc872da0c5d02b8fb2fa7ddf64542df13ebab1965a5afa0acbaa8fe3cdf3874360091f963dcf31d66f0fec8fb80e66a2c4ff6bea164a1a05ed7e597e4558b36c808df49976d88e2896bb4cf843e474b7f36d6673b437a", "399643b33630b875ad29d030ea2844438824c55eea24f387d6a142d7e6777fab4c70973327d207f69680ceaed8dbe03ff07c25b902875dc9b38b1e20affb260a9d4b834d11660500301c45f2d6dae31d", "1c575bb7806665f5f7bae4c64dfc3543fd736009ba7247b5dd2d316c0e9cc0b5327a23fe05adee51b4d150b2f8a6ab01b60d68985a50e154cb94ce0924311b4cf7d00df15f2f68937eb015299efab588af6b506c8f88de7c20b8acc56d6ffeaa849a64d699f4bbdf59a0285c8a8b6f635f02381682996da399081815a8389979243d0547c9e3b28fa4b63707b9c5749f4877c3ce3f6f08326ef7b6af0a2a283c697e78386a9af900f40e036434c2b5092559bbab8f904b9491ecd960e5bc6f3def1c31b807abfeeeaef5a60a938603e2373edcf987f1d2c06430ded9275a42e90d9086cda744e47bcd5a4f24cc3c9041fe7ae085bcb560b9d34d0c4b59c4dd56e7a807e4c98cd63cd3bdb6d5eb431792a9e2df59ef05c044102ca66c11a703afd06e31399a98e5898f28f2478e716a404e481c5d7839b1a4ab43c933e2c7923303c38352b07cfea3f749fe8eee03121dfe09ff2e5db07b446f02dab00f2ec60db331823639ece205803723bebddde1966e40f0ca1ea86509db56cb3fa460b3afe052fd2b482ed81e1f5b63a29f99ba277bce5575754635aa118593c81f5833a3fe86e2f5b8aa7e1388a3b7ab7b6873b7bec25018fba08f044137c213fde74171e01847b133a337032544d4a75546f04c49a49263f8471c4119d36613282cf740a8946940fad1a8f17bab55e38c6cdf38e004f1bfbe2c07acf53eda29789386b6cd7ae648543ce5e2b1abf43d9286df5c16a0a490292d952432f17a9feec1711f862704dd2f146084d5b04944c505d1c93806fa57e16035cac6ed1509c86ad0a87a302f9ab37121fda15e56fe7713f9caebbc80774ffde5f7b663e6c0492546a5fca6f801e62e8d12", "a59877483fe608778ba4c05827318d635f700085e2066994633415e91bd5bafe2acc04786c003571a5e24606a58759c5c1bea643b12f21df25984557cf2fe4b3122998ef6d3cc5d4dde44b575d50c375753717590ffef91abe04aea65656c707d84d5e216ad68c6bae8415e6bfbdbf5c08f20c08767e196fd8157865c55ed83a7e6c0130698d2b11b993efd0319bba2e300413d525c25267df9bce02f231df2455a253122c277d39c7c9cf75d5150e874c851cc2df375b011ae70578c00b318dc0b69b202cf4a46d93ed3c320d601283be8d388e8c444a340f0559fa28947554f6d6fa5dc12e22a461c31f2c17645012b590c60a9e869060b116bec20025838d366bc0bfef67c3eb604ac33271937ad48c1c082682fde245ea827c135e1207341f6bcb3343f4e4261ce9d4c5860b4fa01d74943a65707cd765983b91b283b0caae39b3047d129e2afd44970a340554e7841167a1701fb20a91e54403037668ed296c3b3ff739ea0e0b6646e921b6ad67af9b15760c2f361027d939434d3ef81d35f88dedf3892fd6c9cbd83aee702e2c869ab51662b3ada271e03218721c14f306f9dba779b6664ee6fcaa5444bafced401d5e6a3b80c6dd0ff32858673885063a90dcf4f709d9c122787b2726efb339038ee0c361100e44fca6f429f1e726011a15ce301a0c3f2d7d85e0df8fd7548f896d7e0a4b9bad012bbc06d786bcbe44c26924de51ce1c46265a1f806eaab3df5fb8ffe540dc3ff547b52cc29dbb4373f27f868426672bbabc88b4bb36cf5cafd667cbdbce574f4e0a35021c86c0e0381e6d529325306984bbb69f9e7a557d132b8939bd48e92ba9eeb3d8bc91a8d64bbd80fb975eb6408684fe4cb32b70e3c717a6c6fddfaa9ae898a88e0419aa843aa5d78f1b734eeca860314a355fff80b48f8d9b5c45bc4bf8cc849cdef8ed5284c98ed2781f6d307b8f316e8dca7f07bc5a40b146c40921d6c29c64f48d96a1f98569cff4055e6168c5a1e220ab338575c3745d76989dde8508daeea21bceb82057f913850cf61e2911d446a0fad33d9a75d600c305f3ff4abd0889b9d51aa825dc1147e61a64e405e14ae2e79355514acf62b6b45e2bf67a12736fb19b9dd1ec6484f2b7b22abe5fe8c11003ee22969cdb453d48d0", "68f68b281785406cbb22289d4efbaa5e9995ccbd5170e70757b407c1b2bc43c814c0b7b8d2e8a83b2546a37b27ccf77095d79a459dd3fb4fd8898376c01d0d12babc249eb048f1b3a605e205bad52975268d6fd97ef22a144a6c348c3703de459b37ee9da90b5ea84c3ff123385b9493ac6319ffa7b2f93d57a0b39263f7838666c63f2a4ad15d813cfe82959dd46baa14a7025d60f5e7bee46397891359ab99e613d4d51cd38ef2222dd0671cfa711613b2d78340b4ae53d211240860af7002cbcda86090fcbbee059fccd52fdb090d2c9f37f030833aa63cc8ece536a3f4189b64f20feeccbda37940dab8c3858309ba3f5ad5b66fdc4cf262c8670200cedcbb93975c6f5d4cde6bd5bf68c1dcd8daadf0b4a85eb1b06e6ab2510494a23dcfa846482c667277c11aa9a75dda222afe54d4c4b6a93a684ead690d042234727d7c097d3dda1d1883951f4cf3908304e2170b584b36adac64771aae3d8e2ef558364b58605ce155531f5fb0e65c74b91e37de351adcd7c9502975738cfe800f2613307a374ab7956a9b4324f117c5aba12ae8a8b2a6f5d48c63a0012f92979a184b6ec338fc9953419984868f10a1757ee4fbe00efe9d1cb1d270aad59a2a2f8b0732d2930e11123fe2500af7d0a3f515625a782dccc0bce904d37fa6f2f8bd77251dacb35dd69a8483446ed333667b8c4a06e91f169802016246b3df349bcc61e97ec2e445b3e5ccbfd564ca80775767ff3ac029352fe7ec9c15b34842950cd38e3d0f6fca562c8cfbcccdb9aaca1d8bd4a7c4da44cf513913fd5e0df22dade0abdc02906a124faa522657109df4c6c0b29dfe9e123f7f3ded6f9fb232d4c3c790d1e57ca50ee7b521b85bcf8782c612c12c086fb851a91777959760d3806792f11770206688bb30d3671ea9a067e8d7ecbb25ed9b9a309e001e94e35ca7132d3f47169fccf7b66dd8878da15f359c4a70d9b000bc3e26f3bb3cd925b074f038d840a3eec038b5adc35a0333c95308e42cd0408d56aaaaed5977da3c39519c3004706d29006f0c34b6adddd9d495feea6c893b7d9e5cc6c46a4b2210b2513fe4f6ccdbf624604b9abe7824f1933b9b7569dd6a15f1b407453839b7d928846a0bec5e57ce2a626cb2b5b2b6ab394d384fc3e858b457fd03707e1830d56c53028274f6a2912b86525b2335527375db649b29aee01279a45417593d900af3ba2f41c03e9e4ff353809b456d6aab4b299a1ff57944655789e3fe8c4960dda0111a42163a59b05af49d1940017e88d0f3cfa405b03b2ecd8e3c970759f21906e3442c5942de78c63926cdd5476397972a19b61c69dcf78329126b0623345c6d830adc6461d8e68d6f25c0b1bb1fc48faf5ab60b88f9ca0d988d7cbcf518719cfe1cf6bc32", "b38b7421e8620e552f29020f4f87941b01077c7f418710c959abc0bfb7aff19941def078006974a9babcdb6b8b13de5f5eee84a319f9383f580e6be07c4cb42f0d2b88e001cfbafada640681eba2fb8578ec111df8198f7283f0b01cf35f71fcdf047ac0399678d927027e0fd61afe13bd21c04af3dfadaf68b7e284996ef5c94777d15973007b7c5cfacd651bce03017768df4d8d508a4f422645ba3aa5cf30bfa4c357aa76c4e19cb0476bdb1e18103708a8a6ae711def2fb2f25828c6633a666d3323bf8d6431aa4250395d0fe02613be18d8fbd8e9cde0b22abb17e95a0657a5ffd7eafd44630a1c1f13f434d46a36181ccfcd6f60114bc3c5ceebe30c81744ce8bc77e4e7a95221d794613b76918f573d14125c53382d86234b59234639a4ec7ce44e2c387159ff46123b30a1b4", "611e03d1038321f0d05c43cd2f3287cd43664f044873010a76d6da843e6bbdffabd52f2a72dfc10ac7dfda3b8417b7f74ed6cfe15b88119ae6d473e55ec32d7de64f82d605fb59d5718fc8e109e29ff83f987fa4a4c422f7d8a08dfa921cf8bbd8b794835f23ea81e911ec2dcf74d7f16adaa73dd8aa82615030169887bd5187d9e11f6a2f9f6e0a42be9ea015e13250409d7346d78ce05ea5a8570998704cb7908d6b778386841856ddaf40141ca5c77b1cb3e509e769cd888270c5022c8a696fda4a0bbcf4ac70743cdfab7c75b555e85ae01dd60d1bb1a67c91cc06794c2dca2265344309215615b99d491c2c2e297d50fe201cd7ad246029d3ef176650b540797a2290b611c5c47677dd6fd26aa699b2", "f92d7bdfc1e50869d868eba4653e031bd56a689bd6a72d181e19419d1fcd93f9b9cde3c9f0f9ff9edba0cd61b29ee75d4c25c6d448e62955f8e725a8ff9ca82a27757768680390fff8c3d98d5209f908013b5bd7aca200c1cbecfb214c68460c78f9966c6a32ebf6410c44bb541e2f3eda62b258bda248ed2a543dfdd6d91abae0a00fe2a17c07b85c0f08154d987307af0573ad2547e7ddc186c8fd6a97863eadfa3b9f143a1c71f4d35866da3d98d7e1f42f51c3c90409b12920843d93562166ad4229077de00830f385896bad3de338e832edac3e7c0de70b4cbeab6e9aadd81d8f9eb1c78b44e441a1e219ab5f6fc5246e08298833322acbce60010e4c21c3f2ef1455fd95c04232f02675cd791662edd8a73c84ae810f71f43c9cdf1c1c61b52c53bf288ae6fb2fd9c680497d2b43df4ab6d580ee81c0b1ce0b30a0f2416d8087bee7699b6a26627f6103e003ad3dc0a5f8be741468037d040333a766925eb050789ca51bf8613fd623f162a104dba434e2adf3a0c4c68e0d27792deef8ba74e1fd168f1ec6c3a0129c47793c64dadf6f56f1f0bc7759b3a0dbf5650b20ee1b243fcfc89142ada46c3e249389cb089c84306e05bf52ea04e7bd5fbff3935e0edf9031621260fe5780e79f5e5bf1ceb28a0424e33cf899c3b03e624d5941c8b026647febc831a843ca6dab7420d3de2751bf4f6432a0e373403952aea578ae392b492c9bc40fe668ce73e06f448a76d5cabc2e87da81ff5269eb281d44e8be60391551d5eda13a8d469add6310a9a582403db720ea209e557aa2781ffa1848ce9ea61e0c9034e0e37f157beae4a05d87b7b11eb28219bb776efe07eabec092e64e3ac4a0b11d84f88a482599ad4e7bb7874191c132e4fca9b1705c7b25e3515f0d7f14eaf460f134661cc6dfe3cb5d5479a06e1d75881c640158da3049c270bb8d7ce6f0e0d933b82085e21077345eed63f52c0d5662714f086ff9e8267a74d87b6f82f998ef3814a60e50f56346e6da7ed41fd26f599866498c2038e78f10bb9752d5b760", "1ec64add2e04baad0acbeaad01f4161c609adc6ad390a44543030222d46fc4f7a57cdd55736084c8a651f675ae6137480ac2f59298546408ed13ac6005a3c3b82edc47c7e6a955337d2d037996ec2f5d5e6dbb896bb76261efb78829b0884332126f1a686cc4261f85d4ca907afe44f80ac60e6b21e7970bb2eed35665952a1026e3c26552eb809d46f4ada39bc11161691e26e123d61b00936769075dc8cc720fb9ff5bd8cd5e4c8662e46de8b66ac5667f2b643f5d2dd04078c92f726c74b2c9fc0f97c0d68bb73f41295187853c6f3e09dec5fef2d178ac68b6fd4dda6c1849c9efd06dd9a66a0b303c47308b4d86b2af4f6fd3c09873ffa5ddafd43cb08cea782e43b5c8dd8d3fbe5772f7f482a1e567a0cecc14f8cd29a2a81c29c8a5f792195453d2347c543f6f149e9c0902fdfc214930514d62b35a51069e6f669583b7e1948ce29ba3496c915054f6819ee5204e2c2a236557911acfbead324d4f5530724bdb88a55a7771f9d63d3a69e21b250a116deffb2113e5e1f32752e90300b1cddf619c1cc4aaee71363565a9fa749ccb3a891cf6013efa85d060db74893c90f52af51b87abd2919e8d3c46f325a4f2ff21e0616d4499e6cbe5efaaf789896eba2c6ae36bfa0e6d1e7e352f3cca4ff5a266cb61dfd37373de7138c115f3604b60e77d60d9f52028712b5a3c4a17dbfc304b4b8043bb25b237f0d9cc4ccce2a1d397709de28e421be405dea61e88c3637ecd519539d0d227d21dda01cb10882cbe8b95ce24728233a6d2e065d8a10c92dbe755a6551ab402e5af1e729f44dc5d05233c1282d317eb9d33aa661d49189c72699227f652624395b3817d0319d042ee2f21918d1c3bee42625c3e71c2727707f0c55d022d7501bad98b1653ff80b36ae09fedddbe15500935064c00c74ce7cc73249201df7dbad60232a53fbdc6748257212132aad8cb5810549076fc67e1a095d8bdf145783d140446b63ac0ca60959f5c353b65f02c655e7b43b964fcfe8ff8fc78df8a148aec3090922d9aee77bc0fc26a6eac2d2842c982572c2b3696e7b2ea93511892491f35c3d0e9167042cc1eb9557e4fa39e9bac9f9f4e31861cbe42a0da97885091816c1d0490cd2150c9203570ef8b289c660ce80eb8194f5b7a03dee8025e99471759c662460952b4722697caeb1230fef40f99a8432a518d883208ee2d1c0549e99684a78cfcfcb4803969bbe03efa836a18ab4f176ad07e25bb744f78b2d900074cb0b80bc2292b9802eb0b2191b178205ec46c8408eb81f49b44d8824fd007980f3d5d7e26419386b9cd44c642df15f2c8b8", "2d587b371448dccf6e65687b20c79861e366620d46f799ff4b1c020b35b75e74514f9f8dc4acedb5a3133f4f67605595a8e4826882801a9d7a62496f1207779dc8ece3545790811de052f762122144d92fa5ecf5134486183f347385353c815d70f3963fd643e73b6848db8b4c65599df51ec55b6a4378e4cffce2728494c25b35e2030ea17ef1f81f23290ad2d9a6ccc94172147c39d726ec30e5ab54ca380761ab75c8d39ca53c43c59057ca1a525ea8b7e001dc3b32c33d7e3ee0957aa3342d3949714fe38341f9c9974e1c037b2e1bbe2687ef0d4f448553a39e5e3ccd603f2d9368ed60b6c0ad857128b168fabcfdd04489d91cd533b346259dca5c3354b60aac15c80008c91a7e2a236f7db961368396d6584ce2be78b4a430f442dbea1a26807bbe3eb31f3193caed59fa54d105eae4e4eaf691ec32a83d9f8d3c49197fada4b6faa6d91e7e9c08b4db084b33d1eb280160fd132d6c9e59181642a48f0fcfcffef7e212ddd11a579faf1d67256a32f8bd98eecdb78e2f4a6b81a319c03f518d4022d7678f4da9b7dfebaaed28de861c3d03ea70b5001ea80fee3d164366d51d9c07082b", "4f9d9744d5f32a8a1ee98498cf81d8a954cf75d327f769a15d17ca0d7b02ff63d9e981097e82d3171b867f1cbfe0fc39e786844851cba475a7ba30cab28e02492022904552b535787819092ced1f3139c17e3070ee7cec50c5df14a40ceb73702e193d0b66eab032d529029fa7ef571bb99ed355b55bc9f075914650988ba3c431f4babc2642907cd4a1714511dad4734c413283c7c68c3c91a2a61ff25cda7d4c50bcd0088e25ee3331aec91b374d57946be1168103b8f6c4cb11593c314586c4177740e1e667ce1e47b46e87b1f5a13bfd3ef83641042626a139057b19b3f07e1847555a19c22aadc2b2f4e9758b5d505c28c87e898bc5cb3a8ef80797fdeee3ed1e94924bc90db863798b715b7a013d0930da592a260a4fa20bf6117c11c52b7deae685992c9df4fddfb453d062100a28aaa5648292344a6100a7f2e97a0c24db38c0102acfd536a9a40f41c013bd895e4c27a29ca5341b66095e18fd9033ad9500e72dc064edccca2b630fd83448b2354a17693aa85ad427f9571ab82662b45ee564de9921b8d11e495a5e01fbb0b034f4b8bd58200b77cccc955c0c32d516eac924c14b9ea6b7da1d", "d4077a9589ec60993d0895f3760f9cb8701048b12ed1aee2c04abeec294651f5ad84d5d70d2b99a79e46dc43539e617c395f30196b303a11235e6174413c940cda41d68f22f73a7784ec0ee1ed31dbbd7c13d8f0bde56336a53611507f99d21f0fb4ed2d6d5844418bee80f0b1a1249cb23ca0f6bda55de332264e2757671e91af2b4cce8ca460232b0410ce70421903c81205ae0ee792aca408857beceb43d8bd35923e30fd1c62b4e805251948518521a3bfe65cd90946ae56d5c8e0f177e521716cb2c192f9f951c3a614b4cf21f6bd9704cb8e0e0fa24800c6299515710c0118b840292bbed2bad85744448da229c76e26690312438f0f4e217a2f3c5d1ab01dfb332e72857fc18656e8849f864cd8b18663b21246e910b8b7881a3c6711c032d25e70f11ef9f657897afa34d0620c73084a27658c7cf11d9da937ade4cc568a4291de1cdc3fdb125065cbed5e5327f758257bbda18938a77ffb02fbace8c03c001d0d556da0dd6546af11b54d941ecd31ab703c00aa706f4d7505b72fbd21669e55e836efebb8de7be5cebab497086954e2ddd423c95705bdba779746d827c94f1f770b4ac254eb1d1c930ae18ce262c9608e3dc9bde97b9c94b3cae7bf5f49eb3633590a0930ce995657dfd202d500e08a37ba2a7072e68d36d06a579dc5af71d1434343ef2f8f37da0be5575902b13206923120d1747e330af59aad6852813e5bd4c18e58b14a23dde954daa02309c06c4461a9468a7904e0117d1e15eac92dfdfa098ac3c53367ab6487fc2304917be4c258e8e548a5687239193d4471b4e0b796d384f3538febf66dac7c02e1180f9517a95f277cb0da1745ae17a20b38f9c184a73e0c96cae6fc498758a59508b1ca03b4a9eb9620cf509c4987", "42a019d8ea6993b89968e7c88f2cb3e5ddfeb683a04410639e294e32110d5fbc21449190be9b724348644dcf9a4a4fe4a2612c4f93a6458a461a76d8f1b74f3550bedee767b7690167b0bbe11d208c09f3dd11d6a03d7bbd31b3affe79ee7e571581c2778131fe31857facc1c2a2786b055a7ca5ea6c215aea91ddcf880b0b4024edbddd807d57ce590071ecb6254d92f44f3312bee9c00274e0420d1980e6c1b22d81c4e307e8de4c5e1bd028587209bd8e54d7bd448090bd0e0dd2f3e60901668f744b3b208ad61ee8ee026cfb1c1a4751e87e301f3f8dbdb067f826d0efc612ecbe353ac33873e8bf3f874814c81035bcdabc571d750330e99574ef35785b866a69f7dea2611699cbeda830585fa03b3fd57370d8ae43b54c924e48c99e0b6946499e5917a94481a2ecd08b7af0e0b766656f8cf9030854e8550771a10666efc340e7f021b7471037ff504ee2c8111a0a1effa4219dc6eb5ec654b8a034ba13b6cb7e4038495800b7ceb8e34f062643f5a8ee6f83cd0a384cd542b2680ec6fea3e4e229ee617bf714972e6f5cd8071e57fc1ca0b0bc2bed8b7e8e76a65300f245d691299679863c0b75f1a4a56fef5f93891b41b89fb311d9a50704997744f547caf583f1804f8e1f0f3d635eb938a7d74ad377a2a491f2555bc6eaf40f64f1363c0748b4b00d427c48e99b1fc320cb6ae2719fcb2c6c8990fbaf9f5b4f579b1fa885eb18cd4261441367ae72e97144c83ac1323ff2d07c995826d6cf9bb8e14c8704feb1abd9965475e6976aaef9f9787fde15f4c6eb42459e1865823ae7f07316f90e2a425b95a25a4bfc11e0d1583c6f787adb6dfccfc6b1eee72318d4750769ff07c5bfd2c42c84829c59b3a8386d6e3a71177895154c41140d43037f8ef12cc163c86a2c44c34643761017093ef10b7bfbef3c0b24192f91a0f76b8d90a5fecff9d1bbf133bb5a2602987f042111ef7549a00752f3c3f1064dcc994e4f1120a982fa249751abdac15c1fbb97e9fabda13e0489b312c7f998b0d750f92bea14c763440de30861399ac52501838d1bbc0c1aaa7225395ea1573c62635c5f4b8c68494368ca3dfcee969e0d5b488fff4f4614d285da8536d342135376e1bbef27abf40b0102681495444e846b56dd0d974cb3abd48f4d1dea1361d743af230d6d2f2e04003d3d60f8abec2b6356a127c751463a0eda44556e673aa15c6d26325f9b957ca2f13632e91603401921d7216b61a77d084e7a2fd86cdd90dbd7bb417d28d30822884ad08be3cec552c4"], 571), level = 8
cc 79c05fd1b32cb50b200d22f095e961ba0f363d99e000cf4789f867f59482fc99 # shrinks to (frames, pos) = (["2d8b78d61c52fca7fa8f93c2620ef39831be92f90c4dd7d4754cf8b7357a06dc1c2d2cca676355bf3936ff819d261962036c2085620a6dd90a17fa9bffa88f659c225a99c927b7fa151892b71b38cc1eeacdd0b02220924cff3690ea3b7677d1b27a725496758e7635d960a45752787f6a50e19ba4987b0ca2cddc90f6acf3d6b054f4f7bcfac403bbc1065e08d192068d1d1fdefb877a7718d7f9fad08763bfab8812af492986fa454a07a09294524784a9bb54bd65e4b848421000e09eeb0acf9f43477b72438dceee0b765bce7a40fc14d9be6274ba5ad07431eaa287583d46eebb583f73d761083198b39304c09638ad44e757302557e0ccac71f4506fdbbcbb3fb2348dda8ddf7aac7c8f6ad394224441c12696dbe894c7a2f4089221316035c4bb344199a398540f8c3903228db338ce422bdd031f9741b4d462b8e1916148ffd12eaabe8851fe5bcd0bb9238363334d05198d22abe2002e6aaebc69e1c26331b9e3f2a6a3c98842589602e80312181a2789c5b4482c8f7c78880540052594b999a4b45a662fb74365960aff9877d491e2040640183eca8509989eae78d1d1f45c7acb6c64152eeb4b42a3b5352690bc30b125cd557e2b0d2813f0a0e82cddf19eb1dbd22945d9aed689fa62edd42feb22680b082d5daf97fffd39fbcbb6a96bbf9b1630b238a9ca4dc2e2dabe9823d4cca6ca2f72ce91dfa5"], 508), level = 2