# 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 e8ae337f7aaf2cfb5890f1ca6c5ed31861411e6f85462a4151bd2af990872cc5 # shrinks to val = 0, aux = 0
cc bc4630c5957915ac7304adac885c992ef9329234044067812944d9ae14c55ff8 # shrinks to val = 2, aux = 11634106771519938624
