# 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 0dcf18f2200f2e43d83249332cf06050a53557ea73a2b05ede59eab5acc55f33 # shrinks to set = {Tid { block: 0, offset: 42 }, Tid { block: 0, offset: 195 }, Tid { block: 1, offset: 72 }, Tid { block: 2, offset: 175 }, Tid { block: 3, offset: 95 }, Tid { block: 4, offset: 7 }, Tid { block: 7, offset: 4 }, Tid { block: 7, offset: 19 }, Tid { block: 10, offset: 18 }, Tid { block: 12, offset: 14 }, Tid { block: 13, offset: 8 }, Tid { block: 14, offset: 2 }, Tid { block: 14, offset: 7 }, Tid { block: 15, offset: 9 }, Tid { block: 16, offset: 13 }, Tid { block: 18, offset: 2 }, Tid { block: 18, offset: 5 }, Tid { block: 18, offset: 13 }, Tid { block: 19, offset: 5 }, Tid { block: 19, offset: 12 }, Tid { block: 20, offset: 13 }, Tid { block: 27, offset: 6 }, Tid { block: 27, offset: 14 }, Tid { block: 28, offset: 3 }, Tid { block: 28, offset: 8 }, Tid { block: 31, offset: 6 }, Tid { block: 31, offset: 13 }, Tid { block: 53, offset: 20 }, Tid { block: 77, offset: 3 }, Tid { block: 155, offset: 9 }, Tid { block: 158, offset: 19 }, Tid { block: 160, offset: 15 }, Tid { block: 167, offset: 1 }, Tid { block: 190, offset: 15 }, Tid { block: 226, offset: 10 }, Tid { block: 275, offset: 19 }, Tid { block: 313, offset: 18 }, Tid { block: 337, offset: 6 }, Tid { block: 337, offset: 8 }, Tid { block: 337, offset: 20 }, Tid { block: 346, offset: 9 }, Tid { block: 361, offset: 15 }, Tid { block: 365, offset: 2 }, Tid { block: 367, offset: 8 }, Tid { block: 481, offset: 2 }, Tid { block: 523, offset: 6 }, Tid { block: 586, offset: 2 }, Tid { block: 596, offset: 3 }, Tid { block: 626, offset: 15 }, Tid { block: 692, offset: 16 }, Tid { block: 890, offset: 12 }, Tid { block: 941, offset: 9 }, Tid { block: 976, offset: 16 }, Tid { block: 1045, offset: 8 }, Tid { block: 1054, offset: 3 }, Tid { block: 1094, offset: 4 }, Tid { block: 1105, offset: 12 }, Tid { block: 1118, offset: 18 }, Tid { block: 1142, offset: 15 }, Tid { block: 1168, offset: 18 }, Tid { block: 1237, offset: 2 }, Tid { block: 1337, offset: 8 }, Tid { block: 1361, offset: 1 }, Tid { block: 1415, offset: 6 }, Tid { block: 1433, offset: 12 }, Tid { block: 1457, offset: 7 }, Tid { block: 1505, offset: 7 }, Tid { block: 1520, offset: 2 }, Tid { block: 1555, offset: 3 }, Tid { block: 1555, offset: 11 }, Tid { block: 1576, offset: 16 }, Tid { block: 1642, offset: 14 }, Tid { block: 1664, offset: 7 }, Tid { block: 1679, offset: 16 }, Tid { block: 1717, offset: 16 }, Tid { block: 1765, offset: 18 }, Tid { block: 1811, offset: 7 }, Tid { block: 1901, offset: 1 }, Tid { block: 1939, offset: 16 }, Tid { block: 1940, offset: 3 }, Tid { block: 1978, offset: 9 }, Tid { block: 1979, offset: 3 }, Tid { block: 2033, offset: 14 }, Tid { block: 2039, offset: 13 }}, targets = [(453, 1), (1020, 152), (444, 268), (2026, 62), (91, 123), (1847, 228), (31, 57), (1972, 117), (228, 126), (656, 151), (1664, 253), (1011, 180), (1817, 3), (1201, 18), (1788, 88), (1164, 81), (37, 288), (1388, 241), (1866, 73), (556, 249), (610, 78), (1935, 174), (765, 189), (460, 251), (217, 73), (1890, 286), (768, 181)]
cc 93200c904410f922c7131f9f0db9436e3a9974d2f6327f8efebaed6dd03d1b23 # shrinks to set = {Tid { block: 1927, offset: 2 }}, targets = [(1927, 3), (1927, 2)]
