# 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 e736dc148a9198a37778f9af9bbe471e380b4291fda588425af39eb845dcd125 # shrinks to optimize = false, a = {0, 2, 1}, b = {5, 3, 4}
cc 3577d7c1bed81eb540378eb9302faae32b2c0d999a2258cdc9672ddc2a975a0d # shrinks to optimize = false, a = {1, 0, 2}, b = {5, 4, 3}
cc d43dba32b6455047e6da096957459c36d2f6e286d3d80281c11f7e5cd171ccd4 # shrinks to optimize = false, a = {2, 0, 1}, b = {16331, 11707, 4441, 6615, 14646, 3391, 6951, 14333, 502, 12756, 7730, 6877, 12745, 5952, 3114, 9555, 10623, 14863, 13170, 10156, 1475, 29, 12674, 16093, 8125, 16318, 14798, 14827, 3073, 12897, 3751, 10754, 9285, 1937, 10416, 13194, 11415, 10514, 3488, 11260, 13580, 4118, 15420, 2780, 12772, 5916, 5844, 7787, 2593, 4301, 1844, 6952, 1013, 3489, 14053, 11872, 1863, 12257, 1758, 10629, 5912, 12677, 13421, 7483, 9300, 15594, 13234, 621, 6431, 6979, 856, 2868, 10282, 2733, 14444, 9386, 5928, 5377, 5668, 2824, 9497, 12212, 520, 1424, 12389, 3426, 6467, 9521, 1772, 3903, 12609, 12000, 9897, 10512, 14953, 16325, 8881, 12353, 11938, 8425, 4147, 3239, 2803, 16381, 13981, 10866, 9210, 6350, 1617, 2368, 14327, 1754, 12076, 12928, 9164, 3425, 2426, 8045, 9735, 10991, 9061, 1205, 3836, 4816, 2259, 14696, 13300, 2455, 12679, 107, 1702, 6925, 1829, 6587, 10266, 3034, 14837, 15826, 2902, 10206, 8942, 5867, 8077, 16240, 3020, 10428, 13168, 12112, 15433, 10672, 11867, 15559, 16171, 7113, 387, 1095, 13334, 11973, 14552, 14793, 1806, 14198, 12045, 4134, 10610, 8148, 8705, 6024, 9873, 15765, 472, 11901, 3656, 15574, 1653, 7749, 16048, 5101, 13852, 6293, 7906, 15237, 15371, 10024, 13485, 4680, 2530, 7957, 15042, 13219, 7726, 9695, 3227, 11536, 6424, 11425, 16305, 9548, 6802, 12661, 10539, 7887, 14921, 12402, 3928, 5817, 7426, 15914, 3503, 13204, 6755, 2515, 11303, 2287, 3472, 8591, 11868, 13080, 588, 5710, 11600, 13959, 1532, 8759, 14805, 15873, 11951, 2810, 4883, 11639, 9839, 14258, 12647, 3128, 1138, 7516, 13985, 4539, 8962, 12825, 15593, 2168, 6774, 2658, 15764, 9898, 3741, 12072, 10558, 2355, 5857, 1422, 54, 12052, 16099, 1708, 4059, 4763, 7316, 9315, 13970, 11831, 2807, 1338, 11439, 4736, 2045, 6275, 6302, 1676, 8325, 2473, 283, 12845, 7380, 1514, 8264, 13029, 10237, 10598, 11884, 2493, 7532, 9998, 6581, 14284, 8590, 7741, 10101, 5593, 3373, 12554, 743, 1495, 10209, 6203, 10401, 13215, 6585, 10951, 15105, 2534, 7941, 1554, 1950, 10656, 2386, 6654, 7624, 13417, 8129, 5709, 15723, 3990, 3401, 9129, 9057, 11207, 14400, 1037, 14005, 11198, 12291, 13709, 11093, 4679, 15552, 3597, 7109, 10864, 1794, 3528, 12559, 15573, 12268, 5412, 4571, 6773, 7268, 556, 3834, 5641, 15167, 10683, 4145, 12804, 8342, 5786, 7798, 4756, 10940, 16369, 1724, 13552, 55, 15637, 6781, 6422, 223, 2997, 8246, 16197, 10217, 4670, 4333, 10581, 10435, 7088, 15598, 2969, 8644, 101, 2815, 2521, 6567, 12867, 16100, 9668, 11334, 11068, 90, 9689, 4170, 3103, 13392, 2169, 14260, 3691, 2844, 8386, 1408, 13973, 4395, 7155, 5893, 13700, 9180, 1703, 3884, 11213, 1427, 7782, 10932, 5552, 13590, 5267, 12346, 317, 4405, 10257, 250, 11856, 12960, 5656, 7713, 7284, 8553, 5077, 15262, 13351, 10087, 15355, 12468, 7837, 10124, 14283, 14238, 12555, 15580, 4653, 269, 13937, 11422, 7880, 6210, 188, 12865, 11386, 9023, 7065, 11154, 3848, 8172, 698, 11055, 11970, 11760, 3891, 1256, 4362, 7466, 2933, 409, 11191, 11113, 13865, 8662, 4957, 4655, 7150, 392, 2354, 11005, 10719, 14101, 3364, 14240, 4683, 8556, 3966, 12392, 259, 194, 12915, 13054, 10847, 6154, 6249, 5449, 1707, 10933, 6988, 15716, 1351, 7731, 12209, 14547, 14141, 10759, 5427, 10477, 8485, 15296, 2280, 312, 2173, 13826, 4054, 14316, 862, 6760, 6191, 1529, 2095, 9574, 10363, 7616, 15773, 4751, 3340, 13651, 10636, 10986, 12622, 12856, 4911, 746, 5155, 10682, 11230, 9222, 1004, 14665, 5922, 14556, 12734, 8880, 8859, 6725, 1170, 15425, 8007, 9661, 6684, 15203, 1272, 5693, 14349, 170, 9891, 1868, 11655, 8490, 4460, 11763, 12287, 4529, 6477, 2910, 13026, 6073, 7944, 3251, 13093, 3154, 16327, 13030, 1925, 8388, 693, 6030, 4899, 13096, 7629, 11966, 4649, 10612, 9939, 375, 12779, 11248, 9171, 4925, 14429, 7588, 1606, 7645, 7986, 13383, 4257, 11897, 13266, 8916, 9161, 3753, 720, 13446, 3327, 3807, 1620, 2417, 12235, 11737, 14576, 15460, 2036, 2524, 466, 1364, 1526, 6666, 3115, 7172, 12125, 8789, 4481, 480, 4684, 13748, 949, 10678, 11428, 10246, 5452, 9368, 10762, 6919, 5996, 4191, 7994, 1454, 6254, 1116, 14195, 6406, 3386, 6634, 419, 11212, 12542, 9551, 629, 1645, 8577, 9257, 3186, 13241, 157, 3606, 1344, 6689, 8856, 10250, 15547, 5109, 339, 4677, 10413, 2636, 7670, 15762, 1065, 6170, 10552, 13084, 5510, 8245, 7220, 5169, 4413, 3083, 15941, 14625, 5094, 3513, 7200, 3762, 3534, 9635, 9131, 5975, 9119, 5312, 1565, 5429, 11164, 7373, 5685, 747, 3666, 3061, 8093, 16295, 2353, 831, 13738, 8413, 5479, 10335, 4473, 653, 3259, 840, 79, 11620, 13745, 7334, 10230, 4662, 8900, 16302, 14411, 13577, 2099, 13418, 13758, 4734, 15003, 11147, 5785, 301, 14077, 3252, 5389, 159, 7694, 11106, 11614, 12217, 13473, 8351, 2657, 15139, 7209, 11855, 1597, 7548, 15002, 12680, 9106, 4074, 10690, 6638, 14743, 1959, 6778, 9428, 6407, 835, 1076, 1129, 3250, 818, 9157, 7748, 15566, 9491, 11882, 5458, 16009, 5519, 6001, 13500, 1931, 12194, 9074, 2555, 8322, 3932, 15528, 7060, 8335, 4097, 3761, 12027, 14448, 6262, 9595, 8972, 10959, 937, 12977, 10531, 7480, 12279, 271, 5287, 1099, 15072, 6655, 10788, 4805, 1502, 11783, 15851, 14778, 5249, 10453, 10529, 10443, 35, 4177, 6218, 8028, 8109, 5233, 6323, 12585, 6332, 11160, 897, 783, 7703, 3845, 4793, 9630, 3561, 4112, 12993, 4084, 153, 8186, 4532, 173, 9822, 9358, 7418, 1835}
