# 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 9376a0c84bf707397627a2bc32c2c08b47d5a05d0f27ebb46688bb906e078de6 # shrinks to doc_set = {(0, 2), (132, 29), (321, 22)}, density = [76, 22, 75, 81], seed = 15412055665852542132, k = 9, ties = false
cc bdcaa93d8a809a8480891e07b273fec3e468cf64ae24dec127a5b97a41fad56f # shrinks to doc_set = {(7, 14), (19, 8), (20, 2), (25, 7), (26, 5), (33, 14), (37, 6), (39, 3), (40, 20), (50, 1), (50, 20), (53, 7), (53, 11), (53, 19), (64, 9), (64, 16), (66, 11), (67, 1), (90, 12), (91, 11), (92, 9), (103, 9), (108, 12), (108, 16), (109, 6), (109, 9), (111, 18), (113, 7), (115, 19), (116, 10), (125, 13), (128, 15), (136, 12), (138, 7), (149, 20), (153, 20), (156, 12), (157, 11), (157, 14), (162, 15), (168, 5), (170, 20), (171, 12), (174, 20), (181, 3), (184, 13), (185, 1), (186, 14), (191, 13), (195, 12), (206, 19), (214, 1), (215, 11), (217, 18), (218, 2), (223, 13), (231, 11), (233, 12), (245, 7), (246, 11), (247, 3), (247, 17), (249, 12), (261, 6), (263, 3), (267, 6), (270, 20), (271, 8), (273, 4), (276, 6), (278, 13), (280, 12), (289, 5), (291, 11), (296, 1), (296, 6), (301, 6), (314, 13), (316, 20), (319, 14), (322, 18), (329, 13), (333, 8), (340, 1), (340, 10), (341, 10), (343, 19), (345, 15), (348, 2), (351, 8), (365, 4), (366, 5), (366, 19), (369, 13), (369, 14), (375, 7), (378, 9), (382, 17), (385, 4), (389, 10), (392, 11), (396, 15), (399, 3), (409, 6), (417, 12), (423, 7), (425, 1), (428, 14), (434, 8), (434, 15), (435, 2), (437, 15), (438, 5), (442, 6), (448, 5), (452, 9), (457, 3), (460, 17), (461, 14), (467, 1), (467, 9), (472, 2), (479, 12), (486, 15), (490, 12), (490, 14), (495, 7), (497, 7), (500, 19), (508, 19), (513, 14), (515, 6), (516, 13), (517, 6), (519, 16), (524, 18), (526, 8), (535, 5), (536, 10), (536, 19), (538, 14), (540, 4), (543, 4), (545, 12), (548, 20), (550, 12), (556, 2), (556, 7), (562, 3), (567, 15), (569, 2), (570, 13), (573, 20), (583, 14), (585, 3), (588, 14), (603, 12), (610, 1), (611, 18), (612, 7), (612, 17), (614, 3), (624, 18), (625, 12), (625, 20), (628, 2), (631, 18), (632, 20), (634, 17), (643, 18), (659, 15), (671, 10), (671, 20), (681, 12), (681, 17), (686, 2), (686, 9), (689, 18), (697, 12), (725, 14), (728, 5), (730, 20), (734, 4), (737, 12), (740, 16), (757, 20), (764, 20), (766, 5), (771, 2), (777, 2), (777, 19), (779, 5), (782, 17), (784, 12), (784, 14), (795, 15), (796, 6), (797, 20), (800, 1), (800, 11), (803, 12), (805, 9), (805, 11), (811, 9), (812, 1), (815, 13), (820, 3), (820, 9), (826, 17), (827, 3), (829, 2), (836, 8), (840, 13), (842, 10), (847, 17), (851, 13), (854, 11), (860, 17), (871, 13), (872, 7), (879, 16), (881, 20), (884, 19), (891, 8), (892, 14), (901, 7), (916, 2), (917, 6), (921, 10), (921, 16), (928, 18), (929, 18), (940, 6), (944, 12), (944, 19), (947, 12), (953, 19), (955, 18), (956, 5), (957, 4), (966, 7), (966, 16), (968, 8), (968, 11), (969, 11), (970, 1), (972, 15), (974, 9), (992, 20), (994, 10), (999, 14), (1002, 17), (1003, 6), (1003, 15), (1006, 11), (1013, 8), (1018, 1), (1020, 8), (1021, 3), (1044, 8), (1044, 12), (1047, 11), (1047, 20), (1049, 11), (1058, 15), (1062, 20), (1063, 1), (1068, 8), (1071, 15), (1081, 14), (1084, 7), (1098, 2), (1108, 20), (1112, 12), (1114, 15), (1122, 1), (1132, 1), (1132, 12), (1133, 6), (1135, 4), (1139, 13), (1148, 7), (1151, 2), (1151, 13), (1153, 13), (1156, 17), (1159, 17), (1160, 15), (1162, 18), (1163, 16), (1164, 18), (1165, 6), (1166, 19), (1171, 8), (1173, 2), (1173, 8), (1174, 1), (1183, 17), (1187, 1), (1195, 6)}, density = [32, 81, 70, 94], seed = 4760306297838663665, k = 6, ties = false, parts = 3, ranges = false, block_size = 128, lengths_of = [9], inline = false, avg = 9.0
cc 577daf7a07a250a7e7261a8baf060666ef57e4c817447e206278a9a481ffdad6 # shrinks to doc_set = {(8, 8), (8, 21), (11, 15), (11, 40), (13, 16), (21, 25), (23, 34), (25, 26), (27, 26), (34, 1), (35, 11), (39, 9), (39, 19), (40, 36), (42, 33), (47, 32), (48, 21), (50, 27), (63, 13), (64, 26), (66, 8), (67, 4), (70, 17), (73, 21), (74, 9), (88, 20), (93, 34), (94, 35), (106, 35), (111, 38), (113, 16), (119, 17), (123, 25), (132, 7), (137, 7), (143, 39), (149, 14), (157, 2), (157, 26), (158, 23), (164, 1), (173, 1), (175, 3), (183, 17), (187, 3), (190, 28), (194, 23), (197, 39), (198, 14), (199, 29), (204, 10), (207, 10), (212, 13), (216, 30), (218, 5), (222, 4), (234, 23), (235, 35), (244, 21), (245, 3), (250, 27), (250, 31), (261, 37), (264, 24), (276, 7), (286, 2), (296, 4), (301, 4), (309, 17), (309, 30), (313, 36), (317, 15), (326, 7), (336, 8), (342, 27), (345, 32), (348, 13), (349, 26), (356, 30), (357, 36), (358, 8), (361, 24), (362, 2), (363, 24), (364, 8), (371, 23), (378, 1), (378, 10), (379, 29), (383, 18), (387, 23), (390, 35), (391, 19), (400, 35), (403, 3), (406, 20), (408, 34), (409, 33), (417, 24), (424, 39), (428, 4), (428, 16), (428, 37), (429, 8), (438, 20), (438, 35), (440, 1), (442, 14), (448, 9), (448, 25), (451, 34), (453, 31), (455, 22), (457, 36), (458, 36), (466, 34), (468, 21), (468, 38), (472, 2), (474, 34), (481, 10), (482, 28), (489, 13), (489, 34), (491, 39), (493, 22), (493, 29), (500, 38), (508, 21), (517, 1), (519, 28), (521, 39), (522, 15), (522, 24), (523, 26), (525, 14), (534, 19), (540, 31), (544, 8), (546, 10), (550, 25), (551, 26), (559, 10), (560, 14), (561, 30), (567, 1), (567, 39), (572, 6), (573, 34), (575, 4), (581, 23), (582, 32), (588, 5), (591, 32), (597, 3), (605, 22), (615, 2), (615, 6), (625, 21), (631, 23), (641, 9), (642, 39), (648, 9), (665, 22), (665, 34), (667, 19), (668, 8), (668, 20), (671, 37), (673, 20), (674, 21), (681, 26), (683, 22), (692, 11), (692, 22), (693, 40), (694, 13), (695, 11), (706, 32), (710, 8), (713, 15), (719, 25), (719, 34), (724, 40), (725, 24), (732, 13), (732, 20), (735, 35), (736, 32), (737, 40), (744, 39), (748, 8), (749, 18), (749, 24), (749, 34), (754, 17), (755, 29), (758, 12), (771, 7), (773, 19), (777, 19), (781, 39), (784, 5), (791, 19), (793, 31), (798, 20), (801, 21), (805, 25), (806, 3), (811, 9), (815, 3), (818, 2), (825, 18), (825, 20), (825, 29), (830, 25), (834, 30), (843, 4), (843, 33), (849, 7), (854, 16), (861, 24), (861, 32), (865, 27), (867, 10), (870, 16), (871, 25), (875, 36), (885, 23), (886, 27), (894, 20), (898, 11), (899, 12), (905, 28), (905, 33), (910, 30), (910, 38), (912, 29), (914, 10), (914, 11), (914, 13), (916, 40), (917, 28), (918, 23), (923, 23), (928, 33), (931, 11), (933, 36), (937, 30), (940, 22), (942, 19), (946, 31), (947, 31), (950, 28), (959, 34), (965, 16), (966, 22), (971, 32), (972, 10), (972, 30), (976, 13), (978, 6), (982, 16), (983, 33), (993, 6), (996, 6), (997, 2), (1001, 28), (1003, 14), (1003, 21), (1005, 18), (1006, 31), (1008, 3), (1011, 7), (1014, 3), (1021, 26), (1027, 39), (1028, 35), (1029, 8), (1030, 39), (1031, 22), (1032, 5), (1058, 6), (1067, 16), (1071, 4), (1071, 13), (1071, 26), (1095, 1), (1098, 18), (1099, 15), (1099, 38), (1101, 9), (1107, 15), (1107, 27), (1108, 2), (1111, 14), (1114, 35), (1117, 36), (1117, 40), (1119, 19), (1120, 10), (1128, 4), (1129, 14), (1140, 14), (1140, 34), (1141, 6), (1141, 24), (1144, 35), (1147, 17), (1148, 1), (1155, 37), (1156, 33), (1159, 7), (1163, 12), (1164, 13), (1164, 36), (1168, 10), (1169, 11), (1169, 26), (1172, 36), (1180, 32), (1183, 36), (1194, 28), (1198, 26), (1198, 28), (1202, 35), (1211, 17), (1213, 14), (1215, 4), (1219, 26), (1221, 19), (1223, 12), (1227, 38), (1229, 32), (1237, 16), (1248, 15), (1249, 8), (1252, 29), (1253, 20), (1254, 29), (1256, 39), (1269, 16), (1271, 12), (1272, 15), (1272, 19), (1272, 28), (1275, 22), (1277, 14), (1278, 8), (1280, 8), (1281, 33), (1282, 6), (1294, 37), (1298, 33), (1300, 14), (1311, 24), (1313, 12), (1323, 5), (1323, 14), (1325, 24), (1334, 33), (1335, 23), (1336, 32), (1338, 10), (1340, 3), (1341, 23), (1344, 40), (1346, 25), (1347, 22), (1351, 30), (1357, 32), (1358, 18), (1359, 19), (1360, 9), (1365, 2), (1365, 14), (1372, 9), (1390, 21), (1390, 37), (1391, 8), (1393, 22), (1393, 24), (1396, 36), (1397, 5), (1402, 40), (1405, 1), (1407, 10), (1408, 20), (1412, 9), (1418, 18), (1422, 31), (1436, 1), (1438, 28), (1445, 32), (1448, 19), (1449, 6), (1449, 11), (1450, 6), (1450, 29), (1451, 21), (1452, 36), (1455, 36), (1461, 10), (1470, 4), (1472, 29), (1474, 15), (1476, 21), (1481, 18), (1489, 40), (1495, 30), (1497, 40)}, density = [18, 40, 87, 48], seed = 14713604775588557644, grid_density = 4, block_size = 2, k = 6, page_len = 509
