# 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 f96083c0ada233722f90b3a79d2a6c204ace982dee3e6f56a1821f4f9cfabe7c # shrinks to val = 1, aux = 0
