# 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 3f1a04d8b8e4ceee893cb144f080a615ac5b6d7f97dbc1660068d05a80524df8 # shrinks to exp = RawExpression(Binding { symbol: Symbol("KNOSWMLHLYJEP"), value: RawExpression(Binding { symbol: Symbol("TIHKVRUKZQNPY"), value: RawExpression(Die(Die(15478990657946489972))), tail: RawExpression(Symbol(Symbol("TIHKVRUKZQNPY"))) }), tail: RawExpression(Product(RawExpression(Symbol(Symbol("TIHKVRUKZQNPY"))), RawExpression(Repeated { count: RawExpression(Die(Die(0))), value: RawExpression(Die(Die(27182))), ranker: All }))) })
cc 45a382f2b269c1e2a6cdb70b2f8e8220a74ab2cd4b523e7f60c0db15c6805257 # shrinks to exp = RawExpression(Binding { symbol: Symbol("SEBIMZNLVLGQNNGOGKJZXFVMUHN"), value: RawExpression(Binding { symbol: Symbol("WBWTOFCABWMEZWCXY"), value: RawExpression(Comparison { a: RawExpression(Modifier(Constant(1512454510436066116))), b: RawExpression(Modifier(Constant(16522349489927690754))), op: Le }), tail: RawExpression(Comparison { a: RawExpression(Modifier(Constant(12694982364496749341))), b: RawExpression(Die(Die(9789543501378041145))), op: Ge }) }), tail: RawExpression(Sum([RawExpression(Floor(RawExpression(Die(Die(0))), RawExpression(Modifier(Constant(8443333858959051))))), RawExpression(Symbol(Symbol("WBWTOFCABWMEZWCXY")))])) })
cc 24281a8125eb6e22fc0d7575ffb395e7331f90dd03cf7eb70a8e022fe8b6e241 # shrinks to exp = RawExpression(Binding { symbol: Symbol("KEDFCMXSINXFBRZGICCZEYD"), value: RawExpression(Binding { symbol: Symbol("PKPAEWA"), value: RawExpression(Sum([RawExpression(Die(Die(3945234580105922595))), RawExpression(Modifier(Constant(11724286927577159267)))])), tail: RawExpression(Die(Die(9709847282766836644))) }), tail: RawExpression(Sum([RawExpression(Die(Die(15875))), RawExpression(Symbol(Symbol("PKPAEWA")))])) })
