# 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 e9e6f73d4fb5b33e85038c1a184ed7ddd1e5e6391128d81dcc97ce2a1f2961bc # shrinks to curve = PolynomialPayoutCurvePiece { payout_points: [PayoutPoint { event_outcome: 0, outcome_payout: 0, extra_precision: 0 }, PayoutPoint { event_outcome: 97315, outcome_payout: 4001182513914643707, extra_precision: 32837 }, PayoutPoint { event_outcome: 6697502852913205362, outcome_payout: 11881268466458742086, extra_precision: 25824 }, PayoutPoint { event_outcome: 15992590133054241900, outcome_payout: 13931852136552953419, extra_precision: 19379 }] }, total_collateral = 930299038788193079, rounding_intervals = RoundingIntervals { intervals: [RoundingInterval { begin_interval: 11220525781308832478, rounding_mod: 7043753321885600682 }, RoundingInterval { begin_interval: 10555397293028665511, rounding_mod: 9739207957204702618 }, RoundingInterval { begin_interval: 16164556306805108098, rounding_mod: 14244196725827816660 }, RoundingInterval { begin_interval: 12512021288478979214, rounding_mod: 1480514491567845959 }, RoundingInterval { begin_interval: 8132242210332487452, rounding_mod: 1941690854031324320 }, RoundingInterval { begin_interval: 16853564531890682408, rounding_mod: 13368277867920839106 }, RoundingInterval { begin_interval: 9277791025119278943, rounding_mod: 13318138177096923520 }, RoundingInterval { begin_interval: 1764623309506155524, rounding_mod: 11075308614266810368 }, RoundingInterval { begin_interval: 1382637283419409042, rounding_mod: 11230643521475517068 }, RoundingInterval { begin_interval: 7737229451036277240, rounding_mod: 14506749750523438203 }, RoundingInterval { begin_interval: 0, rounding_mod: 3093138633208970810 }] }
