# 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 10a500d574cd15a3de56b8b187cdee35ca42ce3faadc77b844f3a8b826a91963 # shrinks to seq = [(0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (0, Push(0)), (1, Push(1)), (0, Push(0))]