# 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 13bb98fcd3c640eeb76d78c5f129218c26c7eada6382a78d01df258b12d2fee0 # shrinks to q4k_data = [0, 0, 0, 124, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 11, 133, 130, 15, 127, 235, 225, 148, 204, 76, 72, 137, 56, 132, 177, 250, 79, 226, 37, 157, 108, 66, 250, 210, 67, 29, 128, 79, 79, 75, 46, 8, 131, 238, 150, 204, 211, 59, 160, 52, 106, 76, 106, 171, 204, 195, 54, 225, 95, 104, 124, 114, 246, 7, 225, 42, 152, 67, 131, 231, 249, 192, 205, 28, 20, 54, 127, 241, 121, 106, 227, 187, 1, 29, 38, 67, 105, 94, 144, 174, 65, 37, 53, 128, 38, 176, 214, 196, 165, 102, 185, 161, 188, 48, 97, 237, 145, 172, 52, 179, 164, 238, 221, 32, 199, 16, 237, 76, 129, 45, 175, 38, 1, 135, 80, 194, 159], activations = [9.383342, -6.802879, -6.0026402, -0.42294633, 1.0828689, 7.7932625, -7.9573603, 0.07676715, 5.784038, 0.3904822, 0.8460307, 9.125277, 2.6019895, -3.8666759, 6.7492075, 1.1432981, -9.452255, 4.325425, 9.831009, 4.754569, 4.2306857, 0.8578764, 3.2817864, 2.0445855, 5.3281417, 1.0562986, -8.986797, 1.3572106, 2.0940166, -8.232736, -8.653115, 6.895207, -3.9605665, 4.109763, -9.013442, -1.2818315, 0.52887636, 9.668922, 0.8136703, -4.1417704, -4.246695, -7.38078, 6.9449263, 8.7060585, -2.1094916, -9.491919, -2.1099079, 7.344096, 5.653983, -7.8554564, 6.467833, 2.2427998, 4.3022294, -5.0253487, -8.370904, -8.198134, 8.392618, -9.723182, -6.6403866, 3.9262128, -7.335135, 4.861939, 0.18300119, 3.7239778, 8.586865, -8.483407, -4.316872, 8.529019, 4.910434, -1.6241138, 0.45215422, 6.298777, 3.0029109, 3.1940165, 2.0572264, -7.974299, 1.5443999, -4.0343933, -3.9346268, 7.233532, -8.007924, 5.2838697, 0.21727514, -5.1663246, -2.5496712, -4.401078, -4.7518682, -2.80292, -8.989348, -8.874088, -0.48284337, 8.232638, 6.0209384, 1.3180695, 0.80832386, -8.879337, -1.1782039, 5.0825944, -9.695541, 7.8450465, 8.468302, 7.1729126, -8.058103, -0.14237589, 7.2983227, -1.1007518, -5.9117923, -5.6729484, -5.46576, -7.737482, -1.5674946, -2.4665017, 8.910336, -0.19952302, 4.3499804, 8.28971, -1.9876688, -2.4227822, -1.3095149, -8.809307, -1.807053, -8.83064, -9.301188, -4.6126842, 7.8526344, -0.82264787, -5.578768, 2.5449257, 4.6849666, 8.185872, -4.721963, -5.1653843, -6.573927, 8.312552, -7.3216767, -9.9221, -5.999039, -5.607129, 0.89878964, -4.7229114, 4.673195, -0.06023418, 6.894885, 3.2808, -1.2961974, 6.0384617, -9.845218, 5.166748, 7.710346, -6.4126816, -8.434924, -4.3241844, 2.2868812, -3.2355056, -4.89959, -3.1700118, -1.7415723, 0.041012697, -7.517785, -5.7499228, -1.7055871, -5.1092315, 9.35817, 3.0853686, -0.53217226, 9.307872, 4.797384, 5.25074, -9.151422, -7.5800056, 9.229934, -8.748748, 0.25087658, 6.340485, -4.8341813, 4.9661026, -9.810065, -7.652768, 8.5385475, -9.223385, 7.1783504, 0.6558688, -4.923207, -3.2565768, -2.1807706, -2.5747454, -3.906631, -0.73249185, 4.8627915, 4.586259, -4.8198323, 9.120457, -0.6434815, 6.0668654, -4.279162, 7.471058, 4.1777587, 4.554142, 5.558805, 6.36312, -6.592631, 0.6665152, -8.121695, -2.5339775, -1.8253077, -4.547837, -9.734572, -4.952774, 6.674428, 0.38145974, 7.03217, -0.23225974, -8.177561, -9.938717, -4.8188562, -3.5121827, 7.0730453, 9.723768, -1.6867579, 5.0909286, -0.048559293, -7.691797, -3.554056, 8.166434, 0.517323, -2.3795412, 7.6498485, 0.5323762, -6.165209, -7.344196, -4.2380037, 4.9963694, -0.8765634, 3.9883902, 0.5363849, -5.4167624, 7.2697973, 5.0541887, -5.6563606, 3.3324924, -5.263275, -1.5185754, 8.336389, -1.6794885, 4.234535, -8.438602, -7.2120366, -4.116511, -3.4469357, 5.499569, 5.156006, 8.237019, -0.8318179, -2.8856583, -8.751927, -4.751966]
cc 72368eddd9a28170248ca163d25dfde5a5d1f42d9c5f029b9dbb861e327445d8 # shrinks to blocks = [[0, 0, 0, 124, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 225, 40, 60, 192, 113, 19, 62, 59, 87, 114, 235, 121, 114, 62, 83, 58, 198, 184, 167, 66, 171, 124, 171, 72, 153, 34, 92, 159, 240, 80, 237, 214, 148, 97, 201, 153, 122, 222, 244, 101, 247, 162, 157, 176, 142, 64, 228, 145, 168, 119, 44, 73, 100, 77, 14, 75, 42, 222, 2, 199, 24, 104, 103, 209, 154, 229, 135, 97, 132, 132, 97, 113, 217, 175, 103, 101, 126, 213, 220, 40, 66, 65, 191, 109, 93, 109, 209, 202, 109, 194, 236, 15, 165, 9, 248, 47, 169, 231, 55, 139, 156, 203, 219, 226, 166, 128, 34, 106, 73, 121, 5, 86, 70, 83, 204, 84]]
cc e19d26e30db3b83bcd93c6d615358aa098e0b85ef5da8e59165a7feabc70bf78 # shrinks to q4k_data = [81, 40, 71, 35, 242, 38, 58, 37, 225, 42, 20, 120, 6, 164, 214, 96, 233, 216, 236, 99, 64, 216, 147, 104, 136, 132, 147, 89, 197, 63, 14, 25, 203, 131, 23, 15, 53, 146, 147, 67, 66, 199, 31, 44, 79, 240, 247, 110, 109, 84, 140, 141, 136, 150, 80, 255, 238, 33, 142, 158, 142, 47, 184, 203, 182, 165, 171, 245, 29, 233, 147, 8, 175, 225, 202, 71, 167, 96, 157, 158, 247, 166, 89, 29, 225, 191, 119, 182, 176, 235, 167, 109, 67, 124, 58, 15, 183, 232, 181, 243, 255, 196, 18, 216, 43, 120, 40, 190, 87, 188, 152, 151, 7, 39, 158, 240, 213, 119, 60, 28, 231, 131, 146, 18, 76, 225, 74, 208, 127, 99, 186, 242, 212, 2, 163, 221, 82, 235, 66, 80, 156, 118, 104, 37], activations = [-7.7529535, -2.6152718, -7.8542166, -9.641207, -8.063168, -4.50364, -2.6969478, 7.0084734, 7.982852, -5.545074, -6.6873946, -9.312518, 1.7578527, -1.0635492, 3.1318488, 4.8786545, -1.6349611, -6.723203, -1.0332887, 6.555202, -7.628916, -8.233791, -9.589027, 0.6480127, -1.6057324, 7.282456, 3.2371814, -4.6169915, 8.185476, 4.0387325, 1.4484687, 0.9593548, -2.527447, 2.7845035, 1.5125678, 6.1086555, 8.205747, 3.2213032, -0.2673495, -3.3613954, 1.6543657, 0.33230573, 7.434455, -8.761398, 6.454877, 5.270042, -5.926232, -8.96992, 0.41533604, -0.5711438, 5.1500306, -7.262469, -6.195001, -8.745785, -6.8355374, -7.965954, 4.68199, 1.2699112, -4.496545, 9.831607, -5.4047656, 7.2237844, -8.478144, 8.168491, -8.950932, 1.2283357, -8.1364765, 6.9323545, 5.0023866, 5.975064, 1.1732187, 3.186607, -6.402026, 4.136569, 4.783406, 5.417238, 5.1502595, -3.5398324, 2.1226115, -1.6608629, -1.9749188, 5.055555, 2.6600382, 4.0768228, -9.484338, 0.47761187, -1.4965485, -0.899559, -7.5523663, -6.978442, -2.976755, 9.5288315, 8.416862, 9.451993, 7.5300655, 4.673375, -1.685974, -7.825447, 9.260599, 9.164809, 7.5542755, 1.6267258, 5.0173125, -2.896277, -2.5049686, -7.0296288, -4.1383395, 2.9476871, 2.4841886, -0.95573115, -5.9527793, 9.857461, 6.9963264, 7.4550986, -3.5413766, 4.223191, -7.772909, -0.5463694, -7.943203, -2.8358498, 7.177274, 2.0159643, 4.255718, 2.832593, -8.709433, 6.822996, 6.5323687, -6.970566, 6.2260013, -9.808325, 1.2721633, -9.429568, -1.9826938, -4.1004047, 5.3620462, 0.6500956, 3.398606, -7.2525244, 2.4423916, -9.362414, -6.9389863, 0.3984735, 6.2230024, 0.88867885, -9.386817, 2.8312922, -2.808561, 6.867534, -6.2040477, 8.189978, 1.2442681, 2.5598807, -5.5885906, -1.3460814, -3.383561, -7.5078483, -1.5000279, 4.4761767, 3.2726402, 6.2992454, -4.0893507, -1.3534416, -3.8713977, -8.636901, -5.5630903, 4.492852, -5.2385187, -8.521293, 3.5941753, -4.369455, 7.059398, 9.382466, 8.342858, 1.6714854, -9.608138, -0.87952363, -5.6450696, 5.449737, -4.445769, -5.288321, -9.766828, 4.188861, 2.9452407, -0.6512821, -0.66647327, -3.3838758, -1.4899757, 6.65066, 3.235531, 2.2208922, 7.0222588, -7.783274, -1.5161756, -4.7243433, -5.8324747, 8.242907, 9.820757, 5.132651, 3.2067444, -8.211841, 2.9373422, -8.26254, 0.8649029, -2.4716609, 7.974405, 8.853066, 3.4835625, -6.149282, -3.3757808, 1.2352384, -3.2735946, 5.8283467, 7.5067997, -0.5891505, -4.728567, -8.677398, -6.045202, 5.618961, -1.2424136, 4.025617, -0.89577615, -3.4246128, 1.0119928, -8.421815, 4.2183065, 9.931757, -8.068772, 6.588569, 9.903402, 9.7226925, 1.5417401, -2.6495502, 3.780045, 9.45939, 0.74928707, -7.507209, 3.8902092, -2.4019666, 0.46318623, 9.725648, 0.29230207, 9.317813, -7.9298286, -3.673744, -4.623105, -4.8133965, -8.3375845, 2.2911656, 4.2237806, -8.876205, 8.367779, -1.2848402, -3.9008245, -4.212346, -1.2705774, 2.7019172]
