# 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 3300333dce4b529480af0a5e5b7eda8f756d4f72577a6543d29074a554ddfac8 # shrinks to n = 128
cc c18e7f0fd6e0ac1a4f1db0dc77e5db9210853ed51bf112ee97613c2a2bfdd7b4 # shrinks to n = 6
cc 2f292906622d1894455bf4f9ffa7bf25b49fcfbf53866c8291ba2a8bad4e8335 # shrinks to n = 14, max = 848
cc 46d7113970079974a90d2bbf008c63a922b72cef73e3067ffb63cfca619892d3 # shrinks to poly = PolygonConvex(Polygon { points: [Point { array: [0, 0] }, Point { array: [803, 20] }, Point { array: [1350, 49] }, Point { array: [2177, 427] }, Point { array: [3369, 1286] }, Point { array: [4748, 2399] }, Point { array: [5051, 2812] }, Point { array: [5611, 3889] }, Point { array: [7603, 7801] }, Point { array: [7930, 8889] }, Point { array: [8099, 10075] }, Point { array: [8362, 12610] }, Point { array: [8505, 14065] }, Point { array: [8687, 19072] }, Point { array: [8688, 23407] }, Point { array: [7596, 32767] }, Point { array: [4759, 32673] }, Point { array: [4185, 32650] }, Point { array: [-1149, 32401] }, Point { array: [-2263, 32338] }, Point { array: [-3628, 32245] }, Point { array: [-7196, 31665] }, Point { array: [-7926, 31498] }, Point { array: [-9768, 31037] }, Point { array: [-13011, 30203] }, Point { array: [-13713, 30016] }, Point { array: [-14534, 29747] }, Point { array: [-17202, 28818] }, Point { array: [-19115, 28037] }, Point { array: [-20082, 27625] }, Point { array: [-20600, 27314] }, Point { array: [-21747, 26550] }, Point { array: [-22368, 26120] }, Point { array: [-24065, 24409] }, Point { array: [-24079, 24311] }, Point { array: [-24036, 23805] }, Point { array: [-23944, 23059] }, Point { array: [-23794, 22201] }, Point { array: [-23571, 21048] }, Point { array: [-23298, 19709] }, Point { array: [-23210, 19324] }, Point { array: [-23079, 18761] }, Point { array: [-22835, 17819] }, Point { array: [-22679, 17234] }, Point { array: [-22612, 17005] }, Point { array: [-22039, 15097] }, Point { array: [-21664, 13918] }, Point { array: [-21291, 12852] }, Point { array: [-21244, 12725] }, Point { array: [-20413, 10843] }, Point { array: [-19846, 9590] }, Point { array: [-19653, 9189] }, Point { array: [-19272, 8412] }, Point { array: [-18582, 7174] }, Point { array: [-18297, 6778] }, Point { array: [-18096, 6537] }, Point { array: [-17735, 6157] }, Point { array: [-16971, 5442] }, Point { array: [-16935, 5410] }, Point { array: [-16629, 5186] }, Point { array: [-16485, 5082] }, Point { array: [-16178, 4864] }, Point { array: [-15660, 4507] }, Point { array: [-15389, 4332] }, Point { array: [-13427, 3079] }, Point { array: [-12726, 2673] }, Point { array: [-12079, 2347] }, Point { array: [-11293, 2038] }, Point { array: [-11135, 1979] }, Point { array: [-10660, 1812] }, Point { array: [-9765, 1543] }, Point { array: [-8207, 1088] }, Point { array: [-7976, 1024] }, Point { array: [-7660, 945] }, Point { array: [-6182, 592] }, Point { array: [-5106, 399] }, Point { array: [-4969, 377] }, Point { array: [-4375, 300] }, Point { array: [-3831, 231] }, Point { array: [-3024, 146] }, Point { array: [-2535, 99] }, Point { array: [-1810, 57] }, Point { array: [-1650, 49] }, Point { array: [-1412, 38] }, Point { array: [-655, 13] }], ring_index: [RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0), RingId(0)], position_index: [PositionId(0), PositionId(1), PositionId(2), PositionId(3), PositionId(4), PositionId(5), PositionId(6), PositionId(7), PositionId(8), PositionId(9), PositionId(10), PositionId(11), PositionId(12), PositionId(13), PositionId(14), PositionId(15), PositionId(16), PositionId(17), PositionId(18), PositionId(19), PositionId(20), PositionId(21), PositionId(22), PositionId(23), PositionId(24), PositionId(25), PositionId(26), PositionId(27), PositionId(28), PositionId(29), PositionId(30), PositionId(31), PositionId(32), PositionId(33), PositionId(34), PositionId(35), PositionId(36), PositionId(37), PositionId(38), PositionId(39), PositionId(40), PositionId(41), PositionId(42), PositionId(43), PositionId(44), PositionId(45), PositionId(46), PositionId(47), PositionId(48), PositionId(49), PositionId(50), PositionId(51), PositionId(52), PositionId(53), PositionId(54), PositionId(55), PositionId(56), PositionId(57), PositionId(58), PositionId(59), PositionId(60), PositionId(61), PositionId(62), PositionId(63), PositionId(64), PositionId(65), PositionId(66), PositionId(67), PositionId(68), PositionId(69), PositionId(70), PositionId(71), PositionId(72), PositionId(73), PositionId(74), PositionId(75), PositionId(76), PositionId(77), PositionId(78), PositionId(79), PositionId(80), PositionId(81), PositionId(82), PositionId(83), PositionId(84)], rings: [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84]] }), dx = 550, dy = 0
