# 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 eae2a5e6980754ffe02c6927e59416433d119508690470bd092f093cc45e2e41 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, kernel_format: OIHW, data: [[1.0]], shape=[1, 1], strides=[1, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[-1.0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3 }
cc 8425dd941354a42ad7c751a424f238ad4135742e95ceeaa89c1d89989a31c4b6 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NHWC, shape: [1, 2, 4, 2], strides: [16, 8, 2, 1] }, shape_out: BaseDataShape { fmt: NHWC, shape: [1, 1, 3, 2], strides: [6, 6, 2, 1] }, kernel_format: OIHW, data: [[[[0.0, 0.0],    [0.0, 0.0],    [0.0, 0.0],    [0.0, 0.0]],    [[0.0, 0.0],    [0.0, 0.0],    [0.0, 0.0],    [0.0, 0.0]]]], shape=[1, 2, 4, 2], strides=[16, 8, 2, 1], layout=C (0x1), dynamic ndim=4, kernel: [[[[0.0, 0.0],    [0.0, 0.0]],    [[0.0, 0.0],    [0.0, 0.0]]],    [[[-2.0, 26.0],    [109.0, -105.0]],    [[48.0, 4.0],    [-91.0, 60.0]]]], shape=[2, 2, 2, 2], strides=[8, 4, 2, 1], layout=C (0x1), dynamic ndim=4 }
cc e92d57eda5ead01a73fd085e7e1dfce6dcb45abef1168db6d8e0e4187acc1ede # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 2], strides: [2, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 2], strides: [2, 1] }, kernel_format: HWIO, group: 2, data: [[0.0, 0.0]], shape=[1, 2], strides=[2, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[0.0, 0.0]]], shape=[1, 1, 2], strides=[2, 2, 1], layout=C (0x1), dynamic ndim=3 }
cc 4ebcf1a575207bfa4409db9a28788cda456754cbae8e2d3db0a7413f035a81df # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [3, 8], strides: [8, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [2, 8], strides: [8, 1] }, kernel_format: OIHW, group: 2, data: [[0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0],  [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0],  [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0]], shape=[3, 8], strides=[8, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0]],   [[0.0, 0.0],   [0.0, 0.0],   [0.0, 0.0],   [-6.0, -78.0]]], shape=[8, 4, 2], strides=[8, 2, 1], layout=C (0x1), dynamic ndim=3 }
cc f233b62bbb5976a48272ff4b4bbf6d2a40403551a768f1c36dca5f9699a62b2f # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NCHW, shape: [1, 2, 2], strides: [4, 2, 1] }, shape_out: BaseDataShape { fmt: NCHW, shape: [1, 4, 1], strides: [4, 1, 1] }, kernel_format: OIHW, group: 2, data: [[[0.0, 0.0],   [0.0, 1.0]]], shape=[1, 2, 2], strides=[4, 2, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[0.0, 0.0]],   [[0.0, 0.0]],   [[0.0, 0.0]],   [[0.0, -1.0]]], shape=[4, 1, 2], strides=[2, 2, 1], layout=C (0x1), dynamic ndim=3 }
cc 05442618f7a07665e0a4a64539cc74aa3035f354a0ba0fddbe52991d397179c2 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [2, 2, 9], strides: [18, 9, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1, 3], strides: [3, 3, 1] }, kernel_format: OIHW, group: 3, data: [[[0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0],   [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]],   [[0.0, 0.0, 2.0, -122.0, -13.0, -123.0, -35.0, -33.0, 114.0],   [88.0, -32.0, -76.0, -93.0, 16.0, -50.0, 84.0, 33.0, 93.0]]], shape=[2, 2, 9], strides=[18, 9, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[[13.0, 102.0],    [-13.0, -9.0]],    [[61.0, 66.0],    [-122.0, 89.0]],    [[111.0, -38.0],    [-68.0, -89.0]]],    [[[39.0, 107.0],    [-26.0, 58.0]],    [[61.0, -96.0],    [-78.0, 2.0]],    [[11.0, 44.0],    [-2.0, -122.0]]],    [[[4.0, -98.0],    [33.0, 44.0]],    [[93.0, 83.0],    [-27.0, 85.0]],    [[104.0, 46.0],    [-30.0, 59.0]]]], shape=[3, 3, 2, 2], strides=[12, 4, 2, 1], layout=C (0x1), dynamic ndim=4 }
cc b352470f610a393f20cc2562fc0f19be76ff053247eea32a4cba0de31bffb1ee # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: CHW, shape: [2, 1, 1, 3], strides: [3, 3, 3, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [4, 1, 1, 3], strides: [3, 3, 3, 1] }, kernel_format: OIHW, group: 2, data: [[[[0.0, 0.0, 0.0]]],    [[[0.0, 0.0, 0.0]]]], shape=[2, 1, 1, 3], strides=[3, 3, 3, 1], layout=C (0x1), dynamic ndim=4, kernel: [[[[[8.0]]]],     [[[[11.0]]]],     [[[[-106.0]]]],     [[[[-16.0]]]]], shape=[4, 1, 1, 1, 1], strides=[1, 1, 1, 1, 1], layout=C (0x1), dynamic ndim=5 }
cc 8cf22d0d141513cef367f3a337ba031c20343991ebc1fe6146d3ef7ba363a748 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1, 4, 1], strides: [4, 4, 1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1, 3, 1], strides: [3, 3, 1, 1] }, kernel_format: OIHW, group: 1, data: [[[[0.0],    [0.0],    [-1.0],    [20.0]]]], shape=[1, 1, 4, 1], strides=[4, 4, 1, 1], layout=C (0x1), dynamic ndim=4, kernel: [[[[[-4.0, 24.0]]]]], shape=[1, 1, 1, 1, 2], strides=[2, 2, 2, 2, 1], layout=C (0x1), dynamic ndim=5, bias: Some([-81.0], shape=[1], strides=[1], layout=C | F (0x3), dynamic ndim=1) }
cc 050a0ff14a71ad26167cc28f14eb3d651eade9562f4b8522897260ea08c8ce83 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NHWC, shape: [3, 4, 3], strides: [12, 3, 1] }, shape_out: BaseDataShape { fmt: NHWC, shape: [3, 3, 2], strides: [6, 2, 1] }, kernel_format: OIHW, group: 1, data: [[[0.0, 0.0, 0.0],   [0.0, 0.0, 0.0],   [0.0, 0.0, 0.0],   [0.0, 0.0, 0.0]],   [[0.0, 0.0, 0.0],   [0.0, 0.0, 0.0],   [0.0, 0.0, 0.0],   [0.0, 0.0, 0.0]],   [[0.0, 0.0, 0.0],   [0.0, 0.0, 0.0],   [7.0, -54.0, -34.0],   [-6.0, 12.0, 106.0]]], shape=[3, 4, 3], strides=[12, 3, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[-84.0, 27.0],   [115.0, 1.0],   [35.0, -43.0]],   [[-95.0, 115.0],   [36.0, 118.0],   [71.0, 48.0]]], shape=[2, 3, 2], strides=[6, 2, 1], layout=C (0x1), dynamic ndim=3, bias: None }
cc 0e840d97bd77d28e9563b8eae48e93c6b1a0df4ecfb3816c7ab4aa125fe0fe47 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NCHW, shape: [1, 1, 2], strides: [2, 2, 1] }, shape_out: BaseDataShape { fmt: NCHW, shape: [1, 1, 2], strides: [2, 2, 1] }, kernel_format: OIHW, group: 1, data: [[[0.0, 1.0]]], shape=[1, 1, 2], strides=[2, 2, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[-1.0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, bias: None }
cc 443488745ea0215516476067240454e97e9a2c85cc0b4b40fdadff56451fe5b1 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1, 1], strides: [1, 1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1, 1], strides: [1, 1, 1] }, kernel_format: OIHW, group: 1, data: [[[0.0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[[0.0]]]], shape=[1, 1, 1, 1], strides=[1, 1, 1, 1], layout=C (0x1), dynamic ndim=4, bias: None }
cc baa3c18cceade7b0f6084101af0192432e9b99972dae10d9b300b28d3b9e5b51 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: CHW, shape: [1, 3], strides: [3, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [3, 3], strides: [3, 1] }, kernel_format: OIHW, group: 1, data: [[0.0, 0.0, 0.0]], shape=[1, 3], strides=[3, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[54.0]],   [[-77.0]],   [[-56.0]]], shape=[3, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, bias: Some([6.0, 33.0, 68.0], shape=[3], strides=[1], layout=C | F (0x3), dynamic ndim=1) }
cc d912854e012842c56ace69e49b89cd7717705e11c98f8e2016b371932afeccea # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: CHW, shape: [6, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [8, 1], strides: [1, 1] }, kernel_format: OIHW, group: 2, data: [[0.0],  [0.0],  [0.0],  [0.0],  [0.0],  [0.0]], shape=[6, 1], strides=[1, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[-15.0],   [-1.0],   [8.0]],   [[3.0],   [-2.0],   [20.0]],   [[-6.0],   [11.0],   [-1.0]],   [[37.0],   [11.0],   [-46.0]],   [[75.0],   [16.0],   [0.0]],   [[-25.0],   [106.0],   [-9.0]],   [[95.0],   [-33.0],   [-28.0]],   [[9.0],   [0.0],   [0.0]]], shape=[8, 3, 1], strides=[3, 1, 1], layout=C (0x1), dynamic ndim=3, bias: Some([0.0, 4.0, 0.0, 0.0, -55.0, 28.0, -24.0, -108.0], shape=[8], strides=[1], layout=C | F (0x3), dynamic ndim=1) }
cc ededf3b80a66fb9dbd09a5b8e5709729e09ebe1ffa3af0aad064ba905a199753 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NCHW, shape: [1, 1, 2, 3, 1], strides: [6, 6, 3, 1, 1] }, shape_out: BaseDataShape { fmt: NCHW, shape: [1, 1, 2, 3, 1], strides: [6, 6, 3, 1, 1] }, kernel_format: OIHW, group: 1, data: [[[[[0.0],     [0.0],     [0.0]],     [[0.0],     [19.0],     [94.0]]]]], shape=[1, 1, 2, 3, 1], strides=[6, 6, 3, 1, 1], layout=Cc (0x5), dynamic ndim=5, kernel: [[[[[91.0]]]]], shape=[1, 1, 1, 1, 1], strides=[1, 1, 1, 1, 1], layout=CFcf (0xf), dynamic ndim=5, bias: Some([-53.0], shape=[1], strides=[1], layout=CFcf (0xf), dynamic ndim=1) }
cc 03adb906bd252a56b09248d240c1acb649f90d87620fb45ae99d13962b5b4f38 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: NHWC, shape: [3, 4, 6, 4], strides: [96, 24, 4, 1] }, kernel_format: OIHW, group: 1, data: [[[[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]]],    [[[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0],    [0.0, 0.0, 0.0, 0.0]],    [[7.0, -36.0, -106.0, -93.0],    [35.0, -79.0, -101.0, 115.0],    [26.0, -20.0, 5.0, 37.0],    [-110.0, -17.0, 32.0, 43.0],    [-20.0, 100.0, 120.0, 71.0],    [3.0, 82.0, 71.0, -21.0]]],    [[[91.0, -41.0, 13.0, 83.0],    [86.0, -6.0, -80.0, 2.0],    [8.0, -52.0, -50.0, -42.0],    [-91.0, 88.0, 60.0, 104.0],    [-6.0, -53.0, 19.0, 5.0],    [-17.0, -77.0, 16.0, 84.0]],    [[13.0, 1.0, 57.0, 27.0],    [-127.0, -127.0, -71.0, -124.0],    [-85.0, -21.0, 89.0, -31.0],    [-61.0, -13.0, 99.0, 0.0],    [-74.0, -25.0, 99.0, -44.0],    [10.0, 66.0, -27.0, -47.0]],    [[-78.0, 67.0, 42.0, 79.0],    [-100.0, 54.0, -73.0, 46.0],    [-6.0, -115.0, -110.0, -124.0],    [-32.0, -100.0, 119.0, 37.0],    [120.0, 54.0, -45.0, 26.0],    [70.0, -93.0, 99.0, -89.0]],    [[-54.0, 48.0, -47.0, 97.0],    [-108.0, 96.0, -74.0, -68.0],    [69.0, 25.0, 70.0, 20.0],    [-26.0, -49.0, -41.0, -85.0],    [48.0, -123.0, -82.0, 44.0],    [-60.0, 78.0, 58.0, 37.0]]]], shape=[3, 4, 6, 4], strides=[96, 24, 4, 1], layout=Cc (0x5), dynamic ndim=4, kernel: [[[[99.0, 81.0, -98.0],    [25.0, -103.0, -80.0],    [44.0, 115.0, 20.0]],    [[65.0, -119.0, 21.0],    [28.0, 69.0, 115.0],    [-19.0, 8.0, 102.0]],    [[-120.0, -21.0, 35.0],    [38.0, 94.0, 25.0],    [-53.0, 2.0, 3.0]],    [[126.0, 88.0, -66.0],    [-21.0, 26.0, 89.0],    [-96.0, 82.0, 54.0]]],    [[[54.0, -31.0, 114.0],    [105.0, 65.0, 108.0],    [-4.0, -32.0, -51.0]],    [[-61.0, 13.0, 84.0],    [-104.0, 116.0, 13.0],    [100.0, 51.0, -38.0]],    [[12.0, -84.0, -78.0],    [13.0, 38.0, 114.0],    [-21.0, 46.0, -84.0]],    [[-118.0, -65.0, -27.0],    [-16.0, -48.0, -1.0],    [-113.0, 49.0, -108.0]]],    [[[-55.0, 91.0, 119.0],    [45.0, 63.0, -15.0],    [91.0, 82.0, -79.0]],    [[-117.0, 13.0, -109.0],    [47.0, -37.0, 71.0],    [4.0, 2.0, -39.0]],    [[53.0, -48.0, -31.0],    [-27.0, -120.0, -103.0],    [101.0, -104.0, -57.0]],    [[-78.0, 54.0, 35.0],    [-8.0, -108.0, -8.0],    [-81.0, -73.0, -92.0]]]], shape=[3, 4, 3, 3], strides=[36, 9, 3, 1], layout=Cc (0x5), dynamic ndim=4, bias: None, pad: SameUpper, strides: [2, 3] }
cc 855f7eadea515194dcb4ca2d2cb8cbe1e5df84df8f9ba9bb0b2dae4b1b677470 # shrinks to pb = ConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [3, 5, 1], strides: [5, 1, 1] }, kernel_format: OIHW, group: 1, data: [[[0.0],   [0.0],   [0.0],   [0.0],   [-1.0]],   [[0.0],   [0.0],   [0.0],   [0.0],   [0.0]],   [[0.0],   [0.0],   [0.0],   [0.0],   [0.0]]], shape=[3, 5, 1], strides=[5, 1, 1], layout=Cc (0x5), dynamic ndim=3, kernel: [[[[0.0, 0.0, 0.0],    [0.0, 0.0, 0.0]]],    [[[0.0, 0.0, 0.0],    [0.0, 0.0, 0.0]]],    [[[0.0, 0.0, 0.0],    [0.0, 0.0, 0.0]]],    [[[0.0, 0.0, 5.0],    [-31.0, -32.0, -58.0]]]], shape=[4, 1, 2, 3], strides=[6, 6, 3, 1], layout=Cc (0x5), dynamic ndim=4, bias: None, pad: SameUpper, strides: [3, 2] }
