# 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.
xs 342011842 3873810024 435026424 900019233 # shrinks to lhs = Constructed(Record({})), rhs = Recursive(Constructed(Record({"a": Zero})))
xs 352782881 4146316018 3394300223 3507725494 # shrinks to lhs = UnboundVar('d'), rhs = Recursive(Recursive(UnboundVar('d')))
xs 3435800330 1608550742 3906956162 505417845 # shrinks to lhs = Recursive(Recursive(Constructed(Record({"i": UnboundVar('e')})))), rhs = Recursive(Add(UnboundVar('e'), UnboundVar('a')))
xs 4141826729 4059919427 2120281409 3821143027 # shrinks to lhs = Recursive(Constructed(Fun(Zero, Add(Zero, BoundVar(0))))), rhs = Constructed(Fun(Zero, Constructed(Record({}))))
xs 2695311827 2495169969 3344041167 1629779448 # shrinks to lhs = Recursive(Constructed(Fun(Zero, Add(Zero, BoundVar(0))))), rhs = Constructed(Fun(Zero, Constructed(Bool)))
xs 2173858201 3423930559 1314105166 2807280749 # shrinks to lhs = Constructed(Fun(Constructed(Fun(Zero, Zero)), Constructed(Bool))), rhs = Constructed(Fun(UnboundVar('b'), UnboundVar('b')))
xs 1508782584 2493953041 3095138704 2996943860 # shrinks to lhs = Recursive(Add(Constructed(Fun(UnboundVar('e'), UnboundVar('e'))), Zero)), rhs = Constructed(Fun(Constructed(Record({})), Constructed(Bool)))
xs 1653524896 506263226 1711738322 3055187847 # shrinks to lhs = Recursive(Add(UnboundVar('c'), Constructed(Fun(UnboundVar('c'), Zero)))), rhs = Constructed(Fun(Constructed(Bool), Zero))
xs 3508900513 1570863892 345596072 3524976738 # shrinks to cons = [Constraint(Add(Constructed(Fun(Zero, Zero)), Constructed(Fun(Constructed(Fun(Zero, Zero)), Zero))), Constructed(Fun(Constructed(Bool), Constructed(Bool))))]
xs 1468091683 3234994215 1406433877 1121789651 # shrinks to cons = [Constraint(Constructed(Fun(Zero, Zero)), Add(Constructed(Fun(Zero, Zero)), Constructed(Fun(Zero, Zero))))]
