# 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 9be25b195ef2868cdc542ab25720d071a404463e631a1580fcda36da6e364213 # shrinks to a = Union([NoneType, Intersection([Bool])]), b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }
cc 1f95fa3523cd491eb6005a60f9716e35fc65e7f76ac32d3e62fccfe919b47634 # shrinks to a = Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(NoneType) } }, constraints: [MaxLen(0)] }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Nothing) } }
cc 20597015218dd01669b0fd8b37a43f81871f9b089c8870f3342e1658577f6659 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Nothing) } }, constraints: [MinLen(1)] }, Anything(Top)], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: None } }
cc 56f0cbf4332ae6c0047885d9fcc060985dfc4891bafeb55ddb75e95ddd368d1a # shrinks to a = Complement(Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Instance(ClassIx(0))) } }, constraints: [MinLen(0)] }), b = Complement(Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Instance(ClassIx(1))) } }, constraints: [MinLen(0)] })
cc 690d7b226ed94b2e6fbd1d422486ea0fe318e0122c89655178c50cd1dbfeacfe # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Intersection([Intersection([Literal(ConstIx(2))]), NoneType])) } }, b = Intersection([Seq { container: List, shape: SeqShape { prefix: [], tail: None } }])
cc a90dd13bd45d71b2f82a5e6e215ee5b6b3042c7f62d14cf4dc81f0454960f4a6 # shrinks to a = Union([Seq { container: List, shape: SeqShape { prefix: [Literal(ConstIx(0))], tail: None } }, KeyedMap { fields: [], defaults: [] }])
cc 560fc54c4db4ee245c59805bd707c62ce9de9e4609bcb9b64371cba6cc9ad04c # shrinks to a = Union([Union([Union([Instance(ClassIx(0)), NoneType])])])
cc e175de09b6fc0aabcb5e87eb3f30fc64fde95a4fa1ab19051cb3a7bfb68a02a3 # shrinks to a = Union([Nothing])
cc 2e5e77a6e5ab57be64b7f46638a362d167a4cb5832d2bc1f1fbc00a225bd5a53 # shrinks to a = Union([Bool, Intersection([Literal(ConstIx(0)), Bool])]), b = Union([Float])
cc f2817eb6ad099b849e5ec08cf15e7496fbcd5b40d5eef390ddf83f29a9d09b4e # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: None } }, b = Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }, constraints: [MinLen(1)] }
cc 08edf64349f23d2eaed51e7866183bf421ad54ae9814fca9c61817925e58363e # shrinks to a = Union([Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Literal(ConstIx(0))) } }]), b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Literal(ConstIx(3))) } }
cc dae12d1ac88495be9695bbcdfa23939ed73e0b5031470effbaf3587f4320d71c # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }, b = Union([Intersection([NoneType])])
cc bc1f56ee9167a1f234125651894662a0f2424c4eccee26005f69b2cc9376ec4b # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: None } }, b = Refine { base: Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }, constraints: [MinLen(0)] }, c = Seq { container: List, shape: SeqShape { prefix: [Anything(Top)], tail: None } }
cc 60989200a33c455104244cb94fd732f38154d8dd989f0cbdd057cc8fa57ca8c0 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [KeyedMap { fields: [Field { name: "b", schema: Anything(Any), required: true }], defaults: [] }, Anything(Any)], tail: None } }, b = Seq { container: Tuple, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }
cc e5a1969c2310bbaa8452b61460fbbbb4f97e93a5f5bf4e146d65e79fda0284e8 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Anything(Any)) } }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Complement(NoneType)) } }
cc 88c7a093851ae8311cccdc1a586af520054148c2f84106ff0f0fe23265c963dd # shrinks to a = KeyedMap { fields: [Field { name: "a", schema: KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Anything(Top) }] }, required: false }], defaults: [MapClause { key: Str, value: Complement(NoneType) }] }, b = KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Complement(Float) }] }
cc 4272a10112ba998c3322d00aaf2773ee642908e60b8d70180f73fbe1b1af7c36 # shrinks to a = Seq { container: Tuple, shape: SeqShape { prefix: [Anything(Any), Refine { base: Bytes, constraints: [MinLen(0)] }], tail: None } }, b = Ref(DefIx(0))
cc 30fe676ec6bfa74eb1aeb81f7b08758a67c3f628129cfa433e7678789d08f076 # shrinks to a = KeyedMap { fields: [Field { name: "a", schema: Anything(Any), required: true }], defaults: [MapClause { key: Str, value: Float }] }, b = KeyedMap { fields: [Field { name: "a", schema: Anything(Any), required: false }], defaults: [MapClause { key: Str, value: Seq { container: Tuple, shape: SeqShape { prefix: [Anything(Top), Anything(Top)], tail: None } } }] }
cc 69028cec100496377c4325bda38592a1130ecad0ba15e1ef43b84f25dcade206 # shrinks to a = Seq { container: Tuple, shape: SeqShape { prefix: [Anything(Any), Refine { base: Coll { container: FrozenSet, element: Anything(Any) }, constraints: [MinLen(2)] }], tail: None } }, b = Coll { container: Set, element: Anything(Top) }
cc 4082e613009f8b554f5651cd24fea9c72a2a6f2b9614ba7be84d40c4a7b36b7b # shrinks to a = Union([Refine { base: Coll { container: FrozenSet, element: Nothing }, constraints: [MaxLen(0)] }, Ref(DefIx(0))]), b = Coll { container: Set, element: Anything(Top) }
cc 2e8155d7014fada124d5d9286aed96c50b6e68fb75ae079ee6e7e579c6bc7cba # shrinks to a = Refine { base: Seq { container: List, shape: SeqShape { prefix: [Nothing, Anything(Top)], tail: None } }, constraints: [MaxLen(0)] }
cc 33a9a523682af157ecd7ccb4e9ea09afb86d4fb4ce25e4dd227a98f0f8b8d07e # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Anything(Any), Ref(DefIx(1))], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [Anything(Any), Int], tail: None } }
cc 96997b412b8d2c5ff0b98a25a6048920897fa54a9f252ca3db6e377b3d3cc164 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [KeyedMap { fields: [Field { name: "a", schema: Coll { container: Set, element: Anything(Top) }, required: false }], defaults: [] }, Ref(DefIx(1))], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [Intersection([KeyedMap { fields: [Field { name: "a", schema: NoneType, required: false }], defaults: [] }]), Ref(DefIx(1))], tail: None } }
cc 19f39d5da116c01908eb36267f83750e43c4ec6cf889ba6d67f1d2c182d35838 # shrinks to a = KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Bool }] }, b = KeyedMap { fields: [Field { name: "a", schema: Union([Bool]), required: false }], defaults: [] }
cc f80b751ba8a4642cc31f36019a7a68dc0d636bd2d8b8d4dc9d96ce053364ed8e # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Coll { container: Set, element: Coll { container: Set, element: Anything(Top) } }, Ref(DefIx(1))], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Complement(Bool)) } }
cc 268c67e273edfc451844baf7a4febd20afaa3545d45d11a024a4c09c082782b3 # shrinks to a = Refine { base: Coll { container: Set, element: NoneType }, constraints: [MinLen(2)] }, b = NoneType
cc d1265ddc235b15504a1fb3ed1e63e8a947d598644f66c90a61d151649519077a # shrinks to a = Refine { base: Coll { container: Set, element: Bytes }, constraints: [MinLen(3)] }, b = Nothing
cc ded5bf086bedcf217f75fc2407e0203771c3156161561e596e00656504db7bc6 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Refine { base: Seq { container: Tuple, shape: SeqShape { prefix: [], tail: Some(NoneType) } }, constraints: [MinLen(2)] }, Ref(DefIx(1))], tail: None } }, b = NoneType
cc d269a9906a28e89fb1d1d1ac9c76275e5337cfd8edde152f1de9d44a0770975f
cc 71582a86ec710cd0629072186df349bae6fd8977374b8c8ae0a302fca8741ee7 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Seq { container: Tuple, shape: SeqShape { prefix: [Seq { container: Tuple, shape: SeqShape { prefix: [NoneType, KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Bool }] }], tail: None } }, Float], tail: None } }, Ref(DefIx(1))], tail: None } }, b = Coll { container: Set, element: Anything(Top) }
cc 8b6776babb84a050fc0694cdaa28b316523e5dbc63a60d17069694d274369885 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Float) } }, b = Complement(Seq { container: List, shape: SeqShape { prefix: [Anything(Top), Anything(Any)], tail: None } })
cc 37cc6cf91e3da44e7249aa5f98dedc777c0abbabbdcbe7a67222b819b643a591 # shrinks to a = Seq { container: List, shape: SeqShape { prefix: [Seq { container: Tuple, shape: SeqShape { prefix: [], tail: Some(Anything(Top)) } }, Seq { container: List, shape: SeqShape { prefix: [], tail: Some(Float) } }], tail: None } }, b = Seq { container: List, shape: SeqShape { prefix: [Seq { container: Tuple, shape: SeqShape { prefix: [], tail: Some(Complement(NoneType)) } }, Ref(DefIx(1))], tail: None } }
cc 77cb78e67465223588c1db7be271eeafdbbc83c8cdf0f501451b8a043c6cdca0 # shrinks to schema = KeyedMap { fields: [Field { name: "a", schema: KeyedMap { fields: [Field { name: "a", schema: Anything(Any), required: false }], defaults: [] }, required: false }], defaults: [] }
cc 11fae70cdf67e4c4325e0db2453a6cc7af38dd866d369f84bfa13edd495d4a3f # shrinks to schema = Complement(KeyedMap { fields: [], defaults: [] })
cc 53482d4d8b525f5004055d1eea212fa71a9a9b8c00c203bbcf1e050a02feeb1f # shrinks to a = Union([KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Anything(Any) }] }]), b = KeyedMap { fields: [], defaults: [MapClause { key: Str, value: Anything(Any) }] }
