# 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 c6a736535aab2824270311370f5c6766819e4a37a025eb8cc437aaf43c57f1e8 # shrinks to pb = ReturnCProblem { c: [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, 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, 834690400.0], boo: PhantomData }
cc c53b0bff339db277e4b9487112455ca204410ea16f4df04c76b1426dbcf5e8bf # shrinks to pb = PackedOffsetsProblem { a: [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, 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, 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, 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, 0.0, 0.0, 1.0, 4.0, 5.0, 6.0, 5.0, 1.0], b: [5.0, 8.0, 9.0, 9.0, 0.0, 3.0, 8.0, 6.0, 2.0, 9.0, 8.0, 4.0, 9.0, 7.0, 3.0, 8.0, 7.0, 8.0, 4.0, 1.0, 9.0, 3.0, 4.0, 3.0, 7.0, 8.0, 3.0, 3.0, 1.0, 1.0, 5.0, 2.0, 6.0, 4.0, 8.0, 8.0, 7.0, 3.0, 9.0, 1.0, 0.0, 9.0, 2.0, 5.0, 9.0, 9.0, 4.0, 9.0, 2.0, 4.0, 6.0, 5.0, 4.0, 6.0, 0.0, 7.0, 5.0, 4.0, 8.0, 4.0, 0.0, 9.0, 8.0, 2.0, 9.0, 9.0, 1.0, 6.0, 7.0, 3.0, 1.0, 6.0, 7.0, 1.0, 9.0, 0.0, 8.0, 9.0, 0.0, 0.0, 0.0, 0.0, 4.0, 0.0, 3.0, 9.0, 4.0, 1.0, 9.0, 9.0, 9.0, 4.0, 3.0, 5.0, 7.0, 1.0, 6.0, 0.0, 7.0, 5.0, 4.0, 0.0, 0.0, 0.0, 4.0, 8.0, 7.0, 7.0, 4.0, 6.0, 5.0, 9.0, 2.0, 2.0, 5.0, 9.0, 3.0, 0.0, 3.0, 9.0, 2.0, 3.0, 5.0, 1.0, 1.0, 4.0, 0.0, 2.0, 7.0, 1.0, 1.0, 5.0, 6.0, 1.0, 4.0, 3.0, 2.0, 2.0, 0.0, 3.0, 6.0, 0.0, 5.0, 0.0, 1.0, 7.0, 0.0, 3.0, 4.0, 1.0, 8.0, 4.0, 4.0, 1.0, 0.0, 8.0, 7.0, 9.0, 9.0, 4.0, 9.0, 4.0, 4.0, 6.0, 9.0, 4.0, 1.0, 6.0, 7.0, 0.0, 9.0, 3.0, 9.0, 7.0, 9.0, 2.0, 0.0, 6.0, 5.0, 3.0, 5.0], cols_offsets: [9, 14, 7, 8, 92, 80], rows_offsets: [20, 37, 35, 26, 12, 49, 88, 7, 19, 81, 21, 10, 21, 54, 67], add_one: true, _phantom: PhantomData }
