# 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.
xs 2151308167 1707236779 2576128606 4078881362 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 2 }, Transition { symbol: Range, id: 3 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {5, 4} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }] }, 0)
xs 751829225 1201016785 3994787844 1681761632 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({}), Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 3 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({})} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 3 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {4} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }] }, 0)xs 1302583178 3066216929 2367225011 2527484656 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"h", "o", "z"})} }, trans: TransitionSet { set: {Transition { symbol: Label("h"), id: 1 }, Transition { symbol: Label("o"), id: 2 }, Transition { symbol: Label("z"), id: 6 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({})} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"m"})} }, trans: TransitionSet { set: {Transition { symbol: Label("m"), id: 3 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"o", "q"})} }, trans: TransitionSet { set: {Transition { symbol: Label("o"), id: 4 }, Transition { symbol: Label("q"), id: 5 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {11} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"f", "i", "k", "m", "v", "w"})} }, trans: TransitionSet { set: {Transition { symbol: Label("f"), id: 7 }, Transition { symbol: Label("i"), id: 8 }, Transition { symbol: Label("k"), id: 9 }, Transition { symbol: Label("m"), id: 10 }, Transition { symbol: Label("v"), id: 13 }, Transition { symbol: Label("w"), id: 14 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(0): Bool} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 11 }, Transition { symbol: Range, id: 12 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {5} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(0): Bool} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }] }, 0)
xs 2377877495 115528406 2521884745 99987011 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 2 }, Transition { symbol: Range, id: 3 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {5, 4} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }] }, 0)
xs 3095684884 739951979 3164396611 2838814985 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Neg, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 5 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 2 }, Transition { symbol: Range, id: 3 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3, 4} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {2} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {2} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }] }, 0)
xs 3930538240 2506595939 3341785835 2942946054 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"j", "n"})} }, trans: TransitionSet { set: {Transition { symbol: Label("j"), id: 1 }, Transition { symbol: Label("n"), id: 5 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 2 }, Transition { symbol: Range, id: 3 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {7} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 6 }, Transition { symbol: Range, id: 7 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {2} } }] }, 0)
xs 2600240224 2869913020 138505441 2374295599 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(2): Record({"a", "d", "u"})} }, trans: TransitionSet { set: {Transition { symbol: Label("a"), id: 1 }, Transition { symbol: Label("d"), id: 6 }, Transition { symbol: Label("u"), id: 9 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(0): Bool, Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 3 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 3 }, Transition { symbol: Range, id: 4 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {12} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(0): Bool} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 11 }, Transition { symbol: Range, id: 12 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 11 }, Transition { symbol: Range, id: 12 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {3} } }] }, 0)
xs 1664357046 648999339 2194826806 3954935185 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 2 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 3 }, Transition { symbol: Range, id: 6 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 4 }, Transition { symbol: Range, id: 5 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {6} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {5} } }] }, 0)
xs 512559624 689063379 2116580016 3327289761 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 2 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {2} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {1} } }] }, 0)
xs 3109896814 3722418912 2365928816 2291144069 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 1 }, Transition { symbol: Range, id: 9 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(2): Record({"b", "f", "q", "w", "y"})} }, trans: TransitionSet { set: {Transition { symbol: Label("b"), id: 2 }, Transition { symbol: Label("f"), id: 3 }, Transition { symbol: Label("q"), id: 4 }, Transition { symbol: Label("w"), id: 7 }, Transition { symbol: Label("y"), id: 8 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 5 }, Transition { symbol: Range, id: 6 }} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {11} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {Discriminant(1): Fun} }, trans: TransitionSet { set: {Transition { symbol: Domain, id: 10 }, Transition { symbol: Range, id: 11 }} }, flow: FlowSet { set: {} } }, State { pol: Neg, cons: ConstructorSet { set: {Discriminant(0): Bool} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {} } }, State { pol: Pos, cons: ConstructorSet { set: {} }, trans: TransitionSet { set: {} }, flow: FlowSet { set: {6} } }] }, 0)
xs 306980569 2787361797 1384601757 983977467 # shrinks to (nfa, nfa_start) = (Automaton { states: [State { pol: Pos, cons: {Fun(Set({StateId(2), StateId(6)}), Set({StateId(6), StateId(3)}))}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {Fun(Singleton(StateId(2)), Singleton(StateId(3)))}, flow: FlowSet { set: {} } }, State { pol: Neg, cons: {}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {Fun(Singleton(StateId(6)), Singleton(StateId(7)))}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {Fun(Singleton(StateId(6)), Singleton(StateId(7)))}, flow: FlowSet { set: {} } }, State { pol: Neg, cons: {}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {}, flow: FlowSet { set: {} } }, State { pol: Pos, cons: {}, flow: FlowSet { set: {} } }] }, StateId(0))