# 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 b40a145d80678278744a05a61eaeb1290f87c26f4b76a3f1fc4c01d40a1e0a72 # shrinks to asterism = Asterism { arena: [StarNode { star: Star { representation: Affine { basis: [[1.0, 0.0],  [0.0, 1.0]], shape=[2, 2], strides=[2, 1], layout=Cc (0x5), const ndim=2, shift: [0.0, 0.0], shape=[2], strides=[1], layout=CFcf (0xf), const ndim=1 }, constraints: None }, dnn_index: DNNIndex { layer: Some(0), remaining_steps: None }, star_cdf: None, cdf_delta: 0.0, axis_aligned_input_bounds: None, output_bounds: None, gaussian_distribution: None }], node_type: [None], parents: [None], feasible: [None], loc: [0.0, 0.0], shape=[2], strides=[1], layout=CFcf (0xf), const ndim=1, scale: [[1e-5, 0.0],  [0.0, 1e-5]], shape=[2, 2], strides=[2, 1], layout=Cc (0x5), const ndim=2, safe_value: 1.0, input_bounds_opt: Some(Bounds { data: [[-3.5000000000000004e-5, -3.5000000000000004e-5],  [3.5000000000000004e-5, 3.5000000000000004e-5]], shape=[2, 2], strides=[2, 1], layout=Cc (0x5), const ndim=2 }), dnn: DNN { layers: [Dense { aff: Affine { basis: [[0.0, 0.0]], shape=[1, 2], strides=[2, 1], layout=CFcf (0xf), const ndim=2, shift: [0.0], shape=[1], strides=[1], layout=CFcf (0xf), const ndim=1 } }, ReLU { ndims: 1 }, Dense { aff: Affine { basis: [[0.0]], shape=[1, 1], strides=[1, 1], layout=CFcf (0xf), const ndim=2, shift: [0.0], shape=[1], strides=[1], layout=CFcf (0xf), const ndim=1 } }, ReLU { ndims: 1 }, Dense { aff: Affine { basis: [[0.0]], shape=[1, 1], strides=[1, 1], layout=CFcf (0xf), const ndim=2, shift: [0.0], shape=[1], strides=[1], layout=CFcf (0xf), const ndim=1 } }, ReLU { ndims: 1 }, Dense { aff: Affine { basis: [[0.0]], shape=[1, 1], strides=[1, 1], layout=CFcf (0xf), const ndim=2, shift: [0.0], shape=[1], strides=[1], layout=CFcf (0xf), const ndim=1 } }, ReLU { ndims: 1 }, Dense { aff: Affine { basis: [[0.0],  [0.0]], shape=[2, 1], strides=[1, 1], layout=CFcf (0xf), const ndim=2, shift: [0.0, 0.0], shape=[2], strides=[1], layout=CFcf (0xf), const ndim=1 } }, ReLU { ndims: 2 }] }, max_accept_reject_iters: 4, num_cdf_samples: 100, stability_eps: 1e-10 }