# 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 dd29d38bcbb5dd891fb79b86d4eb8fcbb7c653b7e1653f663e81e568798b7308 # shrinks to initial = [27.957209, 92.7598, 77.39157, 70.68363, 54.98502, 44.03077, 27.332134, 57.047806, 7.6040854, 8.481839, 18.306007, 74.09069, 76.97954, 97.61303, 58.802395, 63.68884, 49.389107, 79.67581, 72.42425, 59.566982, 80.01069, 43.66012, 78.43396, 54.686333, 31.894695, 16.34277, 65.32467, 66.86975, 60.554913, 56.405067, 24.314032, 94.04307, 61.316147, 90.68017, 76.73458, 10.162986, 65.557396, 55.688725, 4.43374, 5.122259, 42.11755, 89.36766, 56.850693, 20.773298, 47.526318, 38.33873, 33.43832, 62.604847, 71.3614, 24.925825, 78.691185, 8.633884, 19.239029, 91.401596, 53.39243, 36.460945, 91.864624, 36.06204], update = [175.04463, 150.07246, 132.67024, 147.10005, 187.85158, 133.6883, 107.07761, 167.2935, 176.4494, 118.53345, 136.27441, 120.37719, 123.222725, 148.37154, 147.36613, 128.46634, 144.50014, 156.83784, 112.50599, 152.00325, 169.16646, 195.61774, 188.14575, 101.19364, 145.65273, 131.79976, 164.42502, 117.2254, 175.82808, 126.635475, 107.811516, 157.05156, 118.28533, 144.19658, 157.94012, 152.59557, 127.93881, 140.64323, 111.61688, 144.3752, 160.99083, 150.39676, 199.17981, 178.25427, 150.36263, 144.80655, 109.44947, 110.28771, 130.80876, 148.79141, 190.17517, 161.37306, 183.14452, 157.46815, 180.31462, 127.971695, 178.51479, 165.23009, 113.562096, 124.192345, 176.22917, 168.1416, 154.35924, 189.48155, 197.35425, 170.60417, 160.167, 101.51992, 185.84819, 119.633415, 107.086006, 184.20073, 132.75252, 114.36439, 115.82019, 181.03145, 103.902466, 156.24443, 155.59439, 168.11412, 130.42216, 143.2728, 192.09503, 124.82992, 110.383064, 182.01273, 126.41294, 151.88872, 138.0653, 198.20718, 115.8282, 175.39651, 121.32966, 103.60495, 100.80432, 192.99423, 179.62971, 170.54504, 123.84971, 101.90432, 186.87611, 186.52141, 151.00963, 176.59999, 103.91831, 105.6405, 185.33466, 135.90999, 168.2923, 159.45093, 139.23701, 172.51514, 123.68316, 100.22631, 192.7361, 113.10936, 190.09897, 102.781265, 134.52673, 158.392, 159.72151, 154.81573]
cc a6afdebd5334ae30a12e1c320aa57d5337b2964ea90e032c72895b01e4e09091 # shrinks to initial = [9.889292, 42.648476, 22.645359, 4.3653717, 64.4271, 27.826023, 41.92254, 61.591072, 20.765461, 60.388493, 71.95117, 76.61039, 85.08423, 23.249493, 82.5272, 1.3250662, 66.23719, 19.51434, 84.619934, 62.824505, 91.954926, 8.428798, 59.20371, 34.728695, 5.631578, 34.63431, 75.25731, 76.09119, 99.956375, 5.1851172, 59.20426, 4.5694995, 97.12015, 92.87658, 9.089887, 12.07613, 13.372633, 30.590696, 82.20246, 96.962395, 23.089973, 28.762451, 44.58483, 77.48182, 39.654705, 35.02346, 6.769307, 34.301636, 93.24517, 90.38515, 8.315038, 65.696434, 89.85611, 85.58052, 1.9680381, 52.096424, 99.80157, 96.88754, 61.87791, 30.77432, 59.98959, 66.267265, 22.599594, 33.669113, 28.725405, 34.45537, 51.719154, 19.286562, 38.612507, 25.298496, 53.2555, 3.7451453, 77.35002, 23.622147, 21.93302, 46.708893, 70.13162, 9.358135, 90.15962, 70.69988, 91.11494, 70.18951, 59.729897, 95.586784, 36.93861, 86.04408, 14.159871, 8.55465, 75.50091, 39.95469, 19.518223, 97.69965, 85.39693, 73.98738, 10.528875, 52.946747, 7.6684504, 64.50203, 13.705214, 10.266946, 89.7956, 12.719666, 21.899246, 11.791634, 28.881477, 87.9811, 80.24701, 61.683434, 9.186398, 5.4545355, 42.688297, 57.514977, 1.3072929, 41.165844, 10.096587, 40.283627, 84.53079, 12.433174, 57.62021, 70.13559, 74.42845, 79.529335, 2.2878406, 65.049, 37.648853, 71.71557, 18.86754, 34.731865, 7.506178, 15.413282, 7.927889, 98.95004, 92.28323, 18.003023, 68.26636], update = [131.67535, 184.83171, 185.43468, 164.30276, 121.89495, 144.64633, 139.11873, 191.39331, 160.72897, 182.19623, 194.95387, 164.61261, 150.21861, 142.54573, 135.8723, 131.99057, 146.55174, 180.71939, 123.94982, 143.32234, 170.5677, 146.37888, 142.22853, 170.46414, 112.88842, 133.65436, 167.81657, 146.81802, 133.69832, 146.52039, 137.97987, 197.66537, 183.54402, 167.86082, 178.59053, 187.99988, 165.15508, 189.81123, 172.43912, 112.39961, 167.20233, 126.22938, 133.58856, 141.76039, 158.06644, 127.164764, 192.936, 120.216354, 199.25381, 113.1766, 111.943115, 183.93414, 162.85678, 100.27519, 147.57567, 163.64853, 167.91316, 124.268585, 117.26822, 162.38017, 102.44619, 165.91483, 148.74065, 177.12585, 123.86019, 120.9124, 107.48547, 140.32545, 105.23923, 128.18892, 154.4728, 177.5855, 125.99922, 126.42054, 150.65895, 184.3025, 109.626175, 176.94269, 192.6751, 199.77383, 135.2504, 171.58981, 188.38908, 151.9301, 172.5646, 128.83444, 147.79007, 181.07455, 143.15012, 130.75443, 177.92792, 138.05293, 119.23563, 146.8799, 148.44733, 120.47015, 183.48882, 130.37877, 175.34396, 164.68365, 179.23094, 149.77136, 170.27592, 189.94353, 121.32797, 131.34981, 181.55841, 152.90446, 147.9777, 183.29047, 104.11763, 168.53972, 101.37017, 191.03375, 164.63182, 189.94348, 140.85713, 194.64384, 129.90994, 119.27904, 144.60747, 189.45757, 111.43844, 163.38632, 152.68163, 137.28415, 105.493416, 149.93602, 199.20804, 150.64877, 120.4706, 196.66039, 134.20462, 151.1285, 189.38095, 190.08934, 145.71136, 126.01523, 193.14738, 144.18076, 175.35204, 151.26727, 191.29933, 153.81798, 161.85663, 130.67114, 101.91673, 166.05922, 121.08427, 122.42362, 129.19067, 158.2827, 195.1169, 143.67067, 104.57898, 156.86766, 175.1388, 199.59842, 187.10542, 123.092896, 132.98972, 151.53943, 152.45393, 105.56954, 132.24193]
cc 641b0d4d7b76135f662570d6631d9be130638475896d360faeae1245569043a8 # shrinks to cycles = 1
cc 40f129d647f8a315fc20bed94e640b8cc515584dd3b29f6904230fa77c604017 # shrinks to data = [-1.5784328, -0.0010436574, 1.3555919, -4.474804e-28, 3.9644167e-32, 0.080033034, -2.980603e-20, -4.419936e-39, -8.542938e21, -5.497521e-13, -0.0, 1.143092e-5, 111192060.0, -1.0583486e-38, -1.8660043, 0.0, 9.1944976e-17, -5.948822, -1.0198716e-38, 3.5597612e-17, 0.0, -0.0, -796839.6, -1.6492582e25, 1062507700.0, -5.627877e-39, -1.8101496e16, -1.1093721e-6, -0.0016378055, -6.981642e-39, -3860560300000.0, 7.873914e-22, -126004940000000.0, -0.0, 1.0606506e27, 1.3862386e-30, 5.2785454e33, 1.4987779e-21, -7.110081e32, -139571040000.0, 1.7680175e-29, -4.110984e-39, -2.332106e-14, 8.375482e-14, -5.713586e-15, 5.3542103e-35, 9.698827e-30, -1.07031224e-29, 0.024078408, -1.6317451e-18, 1.3796654e-38, 0.0, 17584745000000.0, 5.54645e-40, -5.4523892e-24, 1.2325246e35, -1.1058655e-17, 2.8127867e-14, 2.1404365e-23, -1.1209796e-38, -1.27671465e23, 4.392862e34, -5.9977917e-21, 0.0, -125.42345, -1.3047567e-9, 630.2589, -0.0, -4.2871365e-10, 4.498549e-20, -5.331253e-35, -0.032664496, 3.8873938e-28, -1.1483747e-38, 4.203216e-5, -1.081365e38, -5.5014958e-36, -4.808448e-13, 1.16832704e27, -4.17566e-40, 2.5708618e30, 1.6307898e-11, -1.8974025, -1.3844764e37, 2.787023e-39, -1.1734459e-20, -1.39895e-17, -4.745869e-24, -1.407038e-39, 1.3719782e18, 8.559606e-25, -0.0, -2.243852e-39, 0.0, -9.339832e-15, -3872834800000000.0, -5.2875668e-33, 2.872104e-39, -8.520307e-23, 1.1241322e-27, 1.9042557e-31, 1.943376e29, 5.265938e-25, 1.878766e-39, 9.535707e-38, 3.470576e-39, -245355740000.0, -3.4550266e37, -1.23976e-21, 1.4915914e-26, 1.0508318e21, -4.8015204e-17, -1.3715729, -1.1550154e-12, 1.5401988e-14, 1.640018e-7, -21164700000.0, -2.4753502e-23, -3.263492e24, 1.4867957e19, -1.117032e-38, 0.0, -1.1441706e-38, -2.6205002e21, -3.176689e-7, 7.376988e24, 0.0, 224.79141, 4.596901e-39, 8.168918e-34, -1.4079095e18, 5.370279e-39, 0.0, 1.4464734e-15, 0.0, 1.766201e-39, 0.0, 1.0205588e32, 0.0, -4.7574205e30, -3.196695e-30, -3.4652425e22, -5.5965567, -5.699065e-39, 0.0, 3.244238e-12, -2.396088e35, 8.730794e-31, 5.688919e-38, 5.015194e-18, -226.40063, 4.968962e35, -2.8621212e-29, 0.004976374, 2.426888e-12, 8.980754e-6, 3.2348224e-35, -0.0, -0.0, 151.40837, -2.8200223e20, -4.8137417e21, 5.975951e-39, 1.8596787e-30, 0.0, 7.203345e-39, -2.2981358e-36, 3.624789e-27, -2.6533088e16, -0.0, 1.3672094e-15, -5600.79, 8.588243e-39, 0.0, 2.0739406e-23, 1.2630481e-34, 0.0, 7.9147233e-25, -0.0, -107924.84, -2.1242329e36, -8.3082385e-29, -0.0, 6.7904754e-14, 0.0, 4.080078e-7, -1.021361, 0.00011585987, 2.1634496e-28, 9.5927244e-20, 9.153581e-39, -4.024099e-39, 7949017000.0, -2.3723939e-20, 0.0]
cc 8ff066457420c2eaf73154c1ceec35c3294ca704c11bccb16c153807ea0fe2e2 # shrinks to initial = [74.556114, 42.36342, 63.638107, 45.10862, 81.51218, 40.042614, 54.46317, 85.84402, 66.16717, 22.015474, 58.348564, 39.432697, 68.27298, 53.01775, 56.420982, 30.508623, 18.203613, 60.7112, 53.891064, 82.325035, 61.312656, 90.39409, 66.34651, 68.052155, 93.30262, 9.044669, 24.116417, 24.721811, 26.201868, 40.91823, 10.916524, 96.34068, 75.83909, 45.556416, 8.236183, 54.914806, 80.186646, 86.71743, 47.163265, 68.471725, 37.93565, 56.333572, 68.61484, 66.60591, 89.55362, 70.229454, 1.5876826, 48.672604, 38.725414, 24.486704, 93.68734, 2.9520824, 30.9786, 7.170997, 95.45048, 91.96711, 29.170702, 81.35174, 57.8021, 66.74756, 70.54508, 6.1598754, 78.20956, 81.3944, 86.26127, 92.94964, 32.673397, 26.590553, 45.950333, 28.09452, 32.91339, 42.979454, 87.18474, 65.77463, 59.308006, 6.469478, 58.35932, 17.610786, 59.26282, 34.654915, 41.208324, 22.919024, 99.08075, 74.46774, 50.070908, 19.069305, 78.41087, 91.15382, 62.501247, 12.250763, 24.063908, 98.04694, 82.73162, 66.53958, 64.5703, 49.3858, 26.988945, 23.863785, 17.260967, 1.7086513, 42.4699, 77.49287, 76.4484, 1.5369102, 74.52068, 26.78959, 81.21364, 2.9844306, 71.93374, 62.55852, 91.33925, 12.603392, 94.05933, 16.584154, 44.93417, 71.23763, 99.31559, 63.01874, 88.621864, 35.13031, 85.80589, 13.459938, 49.45409, 13.75234, 22.276814, 30.22413, 12.889639, 42.992367, 35.55039, 53.342575, 43.902096, 82.08674, 52.23594, 58.365894, 38.6168, 51.639656, 4.2109256, 91.78347, 44.911983, 31.692835, 81.05323, 51.963074, 52.316402, 35.07729, 2.7533698, 63.715015, 74.54345, 26.170454, 61.58752, 69.356964, 88.60916, 28.022316, 65.54895, 82.314705, 16.00858, 54.582386, 81.99716, 13.164556, 13.093089, 68.03569, 11.593829, 81.86387, 96.22139, 73.248085, 69.92375, 13.1672125, 5.421166, 11.221154, 83.31878, 76.57192, 78.49471, 49.63663, 37.946922, 98.54994, 55.17709, 16.486954, 4.960624, 84.69107, 84.60063, 50.759995, 67.36629, 54.004555, 80.55807, 17.390152, 58.999454, 77.22877, 18.689882, 83.763916], update = [139.56427, 158.3126, 167.71405, 121.04976, 145.76532, 103.82099, 161.43727, 121.963264, 157.79912, 142.30649, 184.26736, 177.35834, 184.16595, 187.64693, 120.18261, 195.99014, 155.67711, 191.72734, 119.08956, 129.28075, 151.16258, 180.86444, 199.2795, 121.08318, 109.71441, 160.61012, 195.31961, 100.72141, 127.40053, 194.39127, 120.24844, 114.66577, 115.94449, 150.86359, 198.66707, 152.54015, 131.31303, 121.06917, 199.37494, 151.5549, 188.77649, 155.38382, 110.814995, 122.84477, 190.63443, 116.26436, 139.08891, 107.01472, 129.28656, 145.88802, 198.60464, 182.62947, 186.09505, 176.95995, 178.1555, 115.47611, 109.840965, 127.3834, 184.60487, 146.61086, 168.60458, 167.45001, 162.35008, 128.05315, 118.78818, 126.90053, 114.37965, 126.07677, 160.92828, 139.3991, 164.26817, 129.64459, 177.5542, 193.831, 107.47721, 179.99892, 175.45876, 100.84782, 144.01031, 115.22392, 188.32607, 146.93358, 103.441505, 131.73897, 155.55913, 113.29351, 100.11955, 138.7525, 186.11548, 132.8445, 103.80935, 158.45607, 194.65083, 180.54268, 143.11058, 154.92014, 126.66075, 167.60818, 131.07938, 143.28423, 116.524765, 183.19583, 115.138756, 137.17926, 133.45892, 119.142044, 195.05008, 115.18452, 194.03944, 163.45859, 114.06397, 124.43002, 143.21526, 139.83408, 167.65941, 186.84912, 171.01073, 127.58511, 117.366264, 120.29754, 199.01332, 131.64186, 195.39029, 151.66797, 141.39778, 152.32841, 104.97111, 159.51099, 136.54453, 109.218636, 151.92679, 138.62949, 181.65851, 144.25804, 198.62097, 106.47338, 115.951454, 123.52824, 198.03462, 194.33534, 167.65202, 176.49083, 147.44043, 115.63704, 173.13066, 110.69863, 147.56256, 110.04701, 108.34375, 152.823, 174.71635, 101.69786, 110.20995, 102.79931, 116.75487, 120.827225, 156.66035, 131.39511, 177.06424, 106.46151, 107.839516, 185.65088, 139.1754, 194.05396, 109.25228, 157.59875, 166.86844, 194.75545, 142.44206, 165.56778, 162.10176, 175.36552, 194.92867, 118.305725, 185.47601, 104.166664, 157.45905, 169.29988, 147.16425, 167.58385, 195.44594, 187.03712, 130.60045, 188.19061, 148.62271, 113.45431, 187.2518, 102.26809, 198.96138, 171.87877, 150.71873]
