# 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 424d9ac49334c640fd913dd93d934bb39ae90f967468f615aebdc740e2df1504 # shrinks to (base, fresh) = ([(0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 0, 1.0), (0, 0, 6, 1.0), (1, 0, 5, 1.0), (0, 3, 12, 1.0), (0, 10, 26, 1.0), (0, 29, 11, 1.0), (0, 17, 11, 1.0), (1, 12, 26, 1.0), (1, 1, 4, 1.0), (0, 16, 19, 1.0), (0, 15, 29, 1.0), (0, 13, 2, 1.0), (1, 23, 28, 1.0), (0, 7, 29, 1.0), (0, 9, 14, 1.0), (1, 13, 24, 1.0), (1, 6, 22, 1.0), (1, 11, 0, 1.0), (0, 7, 27, 1.0), (0, 19, 23, 1.0), (0, 19, 23, 1.0), (0, 24, 22, 1.0), (0, 18, 22, 1.0), (0, 6, 20, 1.0), (1, 18, 20, 1.0), (1, 5, 22, 1.0), (0, 4, 11, 1.0), (0, 17, 27, 1.0), (1, 4, 23, 1.0), (1, 25, 5, 1.0), (0, 11, 13, 1.0), (0, 22, 2, 1.0), (0, 0, 17, 1.0), (1, 17, 11, 1.0), (0, 21, 1, 1.0), (1, 8, 5, 1.0), (0, 19, 11, 1.0), (0, 18, 17, 1.0), (0, 17, 6, 1.0), (0, 25, 19, 1.0), (0, 4, 0, 1.0), (0, 10, 8, 1.0), (0, 29, 12, 1.0), (0, 29, 5, 1.0), (0, 24, 23, 1.0)], [(0, 22, 0, 1.0), (1, 18, 9, 1.0), (0, 22, 10, 1.0), (0, 26, 13, 1.0), (0, 27, 22, 1.0), (1, 15, 24, 1.0), (1, 14, 18, 1.0), (1, 5, 26, 1.0), (1, 7, 18, 1.0), (0, 14, 28, 1.0), (0, 27, 21, 1.0), (1, 19, 14, 1.0), (0, 26, 18, 1.0), (1, 14, 26, 1.0), (1, 26, 10, 1.0), (0, 28, 5, 1.0), (1, 8, 23, 1.0), (0, 0, 24, 1.0), (1, 27, 13, 1.0), (0, 1, 12, 1.0), (1, 23, 20, 1.0), (0, 15, 18, 1.0), (1, 22, 18, 1.0), (0, 22, 25, 1.0), (0, 9, 2, 1.0), (1, 14, 24, 1.0), (1, 15, 22, 1.0), (1, 14, 27, 1.0), (0, 25, 25, 1.0), (1, 15, 17, 1.0), (0, 25, 15, 1.0), (0, 10, 2, 1.0), (0, 17, 21, 1.0), (0, 25, 29, 1.0), (1, 13, 3, 1.0), (0, 1, 27, 1.0), (1, 20, 14, 1.0), (0, 21, 15, 1.0), (1, 16, 15, 1.0), (0, 7, 6, 1.0), (1, 0, 14, 1.0), (0, 19, 26, 1.0), (0, 7, 22, 1.0), (1, 19, 24, 1.0), (1, 25, 17, 1.0), (1, 24, 10, 1.0), (0, 8, 13, 1.0), (1, 11, 2, 1.0), (0, 27, 0, 1.0), (0, 10, 0, 1.0), (0, 27, 22, 1.0), (0, 16, 29, 1.0), (0, 20, 20, 1.0), (1, 29, 19, 1.0), (0, 28, 23, 1.0), (1, 22, 19, 1.0), (1, 20, 20, 1.0), (1, 24, 23, 1.0), (0, 3, 18, 1.0), (0, 23, 4, 1.0)])
