# 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 28001b3118ec8c66b88ce5decacc0717ab13910d29fbe22f309dc770216b6981 # shrinks to orig = [field_element!("u256h!("077e99ddc52da0c728151bdf21bbce8c3235580c3193b3be001335c5b807ffdf")"), field_element!("u256h!("01c7112233ca2edba9b217b867e76752c7c0478df517912fe9edd94b078baaae")")]
cc 762a7767a849a570ac2804422750a18364b820a609016ef5544196a122e272a8 # shrinks to orig = [field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("0000000000000000000000000000000000000000000000000000000000000000")"), field_element!("u256h!("04945e396d29765adf759f507e02b824d1fa631a4c5ef707001ac21f05b1908e")"), field_element!("u256h!("0607c8c199c07d4416356b136b57bc26aac254c30178a1329e3a0f857b289491")"), field_element!("u256h!("03520cf29bd30e7cd5b98852c5420033196995bda10b908f28551a98a13ed55a")"), field_element!("u256h!("078b853cf0dc65fe166990399226649b36bd9a19058307f530fdef1e3b198c9c")"), field_element!("u256h!("04cd3c14453127f79ec73a516276182b328520b374fccc2b69cfef6a3287ef58")"), field_element!("u256h!("05d7eea2fd7c7254c06984ef0beef73c28b7b2cec5c0cabb6a16441e2a1b6817")"), field_element!("u256h!("002f5e45e1af125b0a748361a3b956b8fdc91c8cf163e1de30966362bde45fa0")"), field_element!("u256h!("0683794949dc527fabb45003547225c4cfdc9b3c11dc4332d18d901aedcaaefe")"), field_element!("u256h!("07be0545ab704c2c7ae8a2108cb9c6c907e92a67b6d6c23e23a54bd4a453c772")"), field_element!("u256h!("0540c32a4c4e70527175460dd03262449524018cfb0abc359018b7db2abda96f")"), field_element!("u256h!("02ff979c7c2949c4c4cfbffe7a167cb7705149cfe660dde1ef80ff2a595dc3c9")"), field_element!("u256h!("05c0232aaf29b0d3a42b6bf4a83a5bfd05a983388ebaec5ffae26fd6d4439533")"), field_element!("u256h!("06da7f18e90276a89c0eb06203d4788ca4bb33ee65e30bae6c686516c3fb3d4e")"), field_element!("u256h!("0138b087b879eff3fb14bebfc3858322558f4292ee8073a619aa430c9b7f3ef7")"), field_element!("u256h!("079556b2a5a2140427845b52954cff1d297f3b0eebbe2067c7f9ee983be24795")"), field_element!("u256h!("054e61349781bcf47d0cd35f933775bc0c6bb1c628845010649926bdb644d9ff")"), field_element!("u256h!("06b76c3bb8ec41456968bbe77f6915e23d880723be4d01e704e61d5eed8d91ae")"), field_element!("u256h!("025ce88230eabf1cfec04a09c60ddd22ac4b0745c46fcc617c190eeee7b6cdaf")"), field_element!("u256h!("00f7bb01e6cb70cde91e03d0dd552f00c1e05ada9691683bc877f5a8b717b22c")"), field_element!("u256h!("00acaf582dc3f8ec992d4126bfc16016e36326c00727913f494deef35a8e647e")"), field_element!("u256h!("00257dd6541c07131e15a93630aa9caa80e5e01b1547636371c96c1bfc5fee17")"), field_element!("u256h!("05f107b195cc3ac40f1ea2f70b016ba94b5ae3d1aa242a1829c769c030d3694f")"), field_element!("u256h!("01eee25d2ef7a8b7479ebe7d605d2b24d47811948cdcb51bb3bc3d11fae39840")"), field_element!("u256h!("055f63e9f2fc6f345c439b56894c4753f40215c7de085c7dcb11f292db67fae9")"), field_element!("u256h!("0019d3792d42a64f78deb3715658ba9a214fed7ca8f3a7ca6e0dee1bba248a5a")"), field_element!("u256h!("0007793c2f29b5a591928f493773e3ca2c0d0ad26da377aef2d8c7f6cc8d71b8")"), field_element!("u256h!("01a02327e74a80d4587eaacab35de84c725c917c8b5fca45898f9feca2c1d536")"), field_element!("u256h!("00badc991545a6f63a4897a3dc1ea5165d7793596a4d58d61687d8284dc8b7ea")")]