# 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 ea44f9c01981d034eb9956429dad45b1511184b813f6ef2e040da19ac845fc95 # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]
cc 2c07e1f5f91825abf0debdb3da9b6e694621a2890829c6cb177cfeb899b2ce55 # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 34.928864, -28.179714, -48.003353, 41.166138, 5.3680606, 12.877358, -0.5015638, -4.6210856, -28.06363, -7.6799254, 33.296986, 34.06795, -2.2030668, 18.379503, 43.27984, -40.480953, -42.057476, -40.667183, -44.435017, -11.390173, 7.3554792, -34.6324, 30.237425, 49.819195, 37.740192, 28.644194, 13.64243, 3.4781952, -13.213591, -36.088795, -24.686224, 18.616488, -14.341648, 19.320524, -41.356083, -35.585243, 15.924325, 21.948093, 5.6754994, 12.68356, 42.997505, -29.885351, 13.714709, -7.3218246, 20.833757, -2.2652364, 2.8438904, -6.1894426, -9.367592, 22.58327, -32.287846, -1.1771767, 4.757799, 20.382475, 31.179296, -6.74811, 46.795444, 35.463306, 34.66601, 33.691433, -44.754036, -5.6832294, -26.877445, -2.0497599, -6.261805, 34.259933, 49.28321, -23.057627, 11.857405, 34.720547, -23.427761, -3.1082656, -42.940693, -8.165372, 4.151185, -2.2702107, 0.7146188, 0.20639795, 18.346779, 25.99723, -3.6434278, 14.143686, 34.238422, -1.3187963, 47.847813, 9.233831, 38.294933, 0.18077198, 20.635534, -43.652462, 44.054348, -14.8437395, -8.922008, -34.319077, -35.579784, 49.904522, 3.3247874, -35.558, 29.816944, -25.138412, -17.330849, -32.62143, -49.173794, 29.494255, 3.980562, -9.624508, 45.99614, -12.191771, 41.839634, 5.167036, -23.855576, 32.802124, 48.74138, -5.3598986, 24.385458, 4.526897, 29.327799, -40.55756, -5.0441213, -25.287378, -3.1127932, -42.64746, -19.428247, 45.801144, 33.15466, 44.32883, 21.886627, 12.657723, -21.865538, -24.102598, 8.89531, 31.890102, -19.006971, 24.23742, 29.332253, -35.34813, 3.327044, 43.049038, -48.835857, 0.5250747, 46.814182, 18.696535, 28.768568, -46.696983, -8.911978, 2.028035, -20.13224, -44.985195, -40.22917, 31.517635, -24.734465, -9.009608, 2.3076336, 10.10881, 34.201073, 11.546979, -32.683136, -5.639307, 34.2214, -28.278593, 16.776672, -44.581097, 36.885647, -24.943443, -26.297604, 16.982048, -4.67554, 41.519547, -14.282249, 31.972383, 0.7674621, 49.660698, 24.97929, -45.0877, 46.83706, -40.286777, -32.192192, 14.244556, 17.55905, -34.961445, 8.375792, 14.471733, -44.659, -19.188278, -44.387375, -26.779972, 34.183895, 12.073208, 30.986094, -27.170937, 8.04304, 28.904068, -10.029137, -25.119982, -24.075623, 27.329859, -5.4513335, 16.301952, -6.6082954, -34.37629, -25.010254, 1.3416224, -46.816994, -42.70297, -30.874166, -24.531387, 30.773514, 18.169138, -21.227873, 16.390074, 34.656322, 31.352474, 21.870699, -31.134932, -32.60656, 17.599686, -19.984236, 5.683042, 42.207596, 26.99832, 43.624447, -5.844214, -7.8979964, 30.47681, 39.64754, 42.2378, -37.107872, 45.674698, -13.914517, 21.40882, 11.19408, -35.3075, 32.853676, 41.414013, 16.595694, -7.0986795, 45.01873, -20.232714, 0.43574658, 21.05971, 19.754171, -25.670258, 17.631668, -46.949795, 2.7009163, -3.2229908, 14.882127, 48.58671, -39.506004, 21.807415, 18.907522, -19.814602, 1.2229805, 4.8909397, 10.098888, -39.273033, -18.546995, 17.73384, 36.441048, 13.93157, -42.47934, 40.324196, -33.16537, 25.32274, 13.096876, 1.471322, 35.339985, 9.950398, -30.85566, 38.340378, -43.93405, 47.64359, 1.1059145, -24.121773, -15.651234, 16.594488, 49.74783, -18.054924, -49.629642, 47.947628, -7.1770267, 15.124369, 21.970358, -39.760193, -6.540123, -2.5548592, -4.054445, 47.373825, 11.282196, -27.466738, -41.951633, -26.442652, 20.186987, -19.596186, -0.72840726, 9.877779, -12.482341, -49.00538, 33.02553, 4.108043, -38.31706, 33.502403, 7.892792, -36.261013, -24.630655, 34.565647, -25.366306, 23.112663, 28.41068, 25.982483, 25.3876, 5.1287913, -44.73712, 30.080248, 25.75063, -31.724659, 20.804203, -31.697739, 44.661118, -2.0326402, 46.769676, -22.405367, 47.756012, 7.9477787, 18.250235, 28.98381, 19.106691, 31.788456, 44.134296, 9.837776, -5.548861, 9.248742, 5.025196, -7.170146, 16.822647, 30.904768, -11.454121, 2.8200958, 45.189255, -47.68239, -31.556616, -27.454576, -8.109993, -22.960342, 34.982147, -20.257809, -36.055, -28.507612, 15.3559475, -25.589075, 46.29627, 27.874113, -2.3586626, -19.035288, 46.281574, -38.53038, -9.136727, -41.657127, 20.009525, -49.12756, 15.5407095, 36.79244, -7.1792297, -26.505068, 3.2700121, -24.918865, -42.379017, 8.290003, 40.83214, 15.226595, -2.1630929, 22.192219, 40.18269, -28.402205, 17.068417, -24.652664, 35.01961, 32.612473, 34.826115, -25.3796, 15.630849, 2.7914145, 10.425925, -33.388153, -39.421566, 38.488293, -11.703528, -24.235086, -24.423758, -33.65738, -45.802116, 20.37659, 9.975364, 46.591873, 30.084646, 26.071348, 36.820568, -40.602684, 46.129913, -19.656206, -45.001022, 12.468425, -38.338436, 19.467169, 2.1429548, -49.932816, -16.064535, 5.4957175, 26.872522, 47.22126, -38.49015, -9.346636, -15.083169, -33.9357, 37.339245, -22.75131, -26.375341, -49.313393, -36.109104, -40.226177, -44.449646, -12.919495, -46.246273, -25.251703, 10.465865, 44.225277, 18.177385, 43.48533, 29.15927, 27.36567, -25.067677, 38.682037, -19.907686, -29.48532, 7.6711164, 33.047928, 26.612247, 12.630455, -10.446119, -44.609188, 25.4607, 34.32933, 11.781093, 21.6851, 45.446465, 31.049229, -19.7296, -47.98356, -22.724695, -13.884918, 20.81162, 43.443974, -40.699524, -9.998084, 17.713615, 34.32163, -43.672134, 21.923594, -49.84672, -23.82625, -28.935364, -32.06071, -1.3000214, 42.269638, 9.24664, -37.223637, 27.48553, -37.351566, -20.982544, -23.419367, -48.679497, -49.86369, -15.103854, 2.3013034, 25.910238, -41.600662, -22.743288, -19.980015, -43.90411, 30.342438, 32.236805, 4.6266446, 39.264202, -32.63228, 16.181074, 12.68794, 34.671535, -23.388393, -18.423508, -45.097458, -2.7676394, 30.206686, -35.27305, 20.777147]
cc 85c6056f72a6b91fe3bb7863f7141d2f50f966e4b47763104075d272af8c5f96 # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]
cc 6c75400b7c4dcaa0120972ce96eada24bb9a020f771f489d973f04cf7a8fc484 # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 12.132588, 36.389793, 44.222073, 11.051843, -39.46859, -32.652737, 37.27305, 43.1858, 14.818085, 47.277573, -4.5576797, 20.435364, -17.869621, 8.565275, -47.076046, 9.853658, 45.15765, -39.391212, 39.185513, 50.0798, 35.82915, -28.816013, -34.722176, -32.892273, -0.21254167, 12.997923, -40.854458, -47.819923, 20.927723, -43.280304, -18.001894, 9.091119, -18.140648, -21.633745, -20.628742, -7.3853645, -42.086502, 43.586082, 7.1444335, 28.666245, 10.895854, 16.542568, -49.17738, -6.032213, -46.182545, -6.9888473, 46.144405, 32.001637, -11.182925, 19.857529, -30.824213, -44.299374, -22.995352, -22.086382, -30.631557, -28.227184, -23.654264, -27.647081, 33.615875, -15.847933, -13.617885, 49.445724, 36.733383, 12.594828, -11.281194, -43.34719, 38.525322, 26.271828, 21.236029, -19.471148, -27.439333, -8.07385, 17.050514, 37.492096, -10.017692, -18.058159, 17.78233, -41.950577, -46.955215, -23.982752, -34.881664, 9.904279, -2.3816602, 10.901946, -1.308817, 10.82935, -36.47463, -14.721006, -13.099718, 12.302225, -30.274286, 14.074315, 41.543686, 5.9755635, -46.989166, -11.165659, 11.690679, -10.763054, 41.702087, -41.282093, -48.16655, 36.217785, -12.343993, 27.447716, -6.974723, 0.7732652, 3.872793, 37.187916, -49.548954, -18.03775, -18.669811, -1.4579794, 41.074574, -24.442486, -9.518786, 35.581635, -14.413731, 10.890216, 6.954555, -4.4162846, 46.954556, 5.643275, 29.59645, -23.17493, 3.115279, -32.973534, 35.120083, -39.207912, -10.857614, -17.098047, 45.14072, -37.071423, 19.840054, 48.414116, 27.808372, 29.463568, -0.08634639, -25.49661, -32.12414, 26.757723, -27.53453, -21.64966, -30.595224, 29.48856, 19.23135, -46.507534, 41.348007, 19.535263, 22.308811, 8.209455, -6.8908343, 10.751941, 9.189699, -0.001981474, -48.210255, 31.567963, -15.053722, -7.44673, 0.1782902, -36.531975, 1.7673457, -29.389248, 21.835798, -27.003855, 10.311737, -10.947969, -35.20308, 41.584442, 15.470946, -43.439705, -44.327866, -47.35727, 49.992275, -38.403652, 35.862488, 10.370646, 11.967685, 32.335167, 31.127691, 17.002134, 45.956703, 34.962177, 19.904732, 13.925583, -13.751666, 13.691076, -23.738312, 46.33687, -3.7080483, -38.860012, -35.988533, 47.905018, -29.546127, -45.96983, 43.912853, -48.729053, 10.0241585, -14.205436, -3.7115045, 12.163462, 35.895363, -32.618782, -11.89443, 7.1218615, 12.388838, 7.654014, -12.793643, -23.103441, -37.73257, 19.643778, -11.271556, 7.4793186, -49.409424, -15.348118, 26.819782, -17.303635, 39.526997, 14.747623, -43.128704, 14.352604, 41.595985, -26.057705, 43.588512, -46.30518, 10.824475, 38.42548, -0.7619881, 33.701416, 33.014896, 39.495, 10.591338, -36.90345, -25.150137, -3.424798, -17.051199, 30.529348, 41.272198, 39.630898, 47.588764, -42.239704, -43.278725, 16.668232, -25.61335, 36.8314, 35.300903, 0.497268, 8.980502, 23.173628, -12.052752, 36.568565, 45.960903, 21.987724, 15.569539, 26.569004, -15.698965, -23.741295, 46.34894, -48.34519, -16.73409, 4.798172, 41.597427, -17.904663, 14.862669, 5.803273, 14.630004, -48.141644, 31.490318, 18.03832, 9.557964, 12.449736, 21.741655, -12.834744, -1.0789651, -3.021928, 11.728263, -44.22244, -24.47842, 45.024776, 42.535625, -22.235, 28.044891, -7.94986, -33.450783, -26.14239, -45.180336, 39.915062, -1.0474228, 19.26681, -28.999025, -2.6363816, 24.273973, 40.832615, -16.70508, -47.562912, 46.234913, 29.351503, -41.833717, 21.067692, 12.181457, -0.6626018, 17.603952, -7.5360703, 25.465542, -12.988388, -6.9245415, 37.540295, 32.722122, -2.585424, 29.5797, -13.670121, -20.963812, 2.7690446, -4.708485, 32.553375, -16.828384, -28.272429, -46.073784, 46.082752, 39.897858, -15.634891, -42.61176, 12.340191, 20.719318, -44.01994, -37.397514, -46.194828, -48.353207, -15.4082775, 22.029692, -48.470505, 40.59896, -42.27035, 33.33279, 44.08435, -19.285421, -34.97491, -4.2947435, -28.612545, 47.71645, -31.804585, 32.622574, 2.7046359, -35.754704, 41.950523, -1.0963814, -49.79878, -30.814272, -8.914003, 21.26149, -1.330743, 31.6926, -7.9359593, 13.153566, 10.248735, -37.354336, -42.713787, -38.171017, 42.255856, -15.532154, 38.58112, 2.93462, 35.05488, 28.562145, -27.485615, -16.478281, 40.23814, -44.728245, -10.799299, -13.574599, -25.989988, -42.50745, 45.441166, -44.177513, 18.82882, -8.365803, -38.983902, 17.171268, -34.259483, -19.771988, -32.48962, 35.268463, 2.253426, -16.84561, 46.6736, 12.687439, -23.386368, -6.3646092, -42.450912, -15.94731, -39.31254, 49.853466, -31.198696]
cc e1066782507470e0b25a0a327857ccd8e39566dddfd9d9f853929c4c04403a9c # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]
cc 8eb76015afe2f88ed365a73a27d450794c99bffd52cefd9f235cca822f99f90d # shrinks to original = []
cc 99b3d4922ea6b104ea43dbc333ef1282a1e592d0360fbef0735e95a445f9d271 # shrinks to original = [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]