# 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 fc492a813f5002b09896a723998a040763e30c55b85ee2e6258c808d14e93165 # shrinks to input = [(112.68476359960712, 158.43569406897058, 122.15798478081126), (163.1926399560149, 186.0826857611743, 175.99075912509977), (16.233107698927512, 144.80663873096864, 140.2312448150523), (136.00100027446686, 107.84763718374887, 73.24947184936158), (15.81861418171014, 197.07070378559328, 170.11343953158465), (26.295838956569895, 148.78864713217268, 190.7898622978286), (114.96130630606176, 160.88480585447473, 18.642374604965244), (191.18956159730584, 96.18388642082095, 116.43003499822073), (148.9345236068847, 9.59225767726654, 34.626419605511536), (52.467642082664426, 101.49109919706932, 18.25267975080062), (31.764658357757398, 111.65975437368037, 78.95467879383311), (114.36420833864975, 34.11083525681045, 154.06309308280836), (123.39596376404678, 120.90414130542051, 105.02552617114654), (193.05780197913907, 193.16719483585672, 63.338350938570876), (90.30830351064145, 40.6509711421834, 119.37995901686463), (135.9382041443346, 13.038143311237654, 10.671994214052923), (35.40427708403104, 18.72874896822305, 26.841685563074485), (71.21178409409391, 11.68136922190479, 99.48884928611523), (88.52891087788899, 164.57749384562766, 83.55761964182473), (138.9836025761596, 111.1978515670094, 136.2669440112298), (175.05754774320434, 186.15488938379116, 54.7684765166918), (60.08925645760743, 131.25118325641355, 182.31018930144984), (63.16578324678878, 16.943826950672438, 175.67789346293338), (24.540168112306283, 78.7082102247629, 50.293305170185704), (127.93067429027553, 127.01159380277029, 143.66079831498828), (90.92989170656995, 95.14775873677605, 21.724261274847887), (122.31164771653165, 23.694397324907523, 47.0579525850609), (148.06058770842662, 142.3054956137563, 34.75281597853416), (176.606004453015, 56.46023127620406, 20.645801539409458)]
