# 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 553aecea2326e339c2df5245b162d38a974338b54c0b8c189eb487a98eda5e3e # shrinks to (scenario, x, y) = (Scenario { id_space: 5, relation_count: 2, edges: [(1, 3, 0, 1.0)], weighted_graph: true, reverse: true, semiring: Semiring { add: Min, multiply: Plus }, transpose: false, selected: Some([1]), weighted: Some(false), mask: None, replace: true, accumulate: Some(Lor), width: 1 }, [false, false, false, false, false], [false, false, false, false, false])
cc ac9a9fb872354b64fcec12e0a93a89137ce0d0bd2a764a2dd6c5980ef622fc40 # shrinks to (scenario, x, y) = (Scenario { id_space: 8, relation_count: 3, edges: [(1, 7, 4, 1.0), (1, 1, 7, 3.0), (2, 7, 0, 1.0), (0, 3, 7, 2.0), (1, 7, 6, 1.0), (0, 5, 4, 3.0), (2, 0, 5, 0.0), (1, 6, 2, 3.0), (1, 2, 6, 3.0), (0, 0, 5, 1.0), (2, 5, 6, 0.0), (0, 2, 4, 0.0), (2, 1, 4, 0.0), (0, 1, 7, 3.0), (0, 5, 6, 2.0), (2, 5, 3, 0.0), (0, 0, 6, 1.0), (2, 2, 3, 2.0), (0, 4, 5, 3.0), (2, 6, 7, 0.0), (1, 7, 7, 0.0), (1, 0, 7, 0.0), (1, 2, 1, 1.0)], weighted_graph: true, reverse: false, semiring: Semiring { add: Plus, multiply: Times }, transpose: true, selected: Some([0]), weighted: Some(true), mask: Some(([-0.0, 0.0, 2.5, 0.0, 1.0, -0.0, 1.0, 1.0], true)), replace: true, accumulate: None, width: 1 }, [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 2.0, 3.0], [0.5, -4.0, 3.0, -4.0, -3.0, -4.0, 1.0, -1.0])
cc c6738ebea278675561f15028ffd1b87cb63a8c4922a056f4322cd379f0c66c01 # shrinks to (scenario, x, y) = (Scenario { id_space: 13, relation_count: 2, edges: [], weighted_graph: false, reverse: false, semiring: Semiring { add: Plus, multiply: Times }, transpose: false, selected: None, weighted: None, mask: None, replace: false, accumulate: Some(Second), width: 1 }, [false, false, false, false, false, false, false, false, false, false, false, false, false], [false, false, false, false, false, false, false, false, false, false, false, true, true])
cc c7803e557b0db595baceee353f0f297f17aed207ce8d7f644f048d1617fd9bde # shrinks to (scenario, x, y) = (Scenario { id_space: 13, relation_count: 3, edges: [(0, 4, 8, 1.0), (1, 10, 7, 1.0), (2, 5, 2, 1.0), (0, 1, 4, 1.0), (0, 7, 12, 1.0), (1, 1, 0, 1.0), (2, 2, 8, 1.0), (0, 9, 6, 1.0), (1, 3, 0, 1.0), (1, 7, 0, 1.0), (1, 1, 9, 1.0), (2, 1, 6, 1.0)], weighted_graph: false, reverse: true, semiring: Semiring { add: Max, multiply: Times }, transpose: true, selected: Some([1]), weighted: Some(false), mask: None, replace: true, accumulate: Some(Any), width: 1 }, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -4])
cc 6912ce0442c7bbff93e42072a89626f43a21dd6299184d1fccd5425030284bfb # shrinks to (scenario, x, y) = (Scenario { id_space: 6, relation_count: 2, edges: [], weighted_graph: true, reverse: false, semiring: Semiring { add: Plus, multiply: Times }, transpose: false, selected: None, weighted: None, mask: None, replace: false, accumulate: Some(First), width: 1 }, [0.0, 0.0, 0.0, 0.0, 0.0, 0.0], [0.0, 0.0, 0.0, 0.0, 0.0, 1.0])
cc 42ba8e57622a9292b9c8a8b29e73e2c436fcae7ab59a9bbc7d29f46adc7bd937 # shrinks to (scenario, x, y) = (Scenario { id_space: 12, relation_count: 3, edges: [(1, 8, 9, 1.0), (2, 1, 1, 1.0), (2, 3, 0, 1.0), (2, 0, 2, 1.0), (0, 3, 8, 1.0), (0, 9, 8, 1.0), (2, 4, 2, 1.0), (2, 0, 3, 1.0), (1, 11, 11, 1.0), (1, 11, 11, 1.0), (2, 10, 3, 1.0), (1, 8, 5, 1.0), (0, 9, 9, 1.0), (2, 9, 11, 1.0), (0, 1, 2, 1.0), (1, 5, 11, 1.0), (2, 6, 11, 1.0), (2, 2, 1, 1.0), (0, 4, 10, 1.0), (2, 0, 1, 1.0)], weighted_graph: false, reverse: true, semiring: Semiring { add: Plus, multiply: Second }, transpose: true, selected: Some([]), weighted: None, mask: Some(([1.0, NaN, 2.5, -0.0, 0.0, NaN, -0.0, 0.0, NaN, 2.5, NaN, 0.0], true)), replace: true, accumulate: Some(Max), width: 1 }, [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0], [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0])
cc 32ce4be1117e1e57b1a63e83f835f14a4f6ca8262a91f67fd36bfc139e100af9 # shrinks to (scenario, x, y) = (Scenario { id_space: 6, relation_count: 3, edges: [(1, 4, 5, 0.0), (2, 4, 5, 0.0), (2, 0, 4, 1.0), (1, 1, 2, 2.0)], weighted_graph: true, reverse: false, semiring: Semiring { add: Plus, multiply: Pair }, transpose: false, selected: Some([1, 2]), weighted: Some(true), mask: None, replace: false, accumulate: None, width: 1 }, [0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0])
cc c40997886d42700aaad97d53f202926309ecb3cf65132219b3e33a741ebab66b # shrinks to (scenario, x, y) = (Scenario { id_space: 3, relation_count: 2, edges: [(0, 0, 2, 1.0), (1, 0, 2, 1.0), (1, 1, 2, 1.0)], weighted_graph: false, reverse: true, semiring: Semiring { add: Plus, multiply: First }, transpose: true, selected: Some([1, 0]), weighted: Some(true), mask: Some(([NaN, -0.0, 2.5], false)), replace: false, accumulate: Some(Plus), width: 1 }, [0.0, 0.0, 0.0], [0.0, 0.0, 0.5])
cc acd56538fc342bb0bdd4de3d6f11598a2b70a3813e30c085831c097aa65bbcfc # shrinks to (scenario, x, y) = (Scenario { id_space: 4, relation_count: 2, edges: [(0, 2, 3, 1.0), (1, 2, 3, 1.0), (1, 0, 0, 1.0)], weighted_graph: false, reverse: false, semiring: Semiring { add: Plus, multiply: First }, transpose: false, selected: Some([1, 0]), weighted: Some(false), mask: None, replace: true, accumulate: Some(Plus), width: 1 }, [0.0, 0.0, 0.0, 0.0], [0.0, 0.0, 0.0, 0.0])
cc 0746a760ab5e3c65961feaf7058800a0a8974b993c249ad0cede3fc338f38d35 # shrinks to (scenario, x, y) = (Scenario { id_space: 4, relation_count: 3, edges: [(1, 0, 0, 2.0), (0, 0, 0, 1.0), (0, 0, 2, 1.0), (1, 0, 1, 2.0), (2, 1, 2, 2.0), (2, 2, 3, 0.0)], weighted_graph: true, reverse: false, semiring: Semiring { add: Plus, multiply: First }, transpose: true, selected: Some([0, 1]), weighted: Some(false), mask: Some(([1.0, -0.0, NaN, 0.0], false)), replace: false, accumulate: Some(Plus), width: 4 }, [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0], [0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 3.0, -2.0, 0.0, -2.0])
