# 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 8c37f50ee4301b1518c8cef6bd9ef31f4c64711068583d6a0de378796420e047 # shrinks to (n, edges, x, _) = (1, [(0, 0, 0, 0.1)], [0.0], false), store_merged = false
cc 5f0a6e4e5d69b2828c9eb7d89bab2e0a7f3ee7aa18ec29a3fb990a2bb3f5a054 # shrinks to (n, edges, x, _) = (1, [(1, 0, 0, 0.4736606033216634), (0, 0, 0, 1.7788164595947868), (0, 0, 0, 3.6033548997357783), (1, 0, 0, 4.6902301547054535), (1, 0, 0, 1.102178995487156), (0, 0, 0, 2.6077329289944453), (0, 0, 0, 2.331697635336188), (0, 0, 0, 3.6504940277937226), (0, 0, 0, 2.5891061485813656), (1, 0, 0, 1.4339553312998508), (1, 0, 0, 4.065450013674138), (1, 0, 0, 0.741561407426877), (1, 0, 0, 0.6339345203511608), (1, 0, 0, 2.050829485334602), (1, 0, 0, 4.2890942194157), (1, 0, 0, 1.7019456922406235), (1, 0, 0, 2.7508510898186778), (0, 0, 0, 2.089931739802507), (0, 0, 0, 2.1425890743137748), (0, 0, 0, 3.087111003726087), (1, 0, 0, 1.9855538283033807), (0, 0, 0, 1.8376672295133865), (0, 0, 0, 4.554420004447829), (0, 0, 0, 1.0668657056946365), (0, 0, 0, 1.1487844314805615), (0, 0, 0, 2.908980183817702), (0, 0, 0, 4.13357754235269), (0, 0, 0, 2.544036714597882), (0, 0, 0, 4.500708909437751)], [-0.6514192743806737], true), store_merged = true
cc c154ef774877bb549229321871af64859713fabd0d7b54c3ad1b6340c308d2f4 # shrinks to (n, edges, x, reverse) = (4, [(1, 2, 0, 2.0062153245012073), (1, 3, 3, 1.3863121634267646), (1, 0, 0, 4.4929209626438755), (0, 1, 1, 3.1502142079235727), (1, 2, 1, 0.3937436758931282), (0, 3, 3, 0.8711471854258196), (0, 3, 3, 4.580082795132285), (1, 2, 1, 3.812686451848004), (1, 0, 2, 1.596212588858057), (1, 0, 0, 2.8459803342326997), (1, 0, 0, 1.61150134652776), (1, 0, 3, 0.3333768440753534), (0, 1, 3, 1.9230299703040177), (0, 1, 2, 4.5510603124909865), (1, 3, 3, 3.2590935214300343), (0, 3, 2, 3.3933653111211606), (0, 2, 0, 4.1743225887125455), (0, 0, 3, 0.4229316366541894), (0, 1, 3, 3.9799552066545525)], [-0.4221498941374395, 0.001957762092035993, 0.5871276411718251, -0.15141450505836065], false)
