# 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 f129c1bb6e1c8b9f3f512d066530088e886f164bc0d5fc8421c3738a810de2d1 # shrinks to dv = [9007199254740992]
cc a42fb4e69748136617a946e8a5db6fa7e41ad8d735a3fb8129aa271c3688be6a # shrinks to dv = [9223372036854775808, 9223372036854775808, 9223372036854775808, 9223372036854775808, 2305843009213693952, 2305843009213693952, 576460752303423488, 4611686018427387904, 9223372036854775808, 4611686018427387904, 9223372036854775808, 4611686018427387904, 4611686018427387904, 4611686018427387904, 4611691434847629440, 14503594005616558969, 37356395689515460, 18231912815401618643, 6826588690093286385, 6531186000350440036, 12467712437984895801, 16292075592763961077, 10232960389173205956, 17228045909506229463, 15508015516073377122, 16492343806285822327, 728251016273085340, 7290704628268745418, 16041246788938326158, 7887884438492866488, 2491348251631896427, 3095917793967635632, 9847239144693485653, 12840056546288496492, 16613735605001888916, 7963997992474337433, 9564265989448523897, 14222854495709627351, 5208607090880110711, 8919904017121573982, 10126018260846550682, 5460969659752093818, 2546366181447848903, 8079634531200563360, 8829498411599798628, 8651764556792833206, 16820825175225794066, 13490825092524593797, 12241654873416588522, 13319769622751599374, 30963090620528368, 192252467207099010]
cc cb4f8c983ad13e1632a5e78532d380efbc0ed671698e846e2f35b6a4fda3ca73 # shrinks to dv = []