# 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 880614fe5a437e4e5b9438b4f6871c4ec571477348715b808a28ec1033d7f56a # shrinks to a = SparseMultivariatePolynomial { terms: {[1, 0, 0]: Integer(1)}, domain: IntegerDomain, n_vars: 3, _marker: PhantomData<ocas_poly::sparse::Lex> }, b = SparseMultivariatePolynomial { terms: {[1, 0]: Integer(1)}, domain: IntegerDomain, n_vars: 2, _marker: PhantomData<ocas_poly::sparse::Lex> }
cc 0bf8dcf79d1c2549c9c76e15e71223416fbf74b342088f3e1c3d2b5dd2718d73 # shrinks to a = SparseMultivariatePolynomial { terms: {[1, 1, 0]: Integer(1), [0, 0, 0]: Integer(1)}, domain: IntegerDomain, n_vars: 3, _marker: PhantomData<ocas_poly::sparse::Lex> }, b = SparseMultivariatePolynomial { terms: {[1, 1, 0]: Integer(1), [0, 0, 1]: Integer(-1)}, domain: IntegerDomain, n_vars: 3, _marker: PhantomData<ocas_poly::sparse::Lex> }
