# 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 eff3d2b6f2f8b4ac0aeb21f361584d6d8d5621d8ffe5d3b72778eaf911666dc0 # shrinks to (mut a, mut b) = (BoxedUint(0x0000000000000000), BoxedUint(0x0000000000000000))
cc 5f610ffddb9fdeefb931f0a61a66aa07eb9440ae614862ef17901740758f318b # shrinks to (mut a, mut b) = (BoxedUint(0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), BoxedUint(0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000086))