# 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 ba4a9c1e70ac83cc70cade34365b0e2c204bbbc554e4002a6648ad847b4a9d68 # shrinks to (span, mapping) = ((0, 27), [[1], [1], [4, 5, 6], [8], [9, 10], [11], [11], [13], [13, 14, 15], [18, 19], [22], [22], [23, 24], [27, 28, 29], [32, 33, 34], [37, 38, 39], [39, 40, 41, 42], [45, 46], [46], [46, 47, 48], [50, 51, 52], [55, 56], [59], [59, 60], [61], [64, 65], [65], [68, 69, 70, 71], [73, 74, 75, 76], [77, 78, 79, 80], [83, 84, 85, 86], [87], [88, 89, 90, 91], [94], [95, 96], [96, 97, 98, 99], [102], [105, 106, 107, 108], [110, 111, 112], [114, 115, 116, 117], [118, 119, 120], [122, 123, 124, 125], [126, 127, 128], [130, 131], [132, 133, 134], [134, 135, 136], [136, 137, 138, 139], [139], [142, 143, 144], [147], [148, 149, 150], [151], [153, 154, 155], [155, 156, 157], [158, 159, 160], [162, 163, 164], [165], [168, 169, 170], [170], [170, 171, 172], [175], [178], [179, 180, 181], [182], [185, 186, 187], [189, 190], [190], [192], [194, 195], [198, 199, 200], [201, 202], [204, 205, 206], [207, 208], [211, 212], [212, 213, 214], [216, 217, 218], [220, 221], [221], [221, 222, 223, 224], [227, 228, 229], [231, 232, 233, 234], [236, 237, 238], [241, 242, 243, 244], [244], [244, 245], [248, 249, 250], [250], [250], [252, 253, 254, 255], [258], [258, 259], [261], [263, 264, 265], [267, 268], [269, 270], [271, 272, 273, 274], [275, 276, 277, 278], [278, 279, 280, 281], [282], [283], [283], [285], [286, 287, 288, 289], [289], [289, 290, 291], [291, 292], [293, 294, 295], [296, 297], [297, 298, 299, 300], [302, 303, 304, 305], [305, 306], [307], [309, 310, 311], [312, 313, 314], [317, 318], [321, 322, 323, 324], [327, 328, 329], [330, 331, 332], [335, 336, 337, 338], [341, 342, 343], [345], [346, 347, 348], [349, 350], [351, 352, 353, 354], [354, 355, 356, 357], [359, 360], [362, 363], [365, 366, 367], [367, 368], [368], [371, 372, 373], [375, 376, 377], [379, 380], [381, 382], [384, 385, 386], [386], [388, 389, 390], [393, 394, 395, 396], [399, 400], [402, 403, 404], [405, 406, 407], [408], [410, 411], [413, 414, 415], [417, 418, 419], [422, 423, 424, 425], [426], [428, 429], [431, 432], [432, 433, 434, 435], [437, 438, 439, 440], [441, 442, 443], [445], [446, 447, 448], [451], [452, 453, 454], [456, 457], [460, 461], [463, 464], [467], [467, 468, 469, 470], [470], [471, 472, 473], [475, 476, 477], [480, 481], [484, 485, 486, 487], [488, 489], [490, 491, 492, 493], [494], [497], [498, 499, 500, 501], [504], [505, 506, 507], [510, 511, 512], [512], [513, 514], [515], [515, 516], [519, 520, 521], [522, 523], [525, 526, 527], [530], [532], [535, 536, 537], [538, 539, 540, 541], [541, 542], [545, 546, 547], [549], [551, 552], [552, 553, 554, 555], [558, 559], [562, 563], [565], [567, 568], [571], [574, 575], [575], [577, 578], [578, 579], [580, 581, 582], [585, 586]])
cc f0b4ec5f353135964e4158b33198dd55a619425d53bf89250deef96c75c8b95a # shrinks to (span, mapping) = ((0, 2), [[0, 1], [1]])
cc b76db5bbd5cfb1b6853791bd356fc73f9a5121028ff2839583d2b25f88cf4d60 # shrinks to (span, mapping) = ((1, 2), [[0, 1], [1]])
cc 489f7520f78cd562cc56cedcf12b7159a1e0e3f42b8a543ffc8d206c12ca8e9d # shrinks to (span, mapping) = ((0, 3), [[0, 1], [1], [4, 5, 6]])
cc aef9c2a139e3625cd8d67762cf1026e8dd2a069e1a1729c8c78927ca748716c0 # shrinks to (span, mapping) = ((0, 2), [[0], [2]])
