# 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 d2ddb3aced2dc5e8fbcd9aad86843e5c2f8d356083ad5a7d3e292f39be2bf5f2 # shrinks to orig = [field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("04d76241f778c913045851263c975f06b3dca9339ba3e82e00008f1613187bd3")"), field_element!("u256h!("03ec7b90d65578ad44dd6d37718d3bd1982cab2356fb00027fd69f9b7cf44487")"), field_element!("u256h!("02588f0c988fc7d5bfcec2e51d106f4f60f408e39a3e7be36db6660bb3f799f1")"), field_element!("u256h!("032a71eaf45b5ce2324ff746b54797527bd3110291cde7006e3f01db77e6cb50")"), field_element!("u256h!("043f0eed9f14493af0bebd9345ab9acb09333b6e76331bb23cc99dfad47ddbd8")"), field_element!("u256h!("019e4794fa0c2c5162275f179f1b96bedb79d6bca621c1762313c8798a75860e")"), field_element!("u256h!("01bd503609f318a075fcda6464b4472d8baaf1e3bff0461ac7734f9ede9d302d")"), field_element!("u256h!("053673e8f35c529a69c3ca784b48de820ebddeed67d2111b2aff6f73ecf4ec13")"), field_element!("u256h!("02b590f5d62dd9d220893b9c5c525b16a976ad569750a75c740f163e5606333b")"), field_element!("u256h!("05619a62b4c86400fdf8b46ff08b349501149c54e6f218628b93eaac87c1af30")"), field_element!("u256h!("0253b92cfb2314dd7962ccf14f11471908165b2c3ee2fdf51929083c31e17c9e")"), field_element!("u256h!("01841ada3966eb895e0731dfff968f66dedbf411ff8645e25bfd897f21735ea8")")]
cc 5fac00cc2aa69f718ccf47b35cfbdcb08891340d2dccc75bc46ae731649c1909 # shrinks to values = [field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("01676e1a94b74495ca125f8aca26d97f19095a81e042077903bf62c1e6f1115c")"), field_element!("u256h!("06dfbb0a62b11fdf2ca8d631f09252e66b71b922856aeba4a0961cdb29752588")"), field_element!("u256h!("04535858038d9c9c87a1c8d07f82c75a59525a28e8c21f62969a7388ca715213")"), field_element!("u256h!("032e208db94d63b049518a465bc79fe11913e3cf30c76e1e596bdddd88ba9045")")]