# 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.
xs 879306650 4175781441 2892297389 3922654698 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0)
xs 957863225 301809383 2463776110 2518243705 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0)
xs 2744677455 1491273407 150221038 2278116896 # shrinks to a = $classname(0x1, 0x0, 0x0, 0x0), b = $classname(0x1, 0x0, 0x0, 0x0)
xs 1983044002 591685298 483336574 1179567308 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0), b = $classname(0x0, 0x0, 0x0, 0x0)
xs 2915246171 498076953 898032289 3713126839 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0), b = $classname(0x0, 0x0, 0x0, 0x0)
xs 3508602980 1458212407 2465163793 1958178558 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0), b = $classname(0x0, 0x0, 0x0, 0x0), c = $classname(0x0, 0x0, 0x0, 0x0)
xs 1166142285 843439000 997295207 729562309 # shrinks to a = $classname(0x0, 0x0, 0x0, 0x0), b = $classname(0x0, 0x0, 0x0, 0x0), c = $classname(0x0, 0x0, 0x0, 0x0)
xs 2430459723 3968326943 591427102 3202589114 # shrinks to a = $classname(0xb7c0672418d481e6, 0x2522a2ff5d7453fa, 0x71384d5ddfdda13c, 0xcdaf2e23609c50d6, 0x7baf6c09d8d5dce6, 0x6108870d1a4d23d4, 0xb3be4cdc5158e294, 0x435e56d0), b = $classname(0x94ce132fbd289f85, 0xf55e7714e0130c1c, 0x8947abc3213ff804, 0xc20eed9b7022f035, 0xd37fc08be6d8ee26, 0x88b0d66f03ff8401, 0xed46216478e9957e, 0x6da034b)
xs 4198439370 29720336 2531892831 720124230 # shrinks to a = $classname(0xc2320636d530c28e, 0xf082d9b6ec6f9a6a, 0xc506c2afb0763fe4, 0x751a88abd5f1ec99, 0x9fbfa5bd2934b486, 0xf36d88570a6ade3a, 0x713290b5f5661d56, 0xf1d3b262), b = $classname(0xe4ebecb5d1d402dc, 0x580acd58e7955a2a, 0xcdd73052a8efd486, 0x69d0f127d503531b, 0x2ce899619e204e7e, 0x8a088bc078f2106a, 0xc191ecec09c2bb4, 0xeeea32fc)
xs 3225443657 2504053612 1738232364 3706159781 # shrinks to a = $classname(0xbea9712ef88d068f, 0xdc1ec2fe3a915a10, 0x14a5a8f425d09294, 0xbca1ea9ec5544265, 0x4fbcd82f75cbbc15, 0xce5c065dd2276f5, 0x397656d0e853865c, 0x4a48416), b = $classname(0x377915a1cc26f5ba, 0x81c1e286cfb25c90, 0xf4db9cab1ba0c123, 0xcc4b2d6cadb54452, 0xab60f23826c4b34d, 0x74bdacb289e64d5a, 0x8f63bc873683eac, 0x3a8dbe49)
xs 43671600 1876632529 2693761017 6411432 # shrinks to a = $classname(0x7e34378f78ae00e7, 0xbf36ea5238e04a8c, 0x32135b9e60862ff7, 0x716752b9a7da9a45, 0x5e75d9b2bdc88df5, 0xb0304aee7d9ca214, 0x15ea2bb7b14d1b79, 0x2fca4c0e), b = $classname(0xc6bb34280459271a, 0xb3a8fc9f269c52a9, 0xf189be2957d2e76c, 0xc8eb3cc1c5f00a52, 0x5745e84239056521, 0x728cc6be78020b53, 0xac3373e1e4eee08e, 0xe1b7252b)
xs 3868416316 4066751290 3910281121 2900153969 # shrinks to a = $classname(0xaa4916d7b38ae00f, 0x26266f140f212e9c, 0x2b400f90969b2bc, 0xb6bf14f201d6e83e, 0x9746580d963afd01, 0x8eab91c8051f9e28, 0xdd414ef6eafe440d, 0x5e950b40), b = $classname(0x44bf6930755f2a2, 0xd18766f8def5f39a, 0x714e7c70e44b4df, 0xc2d27c12ad5aaf7e, 0x9c865dcd2a3c5f6f, 0xb5ec82be35bd51c3, 0x9b94b44b5de71b3, 0x1b4b869a)
xs 2787995971 1780837836 3688261835 4099936162 # shrinks to a = $classname(0x8c3d37cea51b2a1, 0x6abe93bee697b48, 0x90836bc5ce0a9e7f, 0xfb0da866896471ba, 0x62f70a20dd07558, 0xccd16044a9892f4a, 0x71d48e2e1911183b, 0x484fdf61), b = $classname(0x9bd583df011094f6, 0xc8c292daf0a6d282, 0xa77c7e6995a2ab53, 0x46d21e13b3b17d04, 0x963d702f82778cee, 0x34c38e9bb81748b4, 0xf27b76a3c3570658, 0xf6aa3c82)
xs 3791994842 4236417516 2541171068 3186783811 # shrinks to a = $classname(0x288b0ba3465a943d, 0xe04ae0503194fd0c, 0xce703782d097f562, 0x8096695466c58023, 0xfc7a49e1fa30d93, 0xb69021d9e95c28c4, 0x2df092f0857d592c, 0x2f89a8de), b = $classname(0x6fc09dbace77a80c, 0x4ba6d8a39041e888, 0x6280b3ed0d3395df, 0x8aed24b7eb23f57a, 0xac8257f4e0839149, 0x981465c571f4658a, 0x920b81a0dbc6b09e, 0x2128aeb1)
xs 2450965680 2111949473 232525216 424749746 # shrinks to a = $classname(0x97dc1e42657594fa, 0x290acddb81555044, 0x5784307ec2b8fd51, 0xa8dc63ab1a0c774e, 0xece4972773444bf8, 0xae0ad700b3a20eb5, 0xb815b0b1dca1ae62, 0x51d027f1), b = $classname(0x41d35791b8b09ebc, 0xabfc6c20dd786adc, 0xc30b21e7ff9ab2ac, 0x103cdb2d653d161d, 0x240d133ff64be3b2, 0x8fcdc36f29f500d1, 0x5206d0e66f3a1fd7, 0x2398b89e)
xs 1767797025 934516463 1803628635 3621913036 # shrinks to a = $classname(0xa65045cbec4624a0, 0x85f550ef533fd648, 0x639db055a39ea165, 0xb6e9bf1e9fbcc321, 0xfc2272c6848d267, 0x779847b2717ec5de, 0xd806ce1d73b05271, 0x2d3e5187), b = $classname(0x3a0377184d84b0ba, 0x355a513427650f50, 0x549813a1f13e3844, 0x4cbc8ab64787a0a, 0x1aff9420352914ec, 0x430f9f132384073c, 0x946fbaffa2a61f99, 0x28756f97)
xs 4033689826 3760839715 1777343030 1878303046 # shrinks to a = $classname(0xf5bd523cd1ae7c28, 0x8543d4f5dfde7d57, 0x8546ea505ad9f032, 0x6de8fb91fe8e6fb2, 0x4c053397981dbc27, 0x9b2b725a5c10a3b0, 0x51be93b639f49a46, 0x6a6c606), b = $classname(0x9ba06a5c039b6df8, 0x8f2577f72370f6a8, 0xdc600b4aeb2e1839, 0x584990b1632ae409, 0xb636e0d59456fa9, 0x7776fb647190c023, 0xaaaffb3d453b53c6, 0x72123150)
xs 457795798 280624511 2027969164 1126184146 # shrinks to a = $classname(0xdb81fe1218ed1b38, 0xe648d7d7e906bab4, 0xe932f9aa370b96e0, 0x5f515a65aad0e423, 0xcea779824b438a6e, 0xdaaa3d6c36a9a779, 0xe0496eb43191c0b0, 0xb043142d), b = $classname(0x5ffb0641eec91a2, 0x9cfe5f43d8495c1d, 0xd7c4c17c223cd99d, 0xdd41dfc66366719d, 0xe8e79e521647b445, 0x1f7d03c669b9b72d, 0x206103d72f76fc26, 0x20716e01)
xs 3227398974 4218115191 3143157866 1406830911 # shrinks to a = $classname(0x454a165f13682506, 0x3b8da5ced09bd153, 0xdfb1557cae3e750a, 0x6ee6ad83266bf7de, 0x1d7921ec5016a3d8, 0x1bf709761fe11cf2, 0x423223551215805c, 0x64ef2309), b = $classname(0xb1f3ed0658afc00, 0xca8869249b3de064, 0x4af707e3fa76e0d2, 0xaffd8d9f591eff2c, 0xbd6a1035e97819f0, 0x1add04570b16f67, 0x1c6e41a6c175cb9c, 0x701741cb)
xs 483672329 3073577753 1824683054 703385219 # shrinks to a = $classname(0x1cde18404f097772, 0xd467c586dee04aac, 0x76a59547b896d8bd, 0xa2654b542871146c, 0x1da62fc52431fc2e, 0x21f4c5e672adea39, 0x2b2c8c18c36c4639, 0x68d2aae), b = $classname(0xfdd52adfb3666429, 0xdbefe6c9cbfb1af9, 0x26ce760d7272ec69, 0xfc578df3cd2e5d58, 0x997e284d5b963712, 0x74d90bb6b0fe3693, 0x58f72d86a6ad2661, 0x396099ff)
xs 1528615771 2351053807 2368832558 2197644826 # shrinks to a = $classname(0x2b4c71dacaae699c, 0x2579d150f4fb194, 0xb9e70e844b9ea58f, 0x8fc1ae5d6dbb81a0, 0x69aa4f8bec54f309, 0x2afea71e927b3fb2, 0xf9e18271fce9be65, 0xb7b1ba5e), b = $classname(0xcb022009a5286153, 0x7e298548f2c0aaa9, 0x90fc4abadd1c317a, 0x8e4996ee883a9ada, 0xc0aac827c7004e2, 0x4a8e6625c6fdc2dd, 0xef6a03ceeb472b87, 0xbb0d01c)
xs 475845361 904415766 4146190013 2793211737 # shrinks to a = $classname(0xb0ac200b83a9f86e, 0x5458faf040e70e83, 0x34f3a6a186e4739, 0xc44caf5a935a831d, 0xce7840ea88ebd52d, 0xcf488d8ab5d17d63, 0x5c491f2cbc9a2d0e, 0x1f424405), b = $classname(0x673ad24d9b90ecd4, 0xec61606efe400f91, 0xa44e3c7863c99a83, 0x471f29f5bea04c75, 0x8abc19eee110606c, 0xda38a0405cca7a9, 0xe1057a26077b839, 0x9ebe9685)
xs 3906646927 755576904 497694888 256379234 # shrinks to a = $classname(0x283dc6b64615294b, 0x894aac6e9002af08, 0x12a88318e5f015a, 0x955705ebb193372f, 0x6e387ac7a6c90fcb, 0x927c1885c223e610, 0x539685f7e00fbdd, 0xcb95929), b = $classname(0x2e747ff6989e2931, 0xfbf38343f64a8590, 0xbd0e9e2c5c6820f5, 0xeb61514b290203ea, 0x6e95c75a85b101e5, 0xa4d69d3f32c8905a, 0x2cef03e26c76a7f1, 0x86a89aa8)
xs 3795422714 635226130 4167243520 2444126405 # shrinks to a = $classname(0x113cfcc99a7e27b0, 0xe075e35f6f8d2a6a, 0x5be9000bbb7ef749, 0xcc236232), b = $classname(0x381a6b0c8771e404, 0x274431e5b055ba38, 0xd03b2f0c4560f524, 0x2e6cd057), c = $classname(0x3092ac749148d34b, 0x1b4670ca788898f0, 0xd69b0093e8d0c9b3, 0x36187a4c)
xs 2449143617 4016225584 3186539054 2381244577 # shrinks to a = $classname(0x655af5846685a299, 0xedd2dd3ed57558c7, 0x7eb8c140d9dc74d1, 0xf06ddb27), b = $classname(0x7be7eb0ce67300ad, 0x5729e78c67de2534, 0x6674323b3b267c9a, 0xc4a3a5f9), c = $classname(0x444c74e3b79922db, 0x17b382c21466c965, 0xde8fe77428024bf4, 0x9f50d03c)
xs 4148330110 4087589145 301778197 3243163 # shrinks to a = $classname(0xc3cb2b6fce020c14, 0xfc9d641bde90ffea, 0x669b2cc188b1681c, 0x78420ee), b = $classname(0xa83bb03f3492021e, 0x2c65a376f96d092b, 0x82d46f659f399378, 0xde731e81), c = $classname(0x514bae98cfed7922, 0xdb634e04f0f0dff7, 0x24b036f8a427252a, 0x878a1db8)
xs 12021036 800379667 3258820441 1431176541 # shrinks to a = $classname(0xff055fe41e0caf0c, 0xdd98b147b0ddadc7, 0x4a76f3cc85a88831, 0x60e89047), b = $classname(0x805862193d7722b9, 0xe7dbd0b9137a3427, 0x5628492d98331b7c, 0xfe3bcaab), c = $classname(0x6a42376cc937b822, 0xff8868ddd440a1b8, 0x1bb7243d58d0e284, 0xf615a9)
xs 1728810494 2646078138 1189408195 3625107285 # shrinks to a = $classname(0xd2864acc1086d5c0, 0xba93db14edc3766b, 0xdcf764fa0567655a, 0x471961b9), b = $classname(0x22bab0afda6bfab2, 0x1d2fd4f544c311, 0x1b850a297cf9fc63, 0x373bce70), c = $classname(0x939a09d3145134a1, 0x84c2584c5aeea924, 0x582bf1021a4c3102, 0x7bd83813)
xs 2875138926 2040737837 1647224217 4021513356 # shrinks to a = $classname(0x40b4368e4f85da7f, 0x29c8704108b2c62f, 0x808444208894478e, 0xb8c22c58), b = $classname(0x6f409f60f3defe32, 0xd66bf0071ec8c676, 0xeb11f4752440f6b4, 0x4c192126), c = $classname(0x67e17bd61182383c, 0x2e237beea1c9e93f, 0x9517131ca873bd2f, 0xb17e4064)
xs 3369829986 3673785305 4187059575 562101189 # shrinks to a = $classname(0x9e6c49d86f840729, 0x8db31d83d7ba4532, 0x52794212924f129a, 0x5978ffd9), b = $classname(0xac18b3b3175f9f18, 0x1d51b95db8d79736, 0x9baef56028a3fa3c, 0x1842f840), c = $classname(0xb4582700294cc336, 0x2d29a1cf9930168a, 0x266290b9c0d6f59c, 0x4559c552)
xs 818749378 1132446798 1625334315 3323647923 # shrinks to a = $classname(0x55baf26538a11dac, 0x6747397eecdee24d, 0x59e34647303057ef, 0x164bcb1b), b = $classname(0x73531088e97ce9a6, 0x2275107e625a3246, 0x12b8a49815f09943, 0x30839937), c = $classname(0xc2549efb1d527a41, 0x7396a53cef08b20f, 0xc1e92e4b79521592, 0xa099ec89)
xs 164893220 2895579655 3267805749 1148392390 # shrinks to a = $classname(0x24ec03902c25919, 0x8dc23b660d4c6f9, 0xe648fbf21ddfa63d, 0x90032879), b = $classname(0xf7c5ce6c7bd7ea3f, 0xd4d09f049cce74b8, 0x25ac1dabeb3d2bf5, 0x261af714), c = $classname(0x3edd93afc6a0707, 0x78691bfa4c531829, 0x5f94d8f38bae8eed, 0x2848ad71)
xs 4158412338 2466301990 4275596355 1330925546 # shrinks to a = $classname(0xbb9531916902c178, 0xb9e34713606ff82b, 0xcc54710b27e255c2, 0x72a3ab7e), b = $classname(0x72545c425350148c, 0xae8b7216895d3fe4, 0x9d983b7917978062, 0xa3005bf8), c = $classname(0x9812c420e7af72f0, 0xedc2962f423d4d97, 0xa46e86c270434799, 0x1c4d37a0)
xs 3721168485 2921488317 1290819145 2327976690 # shrinks to a = $classname(0x950530678a90032b, 0x7e3a919a5cecd917, 0x2fa1c244b4701612, 0x45e269cf), b = $classname(0x228aaa47873cdb6d, 0xdde2a69ec689024b, 0x503b3048222823d, 0x78816928), c = $classname(0xeed21d2450f12095, 0xeec4734c778a5030, 0x91ea4ed06d5ebae9, 0x89891bd6)
xs 3343121208 4246854131 911290631 2605640105 # shrinks to a = $classname(0xf71e181d5eee4a25, 0x2f11486121de1dab, 0x7e313057b5c02027, 0xde72d935), b = $classname(0xaf89c3f41546d8fe, 0xdb5b2f2487541349, 0x4e077f1e7b04fe94, 0xf52c7c00), c = $classname(0x9397cdc1d3b21ff0, 0x7def91919d45b423, 0xb38525104a816e57, 0x42d5274a)
xs 476871998 3478199 271238083 172245709 # shrinks to a = $classname(0xcb008814e354bbb6, 0xef581370c62ead25, 0xf2b38466a09c1dcf, 0x741bbde), b = $classname(0xe089d98b02a47eb6, 0x4170f2b49fe66465, 0x70851aed9bb0b89c, 0x6de33733), c = $classname(0x447eb8f0fdd3137f, 0x56da018c9bff8d03, 0x1de8bb275dc04bfd, 0x6f005906)
xs 1698231060 1395268162 3273866399 1223368839 # shrinks to a = $classname(0x157f76034f89741e, 0xea2aea9a0f9b2a5a, 0x473c41757b9c5420, 0xa3f3680db0dd6030, 0xf313133892156f2e, 0x5c9730937f34ead7, 0xe27a62d97fb7ded9, 0x2326d2d8), b = $classname(0x4bca517e0d618463, 0x16703d8dc0f9f879, 0x4fa1eae4b1914c16, 0xceaec67af64b80e5, 0x714f44e4c241cfbb, 0x8d67778b14db04ee, 0xe1466f973b8e518a, 0x63f31572)
xs 2728269311 3180285252 359326281 2440184310 # shrinks to a = $classname(0xec07cf84244badd6, 0xb4ccb8bcde51e8be, 0x2fbdf7953dd37aa2, 0x31508b78e7e0307b, 0x2bd08205d192a130, 0xea5d7adc32fe0a5a, 0x11de7e284f0a7c2f, 0x44f55388), b = $classname(0xde5147a728faf4eb, 0x2e6b2cbd86e7fbeb, 0xe29ac9b1048338e5, 0xaee6821847febb51, 0x503e1a0de5237713, 0xf9fc29955e7a30d9, 0x18f6c6f96839b665, 0x172cc749)
