# 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 d20c369dda78e809173a91a0b278074bf0fb46ed9b692781da216d412b914fe1 # shrinks to orig = [field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("074eff4614e6c78cfde26b5e0ad546ca4a47d45c722dcca4ffffffffffffffef")"), field_element!("u256h!("024cc0884afe3be2d704aaa8d5d2ce75aa7b1e9993b9f5c40c09af268f791d4b")"), field_element!("u256h!("0603852e80dbfc2845e08b5e472a75ccb7e4e23fc3111e4614650e818c79edd6")"), field_element!("u256h!("0733a81f110a2d8b4276efcab0c46766e2566c87c6079b10c3e27f32c362e8e1")"), field_element!("u256h!("0237c59398365d41f706f2f1c3229ff464c5bcbdae49260dfb8bba4a0033fa03")"), field_element!("u256h!("04f6018ec47445e27c02ac0b2acbe5783ca43a9bba38cc73e91046092cfe195d")"), field_element!("u256h!("03c74794fe2ec0808c19a82a5a75e63d326a281720d3cebf8b31cb7e979dec40")"), field_element!("u256h!("06d9f1e80e3a937b3ff3bff954bc34fb4beb60e7f7c443ed7858e4b97be3028a")"), field_element!("u256h!("038e52e78addf2df2a03dbfbbd074d2ebf027064ff14872fe0fd505ba6380dc2")"), field_element!("u256h!("021a9e5ad8ab18fc0b425e949426c7a9ce4f963ea84cbbe26def968623d51b2a")"), field_element!("u256h!("07c29b44928d0394b6c409d7368520e326c8d91447adfbbb5585570dd1fb0025")"), field_element!("u256h!("00be0a801d853f67a50ec6606e53f14f4ee62dc3f361b2966e51f941ce8502db")"), field_element!("u256h!("0550c335b5f21c63a07c77d28f948f621448718c384454bb3e8a107667885222")"), field_element!("u256h!("0546b6398d8f0fdb31c98e911dd57c9943aec5bb990d71c865e08d13c0f4844b")"), field_element!("u256h!("040335eeae789f6c7f49a62f368e9ce1ba1d0d5365c5bb937adaf3a943b30ff2")"), field_element!("u256h!("03595ca8ceb4f37fba8eded588e73f5bc3cc2c9027a396e897d585f5f722be5e")")]