# 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 f953f8ae5680f2e1eccf9185346f24178a0bd251b7688366758b0c6a64b97d48 # shrinks to case = Case { schema: definition ty0 {     relation rel0: ty0 }  definition ty1 {     relation rel0: ty1#rel0     relation rel1: ty0     permission perm0 = rel0 + (rel0.all(rel0) + rel0)     permission perm1 = perm0 }  tuples:     ty0:e#rel0@ty0:d     ty0:a#rel0@ty0:c     ty1:a#rel0@ty1:a#rel0     ty0:f#rel0@ty0:a     ty1:b#rel1@ty0:b queries: [RawQuery { resource: 6111837069408875299, member: 1859654248152957422, subject: 0, subject_member: 0, kind: 0 }] } 
cc 5198009195269b0629781727f729cecf2a9587f5396074d678ca4ab4564f7bfd # shrinks to case = Case { schema: definition ty0 {     relation rel0: ty0#perm0 | ty0     permission perm0 = (rel0->perm0 + rel0) + rel0 }  tuples:     ty0:a#rel0@ty0:b#perm0     ty0:a#rel0@ty0:a#perm0     ty0:b#rel0@ty0:a     ty0:e#rel0@ty0:a#perm0     ty0:b#rel0@ty0:a#perm0     ty0:c#rel0@ty0:d#perm0     ty0:c#rel0@ty0:f#perm0 queries: [RawQuery { resource: 6284104716799907674, member: 0, subject: 4056845028765080098, subject_member: 12199998364729863518, kind: 1 }, RawQuery { resource: 17594698355516352093, member: 0, subject: 5439761225501772261, subject_member: 0, kind: 1 }] } 
cc 9701beff19a9ca6a4335621666de3aaa2a8755e2bfbfe0c8914c756948b3c434 # shrinks to case = Case { schema: definition ty0 {     relation rel0: ty0:*     relation rel1: ty0#rel0     relation rel2: ty0#rel2     relation rel3: ty0#rel3     permission perm0 = rel0 - rel2     permission perm1 = rel0 }  tuples:     ty0:a#rel2@ty0:a#rel2     ty0:a#rel0@ty0:*     ty0:d#rel1@ty0:b#rel0     ty0:a#rel1@ty0:c#rel0 queries: [RawQuery { resource: 3994724040873054061, member: 9502939020634005070, subject: 601352611422024, subject_member: 0, kind: 2 }] } 
