# 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 ec81414de2c4318313077b8932f91bb09fc995260b596fc0fbbfbce7715bbbcd # shrinks to trace = [[(10, 8, 1), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0), (0, 0, 0)], [(55, 3, 0), (9, 7, -1), (75, 1, -1), (95, 9, 1), (87, 1, 1), (95, 7, 0), (65, 8, -1), (2, 5, 1), (95, 0, -1), (20, 3, 1), (95, 9, 1), (28, 0, -1), (6, 4, 1), (49, 5, 1), (71, 2, 0), (38, 2, -1), (19, 4, 1), (0, 5, -1), (96, 3, -1), (13, 1, -1), (30, 1, 0), (28, 1, 1), (20, 0, 0), (76, 4, -1), (52, 8, 1), (13, 7, -1), (56, 4, 1), (31, 8, 1), (34, 1, -1), (62, 0, 0), (8, 8, -1), (98, 8, 1), (91, 4, 1), (80, 5, 0), (33, 3, 1), (1, 8, -1), (78, 0, -1), (46, 6, -1), (64, 8, 0), (64, 1, -1), (96, 5, 0), (56, 7, 1), (18, 8, 1), (51, 3, 0), (48, 3, 1), (99, 5, 0), (26, 4, 0), (50, 7, -1), (65, 6, 1), (83, 3, -1), (88, 4, 1), (84, 0, 1), (39, 5, 1), (9, 7, 1), (21, 4, -1), (83, 1, 1), (55, 4, 0), (75, 3, 0), (55, 5, 1), (76, 5, 1), (34, 7, 0), (97, 6, -1), (99, 8, -1), (12, 2, -1), (79, 4, 1), (41, 8, 1), (59, 7, -1), (71, 8, -1), (43, 2, 1), (69, 5, 1), (14, 6, 1), (68, 7, 0), (14, 5, 0), (61, 4, 1), (11, 9, -1), (13, 5, -1), (89, 2, 1), (96, 8, 0), (98, 9, 1), (31, 4, 0), (69, 4, 1), (50, 7, 1), (28, 9, 1), (38, 8, -1), (46, 1, 0), (19, 8, 0), (13, 7, 0), (98, 0, -1), (48, 1, -1), (31, 4, 1), (27, 8, 1), (14, 2, -1), (60, 1, -1), (90, 1, 1), (94, 7, 1), (85, 6, 1), (43, 8, 1), (58, 9, 1), (15, 9, -1), (37, 5, 0), (41, 5, -1), (30, 0, 1), (50, 0, 1), (98, 6, -1), (58, 4, -1), (80, 2, -1), (45, 3, -1), (85, 9, 0), (99, 5, -1), (20, 0, 1), (81, 1, 1), (68, 1, 1), (53, 7, 1), (44, 5, 0), (48, 0, 1), (39, 8, -1), (16, 5, 1), (61, 8, 1), (29, 5, -1), (37, 6, 1), (67, 6, 0), (80, 4, -1), (26, 6, 0), (30, 1, -1), (7, 2, 1), (58, 3, -1), (10, 6, 0), (89, 5, 1), (89, 9, 1), (22, 0, -1), (42, 2, -1), (17, 4, 1), (94, 4, 1), (30, 4, -1), (2, 3, -1), (10, 6, 0), (88, 7, 1), (65, 9, 0), (33, 0, -1), (21, 2, -1), (43, 3, 0), (71, 5, 0), (26, 3, 1), (43, 6, 1), (67, 9, 0), (92, 9, 1), (18, 3, 0), (14, 7, -1), (6, 0, 0), (89, 6, 1), (51, 8, 1), (99, 2, 1), (57, 8, -1), (0, 5, 1), (73, 8, 0), (2, 1, -1), (48, 1, 1), (46, 4, -1), (93, 0, 0), (38, 8, 0), (83, 8, -1), (9, 3, -1), (22, 5, 1), (83, 5, 1), (89, 7, 0), (74, 9, 0)], [(82, 8, 1), (85, 8, 1), (71, 6, 0), (36, 4, 1), (55, 2, -1), (8, 7, 0), (4, 6, 0), (20, 5, -1), (3, 8, -1), (8, 9, 0), (59, 8, 1), (70, 8, 0), (57, 8, -1), (94, 9, -1), (70, 5, 0), (59, 8, 0), (39, 6, 1), (47, 7, 0), (29, 5, -1), (93, 1, -1), (95, 3, 1), (79, 9, 1), (91, 8, -1), (71, 4, -1), (76, 4, 1), (22, 6, 1), (22, 2, 0), (9, 6, 1), (31, 2, 1), (69, 2, 0), (80, 7, 0), (83, 7, -1), (29, 5, 0), (73, 7, 1), (47, 5, 0), (51, 3, -1), (78, 3, -1), (72, 9, 0), (1, 6, 1), (70, 2, -1), (7, 4, 1), (29, 6, -1), (12, 2, -1), (77, 5, 0), (33, 0, 0), (11, 0, -1), (30, 2, 0), (80, 5, -1), (51, 7, 0), (49, 7, 0), (55, 8, -1), (86, 1, -1), (8, 1, -1), (98, 3, 0), (30, 6, -1), (90, 4, 0), (54, 1, 1), (64, 8, 0), (23, 3, 0), (59, 8, -1), (65, 4, 0), (50, 4, 1), (76, 7, 0), (89, 9, 1), (9, 8, -1), (82, 7, 0), (72, 9, 1), (70, 7, 1), (19, 1, -1), (56, 7, 0), (44, 4, 0), (73, 4, 0), (66, 3, 1), (53, 9, 0), (47, 8, 1), (10, 0, 0), (29, 5, -1), (8, 3, 1), (11, 3, 0), (53, 7, 1), (39, 3, 0), (22, 1, 0), (55, 1, 0), (63, 5, 0), (88, 0, -1), (33, 4, -1), (26, 2, 1), (35, 8, 0), (30, 6, 0), (91, 8, 0), (52, 3, 0), (22, 5, -1), (4, 7, -1), (37, 2, -1), (77, 7, -1), (43, 6, 1), (81, 1, -1), (66, 4, -1), (20, 6, -1), (9, 2, -1), (63, 2, 0), (53, 5, -1), (88, 9, 0), (69, 0, 0), (19, 1, 1), (72, 4, 0), (64, 3, -1), (34, 6, 0), (2, 6, 0), (50, 2, 1), (88, 4, 1), (32, 7, -1), (89, 3, 1), (70, 7, 0), (50, 6, -1), (8, 6, 0), (50, 7, -1), (18, 8, 1), (39, 0, 1), (15, 8, -1), (39, 1, 0), (84, 7, 0), (11, 3, 0), (68, 6, -1), (45, 9, -1), (40, 3, -1), (94, 3, -1), (23, 0, -1), (97, 3, 1), (85, 2, 1), (22, 3, -1), (28, 7, 0), (14, 6, 1), (71, 2, 1)], [(52, 5, 0), (14, 1, -1), (69, 2, 0), (31, 2, 1), (98, 3, 1), (0, 4, -1), (19, 1, 0), (32, 7, -1), (17, 7, 0), (87, 5, 1), (58, 6, 1), (56, 0, 0), (87, 7, 0), (40, 7, 1), (56, 0, -1), (27, 8, 1), (29, 0, 1), (45, 0, 0), (48, 4, 1), (55, 7, 1), (53, 4, 0), (61, 0, -1), (85, 5, 0), (33, 5, 0), (5, 1, 0), (91, 0, 0), (54, 7, -1), (57, 3, 0), (91, 5, -1), (30, 4, -1), (5, 4, -1), (15, 8, 0), (5, 3, 1), (38, 7, 0), (74, 9, -1), (91, 6, 0), (0, 1, 1), (67, 3, 1), (26, 0, -1), (94, 5, -1), (24, 8, -1), (93, 9, 0), (84, 1, 0), (1, 0, 1), (49, 8, -1), (39, 3, 0), (22, 5, 0), (81, 1, -1), (62, 0, -1), (28, 6, 0), (70, 3, 1), (4, 9, 0), (39, 9, 1), (44, 4, 1), (27, 5, -1), (55, 1, 0), (43, 2, 0), (34, 3, 0), (40, 9, -1), (48, 0, -1), (90, 7, 1), (77, 8, 0), (93, 2, 1), (22, 9, 0), (31, 4, 1), (60, 4, 0), (75, 1, 0), (59, 6, 1), (22, 1, 0), (8, 8, 0), (36, 0, 0), (81, 8, 0), (5, 2, 1), (36, 2, 1), (36, 4, 1), (8, 1, -1), (8, 5, 1), (8, 4, 0), (47, 2, 0), (22, 1, 1), (6, 1, 1), (48, 7, -1), (61, 7, -1), (1, 6, 1), (82, 7, 0), (50, 6, -1), (7, 4, 1), (70, 2, 1), (49, 7, 1), (26, 4, 1), (59, 0, 0), (56, 1, -1), (44, 5, 0), (21, 5, -1), (39, 4, 1), (69, 8, 0), (67, 0, 0), (60, 8, -1), (28, 0, 1), (27, 9, 0), (23, 6, 0), (10, 1, 1), (13, 0, -1), (91, 8, -1), (38, 2, -1), (3, 5, -1), (11, 6, -1), (60, 0, 0), (79, 9, -1), (57, 0, 0), (73, 4, 0), (91, 1, -1), (97, 1, 0), (55, 6, -1), (19, 9, 0), (5, 1, 1), (52, 2, -1), (5, 2, 1), (90, 5, -1), (14, 9, 0), (49, 9, -1), (78, 2, 1)], [(85, 6, 0), (27, 3, 0), (23, 5, 0), (48, 4, -1), (51, 1, -1), (85, 2, 1), (18, 2, 1), (3, 7, -1), (81, 8, 0), (25, 4, -1), (65, 7, -1), (70, 0, 0), (65, 1, 0), (38, 2, -1), (48, 8, -1), (44, 7, 0), (13, 9, 1), (87, 1, 1), (57, 2, 0), (51, 8, -1), (14, 1, 1), (94, 7, 1), (56, 3, 1), (24, 7, 0), (30, 4, -1), (17, 4, 0), (7, 7, -1), (76, 9, 0), (84, 4, 1), (52, 7, -1), (97, 6, 0), (76, 5, 1), (72, 0, 0), (95, 2, -1), (41, 1, -1), (86, 9, -1), (74, 7, 0), (80, 3, 0), (98, 7, 1), (50, 0, 1), (1, 8, 1), (18, 1, 0), (45, 4, 1), (58, 8, 0), (31, 7, 0), (39, 9, -1), (60, 7, 0), (82, 2, 1), (76, 1, -1), (1, 0, 1), (18, 8, -1), (77, 9, -1), (90, 1, 1), (43, 0, -1), (34, 4, 1), (68, 3, 0), (49, 6, 1), (78, 0, 1), (46, 2, 1), (99, 4, 0), (47, 9, 1), (96, 7, -1), (11, 4, -1), (75, 5, -1), (88, 6, 0), (4, 2, 1), (51, 0, -1), (63, 7, -1), (89, 7, -1), (32, 2, 1), (85, 0, 1), (92, 7, 1), (64, 4, 0), (2, 0, 1), (89, 3, 1), (8, 8, 0), (19, 3, 1), (71, 4, -1), (26, 3, -1), (99, 8, 1), (48, 4, -1), (57, 3, 0), (11, 8, 0), (21, 6, -1), (91, 5, 0), (72, 0, 1), (90, 7, -1), (36, 6, 0), (79, 2, 1), (30, 8, 0), (83, 8, 0), (33, 6, 0), (51, 5, 0), (69, 6, 1), (19, 5, 1), (58, 9, -1), (12, 1, 1), (17, 7, -1), (92, 0, -1), (4, 4, 0), (68, 0, -1), (98, 8, 1), (43, 9, 0), (84, 4, -1), (96, 8, -1), (44, 6, 1), (74, 4, 0), (91, 2, 0), (89, 1, 0), (20, 0, 1), (61, 3, 1), (24, 2, 0), (61, 0, -1), (8, 1, 0), (86, 7, 0), (81, 5, 1), (14, 3, 1), (79, 7, 0), (29, 3, 0), (66, 1, 0), (47, 9, 0), (50, 0, 1), (54, 1, 0), (85, 1, 1), (2, 4, 0), (72, 9, 0), (37, 1, 0), (58, 0, 1), (64, 5, 0), (90, 5, -1), (60, 6, -1), (97, 1, -1), (94, 2, 0), (24, 1, -1)], [(99, 5, 1), (43, 2, -1), (25, 8, 0), (67, 2, 1), (67, 8, 1), (27, 1, 1), (30, 6, 1), (4, 6, 0), (26, 0, 1), (82, 0, -1), (43, 4, 0), (88, 2, 1), (74, 2, 1), (48, 1, -1), (90, 4, 1), (18, 6, 1), (36, 8, -1), (30, 5, -1), (16, 2, 0), (7, 6, 1), (27, 9, 1), (6, 9, 1), (12, 5, 1), (40, 0, 0), (84, 6, 0), (59, 4, 0), (26, 3, -1), (95, 4, 1), (28, 0, 0), (69, 1, 0), (79, 6, -1), (66, 9, 1), (78, 1, 0), (94, 3, -1), (14, 4, -1), (38, 2, 0), (14, 1, -1), (25, 9, 1), (42, 7, 1), (14, 0, -1), (64, 8, 0), (8, 5, 0), (42, 1, 1), (56, 9, 0), (45, 5, 0), (46, 5, -1), (17, 3, 0), (12, 4, -1), (96, 7, -1), (12, 4, 0), (8, 2, -1), (67, 5, 0), (90, 7, 1), (34, 3, -1), (37, 5, -1), (29, 3, 1), (95, 3, 1), (95, 9, 1), (33, 4, -1), (3, 3, -1), (89, 0, -1), (51, 1, 1), (56, 4, 1)], [(73, 6, 1), (26, 1, 0), (12, 8, 0), (76, 7, 0), (0, 1, 0), (90, 1, 1), (20, 2, 1), (31, 5, 1), (42, 5, -1), (28, 6, 1), (46, 5, 1), (65, 8, 1), (57, 1, -1), (76, 3, 0), (5, 8, 1), (92, 4, -1), (17, 6, 0), (79, 1, -1), (93, 3, 0), (26, 2, 1), (69, 7, -1), (65, 8, 1)], [(19, 4, 0), (69, 8, -1), (73, 2, 1), (17, 4, 0), (24, 5, 0), (40, 8, 0), (24, 2, 1), (28, 2, 1), (86, 0, -1), (57, 9, 0), (8, 7, 1), (63, 7, 1), (99, 8, -1), (59, 9, -1), (3, 3, -1), (62, 0, -1), (49, 6, -1), (98, 4, 1), (41, 2, -1), (29, 4, 1), (0, 0, 0), (5, 2, -1), (44, 1, -1), (86, 5, -1), (72, 9, -1), (58, 9, 0), (75, 2, -1), (7, 5, 0), (32, 8, 0), (76, 3, 0), (37, 5, 0), (53, 2, 0), (7, 6, 1), (71, 7, 1), (41, 3, -1), (92, 2, 1), (83, 0, 1), (35, 2, 0), (90, 1, 0), (55, 2, 1), (18, 1, 0), (41, 1, 1), (35, 3, 1), (10, 5, 1), (14, 6, 1), (10, 7, -1), (32, 4, -1), (88, 0, 1), (85, 2, 0), (33, 5, -1), (12, 9, 1), (70, 6, 1), (62, 6, -1), (72, 5, 1), (65, 6, 1), (56, 7, -1), (49, 7, 1), (49, 8, 1), (75, 8, 1), (32, 7, -1), (47, 3, -1), (71, 2, -1), (13, 8, 1), (79, 4, 1), (56, 5, 0), (65, 5, 0), (60, 8, 1), (74, 3, 1), (98, 4, -1), (86, 9, 0), (93, 7, 1), (93, 4, -1), (25, 7, 1), (14, 0, 0), (29, 0, -1), (40, 6, -1), (97, 9, 0), (55, 0, 1), (91, 7, -1), (44, 3, 1), (93, 3, -1), (93, 1, 1), (53, 9, -1), (53, 6, 1), (14, 4, 0), (99, 6, -1), (31, 5, -1), (62, 6, 0), (52, 2, -1), (88, 6, 1), (99, 5, -1), (62, 8, -1), (46, 6, 0), (72, 5, 0), (44, 6, -1), (78, 3, -1), (31, 9, 1), (7, 8, 0), (49, 3, 1), (24, 3, -1), (62, 2, -1), (76, 4, 1), (0, 2, 1), (94, 9, 0), (64, 4, -1), (85, 9, 0), (43, 7, 1), (46, 5, 0), (41, 7, 1), (50, 3, 0), (19, 7, 0), (48, 7, -1), (17, 6, 0), (38, 4, -1), (2, 2, -1), (8, 5, 0), (50, 6, 0), (82, 2, -1), (81, 9, -1), (36, 5, 0), (24, 1, 0), (51, 7, -1), (8, 6, 1), (91, 3, -1), (92, 5, -1), (99, 6, -1), (46, 3, 1), (0, 1, 1), (75, 4, -1), (70, 2, -1), (58, 2, 1), (93, 8, -1), (90, 5, 1), (43, 8, 0), (94, 1, 0), (44, 2, 0), (49, 9, 0), (60, 7, 1), (39, 1, 1), (2, 9, 1), (22, 2, 1), (16, 3, 0), (94, 9, -1), (5, 1, -1), (83, 6, -1), (92, 0, -1), (37, 8, 1), (87, 4, -1), (31, 1, 0), (15, 0, 0), (21, 2, 0), (64, 7, 1), (30, 2, -1), (99, 6, -1), (97, 9, 0), (97, 2, 0), (44, 2, 0), (71, 1, 1), (23, 5, -1), (53, 1, -1), (55, 9, 0), (94, 3, -1), (0, 3, 1), (58, 6, 0), (29, 4, 0), (44, 3, -1), (70, 4, 0), (90, 4, 1), (11, 2, 1), (50, 8, -1), (72, 0, 0), (69, 2, -1), (39, 4, -1)], [(91, 9, -1), (58, 1, 0), (44, 2, -1), (6, 8, 1), (37, 9, 0), (89, 6, 1), (23, 4, 0), (60, 9, 1), (3, 9, 0), (88, 7, -1), (37, 8, 1), (62, 1, -1), (9, 4, -1), (70, 3, 1), (52, 3, 0), (44, 3, -1), (24, 6, 1), (94, 1, 1), (20, 7, 0), (13, 8, 1), (23, 8, 1), (95, 5, -1), (18, 6, -1), (75, 5, 1), (77, 3, -1), (46, 4, 1), (12, 8, -1), (29, 2, 1), (50, 6, 1), (11, 0, 0), (43, 3, 1), (75, 0, 1), (77, 5, 1), (74, 1, 1), (73, 3, 0), (52, 2, 1), (86, 8, -1), (32, 1, 1), (78, 3, 0), (89, 9, 0), (29, 1, 0), (33, 4, 0), (56, 9, -1), (25, 1, 1), (25, 7, 1), (66, 0, -1), (3, 3, -1), (13, 1, -1), (69, 8, 1), (61, 5, 1), (23, 1, 0), (66, 2, 1), (73, 6, -1), (42, 2, 1), (52, 8, -1), (53, 4, 1), (99, 1, 0)], [(50, 8, 0), (61, 3, 0), (70, 5, 1), (62, 5, 0), (29, 4, -1), (40, 9, 1), (29, 7, 1), (10, 5, 1), (33, 8, -1), (32, 3, 0), (69, 9, -1), (59, 7, -1), (16, 7, 1), (39, 9, 0), (84, 0, -1), (43, 3, 1), (66, 4, 1), (75, 2, 0), (69, 0, -1), (17, 5, 1), (16, 7, -1), (50, 9, 1), (66, 8, 0), (36, 8, 1), (10, 6, -1), (31, 2, -1), (64, 0, 1), (57, 0, 0), (41, 5, 0), (83, 7, 1), (83, 3, 1), (42, 6, 0), (91, 0, -1), (29, 4, 1), (69, 6, 1), (38, 0, 0), (84, 5, 0), (17, 6, 0), (94, 7, 0), (38, 2, 1), (53, 1, -1), (92, 8, 1), (57, 7, 1), (7, 8, 0), (83, 5, 0), (65, 2, 1), (98, 5, 1), (41, 1, 1), (92, 3, -1), (4, 3, 1), (87, 4, 1), (50, 5, -1), (61, 1, -1), (9, 5, 0), (38, 9, 1), (73, 5, 0), (59, 2, -1), (63, 4, 0), (10, 3, -1), (24, 9, -1), (60, 6, -1), (56, 4, -1), (19, 6, -1), (96, 5, 0), (67, 7, -1), (66, 3, 0), (35, 1, -1), (37, 2, 1), (22, 2, -1), (88, 3, 1), (74, 0, 0), (42, 4, 1), (64, 7, 0), (53, 4, -1), (6, 1, 1), (24, 3, 0), (77, 3, 0), (47, 6, 1), (0, 2, 1), (69, 8, 0), (14, 1, 0), (16, 8, 0), (38, 1, 1), (11, 7, 1), (41, 9, 1), (5, 4, -1), (16, 3, 1), (51, 8, 1), (53, 8, 0), (76, 5, 1), (83, 6, 1), (88, 5, 1), (27, 1, 0), (25, 6, -1), (98, 4, 1), (59, 8, -1), (50, 9, 0), (77, 9, -1), (34, 3, 0), (80, 4, 0), (48, 2, 1), (19, 9, 0), (43, 3, 1), (83, 3, 0), (51, 5, 1), (11, 4, 0), (67, 7, -1), (16, 4, -1), (73, 7, 1), (69, 4, 0), (64, 9, 0), (62, 7, 1), (69, 9, -1), (57, 6, 0), (90, 3, 1), (99, 0, 0), (26, 7, -1), (54, 9, -1), (82, 9, -1), (91, 4, 1), (19, 0, 0), (8, 8, 1), (23, 7, 1), (45, 6, 1), (50, 6, -1), (45, 6, 1), (69, 6, 0), (35, 9, -1), (80, 2, 1), (7, 2, -1), (36, 0, -1), (67, 4, 0), (19, 9, -1), (21, 3, -1), (96, 5, -1), (21, 8, 1), (82, 9, -1), (90, 6, -1), (28, 1, -1), (45, 9, -1), (21, 9, -1), (71, 6, 1), (91, 6, 1), (5, 2, 0), (97, 2, 0), (65, 1, 0), (55, 5, -1), (56, 3, 0), (4, 0, 0), (95, 2, -1), (86, 2, 1), (96, 4, -1), (38, 6, 0), (43, 3, -1), (0, 1, -1), (17, 1, 1), (44, 7, 0), (8, 8, 1), (6, 9, 1), (47, 4, 0), (40, 1, 1), (9, 6, -1), (68, 7, 1), (60, 3, -1), (98, 1, -1), (45, 4, 0), (88, 9, -1), (64, 5, 0), (30, 2, 1), (64, 0, 0), (19, 4, 1), (43, 3, 1), (15, 4, 1), (97, 0, 0), (12, 9, 1), (58, 6, 1)], [(25, 1, -1), (32, 5, 0), (51, 8, 1), (33, 7, 1), (44, 3, -1), (35, 3, -1), (93, 9, 1), (3, 1, -1), (11, 9, 1), (19, 6, 0), (1, 3, 0), (1, 4, -1), (78, 2, 0), (41, 4, 1), (89, 3, -1), (71, 4, 1), (83, 9, -1), (92, 1, -1), (47, 0, 0), (64, 1, 0), (96, 4, -1), (94, 9, 1), (71, 9, 1), (2, 8, -1), (91, 3, 0), (15, 7, 0), (20, 3, 1), (88, 3, -1), (8, 6, 1), (48, 1, -1), (71, 9, 0), (95, 3, 1), (61, 9, 0), (44, 5, 1), (52, 5, 1), (97, 8, -1), (20, 6, 0), (20, 4, 0), (31, 2, 0), (26, 9, 1), (47, 4, -1), (16, 3, 0), (74, 3, 1), (6, 2, -1), (47, 6, 1), (47, 2, 1), (25, 6, -1), (75, 4, 1), (52, 9, 1), (69, 6, 1), (16, 7, 1), (63, 5, -1), (63, 1, -1), (9, 1, -1), (70, 5, 0), (61, 1, 1), (18, 6, 1), (40, 7, -1), (91, 1, 1), (63, 9, 1), (24, 3, 0), (86, 1, 1), (11, 5, 1), (29, 6, 1), (16, 7, 0), (24, 2, 0), (57, 8, 0), (59, 4, 0), (47, 2, 1), (26, 8, 1), (88, 5, -1), (60, 2, -1), (53, 3, -1), (73, 6, 1), (55, 4, -1), (45, 2, 0), (56, 6, 0), (6, 5, -1), (53, 2, 1), (52, 9, -1), (92, 6, -1), (3, 4, -1), (63, 9, 1), (0, 8, 0), (10, 1, 0), (78, 4, -1), (54, 8, -1), (49, 3, -1), (71, 9, -1), (98, 4, 0), (82, 4, 0), (13, 8, 1), (20, 1, 0), (86, 0, 0), (5, 0, -1), (56, 5, 0), (34, 6, 1), (14, 6, 0), (70, 9, 0), (12, 4, 0), (29, 1, 0), (42, 6, 1), (34, 2, -1), (98, 5, -1), (95, 6, 1), (83, 0, 1), (89, 6, 0), (0, 5, 0), (54, 9, 1), (76, 6, 0), (2, 2, 1), (49, 8, 0), (40, 3, 1), (48, 1, -1), (57, 6, -1), (71, 9, 1), (3, 0, 0), (0, 4, 1), (66, 5, -1), (18, 7, 0), (23, 4, -1), (9, 8, 0), (59, 5, 1), (37, 1, 1), (77, 6, 0), (64, 0, 0), (28, 5, -1), (10, 6, 1), (15, 0, 0), (46, 0, 0), (85, 1, 1), (35, 6, 0), (75, 3, 1), (3, 8, 1), (40, 9, -1), (12, 9, -1), (68, 0, -1), (18, 3, 0), (75, 9, 1), (52, 9, 1), (10, 8, 1), (77, 1, 0), (67, 0, 0), (36, 2, 0), (99, 8, 1), (96, 3, -1), (41, 1, 0), (73, 5, 0), (46, 5, 1), (38, 6, -1), (39, 2, -1), (10, 2, 1), (76, 3, 0), (13, 4, -1), (9, 6, 0), (97, 8, 1), (54, 7, 1), (86, 0, -1), (47, 5, 1), (22, 2, -1), (96, 8, 1), (78, 5, 1), (85, 3, 0), (26, 3, -1), (96, 3, 1), (64, 9, 1), (46, 2, 0), (65, 3, 1), (68, 0, -1), (22, 0, 0), (71, 0, 0), (82, 1, 1), (26, 3, 1), (78, 0, 1), (86, 8, 1), (81, 8, 1)]]