_application topaz _version 2.3 _type SimplicialComplex FACETS {0 1 2 3 6} {0 1 2 3 10} {0 1 2 6 15} {0 1 2 7 10} {0 1 2 7 15} {0 1 3 6 7} {0 1 3 7 10} {0 1 4 8 12} {0 1 4 8 16} {0 1 4 12 16} {0 1 6 7 12} {0 1 6 11 12} {0 1 6 11 15} {0 1 7 9 12} {0 1 7 9 13} {0 1 7 11 15} {0 1 7 11 17} {0 1 7 13 17} {0 1 8 12 17} {0 1 8 16 17} {0 1 9 12 13} {0 1 11 12 17} {0 1 12 13 16} {0 1 13 16 17} {0 2 3 6 13} {0 2 3 10 11} {0 2 3 11 16} {0 2 3 13 16} {0 2 4 5 9} {0 2 4 5 16} {0 2 4 7 8} {0 2 4 7 14} {0 2 4 8 16} {0 2 4 9 14} {0 2 5 9 12} {0 2 5 12 16} {0 2 6 9 13} {0 2 6 9 14} {0 2 6 14 15} {0 2 7 8 10} {0 2 7 14 15} {0 2 8 10 11} {0 2 8 11 16} {0 2 9 12 13} {0 2 12 13 16} {0 3 4 8 12} {0 3 4 8 14} {0 3 4 9 12} {0 3 4 9 14} {0 3 6 7 12} {0 3 6 8 12} {0 3 6 8 13} {0 3 7 10 12} {0 3 8 13 14} {0 3 9 10 11} {0 3 9 10 12} {0 3 9 11 17} {0 3 9 14 17} {0 3 11 14 16} {0 3 11 14 17} {0 3 13 14 16} {0 4 5 9 12} {0 4 5 12 16} {0 4 7 8 14} {0 6 8 9 13} {0 6 8 9 17} {0 6 8 12 17} {0 6 9 14 17} {0 6 11 12 14} {0 6 11 14 15} {0 6 12 14 17} {0 7 8 9 10} {0 7 8 9 13} {0 7 8 13 14} {0 7 9 10 12} {0 7 11 13 14} {0 7 11 13 17} {0 7 11 14 15} {0 8 9 10 11} {0 8 9 11 17} {0 8 11 16 17} {0 11 12 14 17} {0 11 13 14 16} {0 11 13 16 17} {1 2 3 4 5} {1 2 3 4 6} {1 2 3 5 11} {1 2 3 10 11} {1 2 4 5 16} {1 2 4 6 8} {1 2 4 8 16} {1 2 5 11 13} {1 2 5 12 13} {1 2 5 12 14} {1 2 5 14 16} {1 2 6 8 14} {1 2 6 14 15} {1 2 7 10 11} {1 2 7 11 15} {1 2 8 14 16} {1 2 11 13 15} {1 2 12 13 14} {1 2 13 14 15} {1 3 4 5 7} {1 3 4 6 9} {1 3 4 7 14} {1 3 4 9 14} {1 3 5 7 17} {1 3 5 10 11} {1 3 5 10 17} {1 3 6 7 9} {1 3 7 9 14} {1 3 7 10 17} {1 4 5 7 17} {1 4 5 16 17} {1 4 6 8 9} {1 4 7 13 14} {1 4 7 13 17} {1 4 8 9 11} {1 4 8 11 12} {1 4 9 11 14} {1 4 11 12 14} {1 4 12 13 14} {1 4 12 13 16} {1 4 13 16 17} {1 5 6 11 12} {1 5 6 11 13} {1 5 6 12 13} {1 5 10 11 14} {1 5 10 14 16} {1 5 10 16 17} {1 5 11 12 14} {1 6 7 9 12} {1 6 8 9 13} {1 6 8 13 14} {1 6 9 12 13} {1 6 11 13 15} {1 6 13 14 15} {1 7 9 13 14} {1 7 10 11 17} {1 8 9 10 11} {1 8 9 10 14} {1 8 9 13 14} {1 8 10 11 12} {1 8 10 12 17} {1 8 10 14 16} {1 8 10 16 17} {1 9 10 11 14} {1 10 11 12 17} {2 3 4 5 11} {2 3 4 6 13} {2 3 4 11 12} {2 3 4 12 13} {2 3 11 12 14} {2 3 11 14 16} {2 3 12 13 16} {2 3 12 14 16} {2 4 5 9 11} {2 4 6 7 8} {2 4 6 7 13} {2 4 7 13 14} {2 4 9 11 14} {2 4 11 12 14} {2 4 12 13 14} {2 5 7 9 11} {2 5 7 9 12} {2 5 7 11 13} {2 5 7 12 13} {2 5 12 14 16} {2 6 7 8 11} {2 6 7 9 11} {2 6 7 9 12} {2 6 7 12 13} {2 6 8 11 14} {2 6 9 11 14} {2 6 9 12 13} {2 7 8 10 11} {2 7 11 13 15} {2 7 13 14 15} {2 8 11 14 16} {3 4 5 7 14} {3 4 5 8 11} {3 4 5 8 14} {3 4 6 9 10} {3 4 6 10 13} {3 4 8 11 12} {3 4 9 10 12} {3 4 10 12 17} {3 4 10 13 17} {3 4 12 13 16} {3 4 12 16 17} {3 4 13 16 17} {3 5 7 14 17} {3 5 8 11 13} {3 5 8 13 16} {3 5 8 14 16} {3 5 10 11 13} {3 5 10 13 17} {3 5 13 16 17} {3 5 14 16 17} {3 6 7 8 11} {3 6 7 8 12} {3 6 7 9 11} {3 6 8 11 13} {3 6 9 10 11} {3 6 10 11 13} {3 7 8 11 12} {3 7 9 11 17} {3 7 9 14 17} {3 7 10 12 17} {3 7 11 12 17} {3 8 13 14 16} {3 11 12 14 17} {3 12 14 16 17} {4 5 7 10 13} {4 5 7 10 14} {4 5 7 11 13} {4 5 7 11 17} {4 5 8 10 13} {4 5 8 10 14} {4 5 8 11 13} {4 5 9 11 17} {4 5 9 12 17} {4 5 12 16 17} {4 6 7 8 10} {4 6 7 10 13} {4 6 8 9 17} {4 6 8 10 17} {4 6 9 10 17} {4 7 8 10 14} {4 7 11 13 17} {4 8 9 11 17} {4 8 10 13 17} {4 8 11 13 17} {4 9 10 12 17} {5 6 10 11 13} {5 6 10 11 14} {5 6 10 12 13} {5 6 10 12 14} {5 6 11 12 14} {5 7 9 11 17} {5 7 9 12 14} {5 7 9 14 17} {5 7 10 12 13} {5 7 10 12 14} {5 8 10 13 16} {5 8 10 14 16} {5 9 12 14 17} {5 10 13 16 17} {5 12 14 16 17} {6 7 8 10 12} {6 7 10 12 13} {6 8 10 12 17} {6 8 11 13 14} {6 9 10 11 14} {6 9 10 14 17} {6 10 12 14 17} {6 11 13 14 15} {7 8 9 10 14} {7 8 9 13 14} {7 8 10 11 12} {7 9 10 12 14} {7 10 11 12 17} {7 11 13 14 15} {8 10 13 16 17} {8 11 13 14 16} {8 11 13 16 17} {9 10 12 14 17} PURE 1 DIM 4 HOMOLOGY ({} 0) ({} 0) ({(2 1)} 14) ({} 0) ({} 1) CYCLES (<> <> ) (<> <> ) (<1 -1 1 1 1 0 0 -1 1 -1 0 1 -1 0 0 2 -1 1 1 0 0 0 0 0 0 1 -1 -1 0 -1 1 0 0 0 -1 0 -1 0 1 -1 1 1 -1 0 0 -1 1 0 1 0 0 0 1 -1 -1 0 0 -1 1 0 -1 -1 1 0 0 -1 0 1 -2 0 (70) (5 1) (6 -1) (9 -1) (10 1) (13 1) (14 -1) (15 1) (16 -1) (20 1) (21 -1) (24 -1) (25 1) (31 1) (33 -1) (58 1) (59 -1) (70) (11 -1) (12 1) (16 -1) (19 -1) (28 1) (62 1) (64 -1) (67 1) (70) (5 1) (6 -1) (9 -1) (10 1) (13 1) (14 -1) (15 1) (16 -1) (32 1) (33 -1) (35 1) (37 -1) (59 -1) (62 1) (64 -1) (67 1) (70) (5 -1) (6 1) (9 1) (10 -1) (13 -1) (14 1) (15 -1) (16 1) (20 -1) (21 1) (22 1) (23 -1) (27 -1) (31 -1) (33 1) (39 -1) (40 1) (41 1) (42 -1) (59 1) (70) (5 -1) (6 1) (9 1) (10 -1) (13 -1) (14 1) (18 1) (19 -1) (37 1) (38 -1) (39 -1) (40 1) (45 -1) (52 1) (53 -1) (55 -1) (56 1) (63 1) (70) (5 -1) (6 1) (9 1) (10 -1) (13 -1) (14 1) (15 -1) (16 1) (20 -1) (21 1) (22 1) (23 -1) (27 -1) (31 -1) (33 1) (39 -1) (40 1) (45 -1) (57 1) (58 -1) (59 1) (62 1) (70) (5 1) (6 -1) (9 -1) (10 1) (11 -1) (12 1) (13 1) (14 -1) (15 1) (16 -2) (19 -1) (20 1) (21 -1) (24 -1) (26 1) (27 1) (31 1) (33 -1) (58 1) (59 -1) (60 1) (70) (15 1) (16 -1) (18 1) (19 -1) (43 -1) (44 1) (45 -1) (50 -1) (51 1) (53 -1) (55 -1) (61 1) (62 1) (67 1) (70) (7 -1) (8 1) (9 -1) (15 1) (16 -1) (18 1) (19 -1) (20 1) (21 -1) (22 -1) (23 1) (27 1) (34 -1) (36 -1) (37 1) (39 1) (40 -1) (46 1) (70) (0 -1) (1 1) (2 -1) (3 -1) (4 -1) (15 -1) (16 1) (17 1) (18 -2) (19 2) (20 -2) (21 2) (22 2) (23 -2) (27 -2) (29 -1) (30 1) (34 1) (36 1) (37 -2) (38 1) (39 -2) (40 2) (43 1) (44 -1) (45 -1) (47 1) (49 1) (50 1) (51 -1) (53 1) (55 1) (62 1) (69 -1) 1 -1 1 1 1 -1 1 0 0 1 -1 0 0 -1 1 0 0 -1 2 -2 1 -1 -1 1 0 0 0 1 0 0 0 0 0 0 -1 0 -1 2 -1 1 -1 0 0 -1 1 0 0 -1 1 -1 -1 1 0 -1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 (70) (0 -1) (1 1) (2 -1) (3 -1) (4 -1) (15 -1) (16 1) (18 -1) (19 1) (20 -1) (21 1) (22 1) (23 -1) (27 -1) (34 1) (36 1) (37 -1) (39 -1) (40 1) (43 1) (44 -1) (50 1) (51 -1) (53 1) (54 1) (56 1) (70) (17 -1) (18 1) (19 -1) (20 1) (21 -1) (22 -1) (23 1) (27 1) (34 -1) (36 -1) (37 1) (39 1) (40 -1) (45 1) (62 -1) (65 1) (70) (0 -1) (1 1) (2 -1) (3 -1) (4 -1) (5 1) (6 -1) (9 -1) (10 1) (13 1) (14 -1) (18 -1) (19 1) (37 -1) (38 1) (43 1) (44 -1) (45 1) (50 1) (51 -1) (53 1) (55 1) (63 -1) (66 1) > <{0 9 10} {0 9 17} {0 10 12} {0 12 14} {0 14 17} {2 3 12} {2 3 14} {2 6 11} {2 6 12} {2 11 12} {2 11 14} {3 4 11} {3 4 17} {3 5 13} {3 5 14} {3 11 12} {3 11 13} {3 12 13} {3 12 17} {3 13 17} {4 5 10} {4 5 13} {4 7 10} {4 7 11} {4 8 10} {4 8 13} {4 8 17} {4 11 13} {4 11 17} {5 6 10} {5 6 14} {5 8 10} {5 8 11} {5 8 14} {5 10 12} {5 11 17} {5 12 17} {5 13 17} {5 14 17} {6 7 10} {6 7 11} {6 8 10} {6 8 11} {6 9 10} {6 9 11} {6 10 11} {6 10 12} {6 10 13} {6 10 14} {6 13 14} {7 9 11} {7 9 17} {7 10 14} {7 11 12} {7 12 14} {7 12 17} {7 14 17} {8 10 13} {8 11 13} {8 11 14} {8 13 17} {9 10 17} {10 11 13} {10 11 14} {10 11 17} {10 12 13} {10 12 14} {10 13 17} {10 14 17} {12 13 14} > ) (<> <> ) (<-1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 > <{0 1 2 3 6} {0 1 2 3 10} {0 1 2 6 15} {0 1 2 7 10} {0 1 2 7 15} {0 1 3 6 7} {0 1 3 7 10} {0 1 4 8 12} {0 1 4 8 16} {0 1 4 12 16} {0 1 6 7 12} {0 1 6 11 12} {0 1 6 11 15} {0 1 7 9 12} {0 1 7 9 13} {0 1 7 11 15} {0 1 7 11 17} {0 1 7 13 17} {0 1 8 12 17} {0 1 8 16 17} {0 1 9 12 13} {0 1 11 12 17} {0 1 12 13 16} {0 1 13 16 17} {0 2 3 6 13} {0 2 3 10 11} {0 2 3 11 16} {0 2 3 13 16} {0 2 4 5 9} {0 2 4 5 16} {0 2 4 7 8} {0 2 4 7 14} {0 2 4 8 16} {0 2 4 9 14} {0 2 5 9 12} {0 2 5 12 16} {0 2 6 9 13} {0 2 6 9 14} {0 2 6 14 15} {0 2 7 8 10} {0 2 7 14 15} {0 2 8 10 11} {0 2 8 11 16} {0 2 9 12 13} {0 2 12 13 16} {0 3 4 8 12} {0 3 4 8 14} {0 3 4 9 12} {0 3 4 9 14} {0 3 6 7 12} {0 3 6 8 12} {0 3 6 8 13} {0 3 7 10 12} {0 3 8 13 14} {0 3 9 10 11} {0 3 9 10 12} {0 3 9 11 17} {0 3 9 14 17} {0 3 11 14 16} {0 3 11 14 17} {0 3 13 14 16} {0 4 5 9 12} {0 4 5 12 16} {0 4 7 8 14} {0 6 8 9 13} {0 6 8 9 17} {0 6 8 12 17} {0 6 9 14 17} {0 6 11 12 14} {0 6 11 14 15} {0 6 12 14 17} {0 7 8 9 10} {0 7 8 9 13} {0 7 8 13 14} {0 7 9 10 12} {0 7 11 13 14} {0 7 11 13 17} {0 7 11 14 15} {0 8 9 10 11} {0 8 9 11 17} {0 8 11 16 17} {0 11 12 14 17} {0 11 13 14 16} {0 11 13 16 17} {1 2 3 4 5} {1 2 3 4 6} {1 2 3 5 11} {1 2 3 10 11} {1 2 4 5 16} {1 2 4 6 8} {1 2 4 8 16} {1 2 5 11 13} {1 2 5 12 13} {1 2 5 12 14} {1 2 5 14 16} {1 2 6 8 14} {1 2 6 14 15} {1 2 7 10 11} {1 2 7 11 15} {1 2 8 14 16} {1 2 11 13 15} {1 2 12 13 14} {1 2 13 14 15} {1 3 4 5 7} {1 3 4 6 9} {1 3 4 7 14} {1 3 4 9 14} {1 3 5 7 17} {1 3 5 10 11} {1 3 5 10 17} {1 3 6 7 9} {1 3 7 9 14} {1 3 7 10 17} {1 4 5 7 17} {1 4 5 16 17} {1 4 6 8 9} {1 4 7 13 14} {1 4 7 13 17} {1 4 8 9 11} {1 4 8 11 12} {1 4 9 11 14} {1 4 11 12 14} {1 4 12 13 14} {1 4 12 13 16} {1 4 13 16 17} {1 5 6 11 12} {1 5 6 11 13} {1 5 6 12 13} {1 5 10 11 14} {1 5 10 14 16} {1 5 10 16 17} {1 5 11 12 14} {1 6 7 9 12} {1 6 8 9 13} {1 6 8 13 14} {1 6 9 12 13} {1 6 11 13 15} {1 6 13 14 15} {1 7 9 13 14} {1 7 10 11 17} {1 8 9 10 11} {1 8 9 10 14} {1 8 9 13 14} {1 8 10 11 12} {1 8 10 12 17} {1 8 10 14 16} {1 8 10 16 17} {1 9 10 11 14} {1 10 11 12 17} {2 3 4 5 11} {2 3 4 6 13} {2 3 4 11 12} {2 3 4 12 13} {2 3 11 12 14} {2 3 11 14 16} {2 3 12 13 16} {2 3 12 14 16} {2 4 5 9 11} {2 4 6 7 8} {2 4 6 7 13} {2 4 7 13 14} {2 4 9 11 14} {2 4 11 12 14} {2 4 12 13 14} {2 5 7 9 11} {2 5 7 9 12} {2 5 7 11 13} {2 5 7 12 13} {2 5 12 14 16} {2 6 7 8 11} {2 6 7 9 11} {2 6 7 9 12} {2 6 7 12 13} {2 6 8 11 14} {2 6 9 11 14} {2 6 9 12 13} {2 7 8 10 11} {2 7 11 13 15} {2 7 13 14 15} {2 8 11 14 16} {3 4 5 7 14} {3 4 5 8 11} {3 4 5 8 14} {3 4 6 9 10} {3 4 6 10 13} {3 4 8 11 12} {3 4 9 10 12} {3 4 10 12 17} {3 4 10 13 17} {3 4 12 13 16} {3 4 12 16 17} {3 4 13 16 17} {3 5 7 14 17} {3 5 8 11 13} {3 5 8 13 16} {3 5 8 14 16} {3 5 10 11 13} {3 5 10 13 17} {3 5 13 16 17} {3 5 14 16 17} {3 6 7 8 11} {3 6 7 8 12} {3 6 7 9 11} {3 6 8 11 13} {3 6 9 10 11} {3 6 10 11 13} {3 7 8 11 12} {3 7 9 11 17} {3 7 9 14 17} {3 7 10 12 17} {3 7 11 12 17} {3 8 13 14 16} {3 11 12 14 17} {3 12 14 16 17} {4 5 7 10 13} {4 5 7 10 14} {4 5 7 11 13} {4 5 7 11 17} {4 5 8 10 13} {4 5 8 10 14} {4 5 8 11 13} {4 5 9 11 17} {4 5 9 12 17} {4 5 12 16 17} {4 6 7 8 10} {4 6 7 10 13} {4 6 8 9 17} {4 6 8 10 17} {4 6 9 10 17} {4 7 8 10 14} {4 7 11 13 17} {4 8 9 11 17} {4 8 10 13 17} {4 8 11 13 17} {4 9 10 12 17} {5 6 10 11 13} {5 6 10 11 14} {5 6 10 12 13} {5 6 10 12 14} {5 6 11 12 14} {5 7 9 11 17} {5 7 9 12 14} {5 7 9 14 17} {5 7 10 12 13} {5 7 10 12 14} {5 8 10 13 16} {5 8 10 14 16} {5 9 12 14 17} {5 10 13 16 17} {5 12 14 16 17} {6 7 8 10 12} {6 7 10 12 13} {6 8 10 12 17} {6 8 11 13 14} {6 9 10 11 14} {6 9 10 14 17} {6 10 12 14 17} {6 11 13 14 15} {7 8 9 10 14} {7 8 9 13 14} {7 8 10 11 12} {7 9 10 12 14} {7 10 11 12 17} {7 11 13 14 15} {8 10 13 16 17} {8 11 13 14 16} {8 11 13 16 17} {9 10 12 14 17} > ) COHOMOLOGY ({} 0) ({} 0) ({} 14) ({(2 1)} 0) ({} 1) COCYCLES (<> <> ) (<> <> ) (<(229) (0 -1) (1 -1) (5 -1) (6 -1) (11 1) (12 1) (13 1) (14 1) (16 -1) (37 -1) (38 -1) (39 -1) (41 -1) (42 -1) (43 1) (46 1) (47 1) (48 1) (50 -1) (52 -1) (54 -1) (55 1) (56 -1) (58 -1) (63 1) (65 -1) (68 -1) (69 -1) (70 -1) (74 -1) (88 -1) (90 -1) (96 -1) (100 1) (103 -1) (104 -1) (107 -1) (108 1) (109 1) (110 1) (111 -1) (112 -1) (116 1) (117 1) (118 1) (119 1) (120 1) (122 -1) (124 -1) (125 1) (126 -1) (133 1) (135 1) (141 1) (142 1) (148 1) (152 -1) (156 1) (158 1) (160 -1) (165 1) (186 -1) (189 -1) (225 1) (226 -1) (229) (0 -1) (1 -1) (5 -1) (9 1) (11 1) (14 1) (16 -1) (20 1) (22 1) (23 1) (25 1) (26 1) (27 1) (28 1) (31 -1) (34 1) (35 -1) (36 1) (39 -1) (40 -1) (41 -1) (42 -1) (43 1) (47 1) (53 -1) (57 -1) (61 1) (64 1) (73 -1) (74 -1) (78 -1) (83 1) (87 -1) (94 1) (95 1) (96 1) (97 1) (98 1) (100 1) (101 -1) (107 1) (108 1) (112 1) (113 1) (116 1) (119 -1) (121 -1) (122 -1) (123 -1) (124 -1) (131 1) (132 1) (133 1) (134 1) (136 1) (137 1) (138 1) (140 1) (141 1) (144 -1) (148 1) (150 -1) (152 -1) (155 -1) (156 1) (159 -1) (160 -1) (161 -1) (165 -1) (166 1) (167 1) (168 1) (176 -1) (178 1) (181 -1) (186 1) (189 1) (192 -1) (195 1) (196 1) (198 1) (199 1) (200 1) (213 -1) (221 -1) (223 -1) (224 1) (227 1) (229) (0 1) (1 1) (2 1) (5 1) (6 1) (8 1) (9 1) (10 1) (11 -1) (12 -1) (13 -1) (16 1) (17 1) (20 1) (21 -1) (23 1) (24 -1) (26 1) (27 2) (28 1) (29 1) (31 -1) (34 1) (38 1) (39 1) (40 -1) (44 -1) (48 -1) (51 -1) (53 -1) (54 1) (56 1) (58 1) (59 1) (61 1) (63 -1) (65 1) (67 -1) (70 -1) (71 -1) (74 1) (75 -1) (77 -1) (80 -1) (82 -1) (85 -1) (86 1) (89 -1) (91 -1) (92 -1) (93 -1) (100 -1) (101 1) (102 1) (103 1) (104 1) (105 1) (106 1) (109 -1) (110 -1) (113 1) (116 1) (121 -1) (123 -1) (126 1) (135 -1) (138 1) (141 -1) (142 1) (144 1) (145 1) (148 -1) (150 -1) (155 1) (156 -1) (158 -1) (159 1) (160 1) (165 -1) (167 1) (168 1) (170 1) (172 1) (176 -1) (178 1) (180 1) (182 1) (184 1) (185 1) (186 1) (189 1) (192 -1) (193 1) (200 1) (208 1) (212 1) (214 1) (215 1) (223 -1) (224 1) (225 -1) (227 1) (228 -1) (229) (0 1) (1 1) (5 1) (9 -1) (10 1) (11 -1) (14 -1) (16 1) (17 -1) (20 -1) (21 1) (24 1) (26 -1) (27 -1) (28 -1) (31 1) (34 -1) (36 -1) (38 1) (39 1) (41 1) (42 1) (43 -2) (46 -2) (47 -2) (48 -1) (50 2) (52 2) (53 1) (54 1) (55 -1) (56 1) (57 1) (58 1) (61 -1) (63 -1) (64 -1) (67 -1) (70 -1) (74 1) (75 -1) (80 -1) (82 -1) (83 -1) (85 -1) (86 1) (87 1) (89 -1) (91 -1) (92 -1) (93 -1) (94 -1) (95 -1) (99 -1) (100 -1) (101 -1) (102 -1) (107 1) (108 -1) (111 1) (112 1) (114 1) (115 1) (116 -1) (119 -1) (121 1) (122 1) (123 1) (124 1) (133 -2) (135 -1) (138 -1) (141 -1) (142 -1) (144 1) (148 -1) (150 1) (152 2) (155 1) (156 -1) (158 -1) (159 1) (160 1) (164 -1) (165 -1) (167 -1) (168 -1) (176 1) (178 -1) (182 1) (184 1) (186 1) (189 1) (192 1) (193 1) (213 1) (223 1) (224 -1) (225 -1) (227 -1) (228 -1) (229) (2 -1) (8 -1) (10 -1) (23 -1) (27 -1) (29 -1) (35 1) (38 -1) (40 1) (43 -1) (44 1) (48 1) (51 1) (56 -1) (57 -1) (58 -1) (59 -1) (63 1) (67 1) (70 1) (71 1) (73 1) (75 1) (77 1) (80 1) (82 1) (84 -1) (85 1) (86 -1) (87 -1) (89 1) (91 1) (92 1) (93 1) (96 1) (98 1) (99 1) (108 -1) (113 -1) (114 1) (116 -1) (121 1) (123 1) (131 -1) (132 -1) (133 -1) (134 -1) (135 -1) (136 -1) (137 -1) (138 -1) (140 -1) (141 -1) (142 -1) (145 -1) (152 1) (158 1) (167 -1) (170 -1) (172 -1) (180 -1) (182 -1) (184 -1) (185 -1) (193 -1) (196 -1) (200 -1) (201 -1) (202 -1) (203 1) (204 1) (205 1) (208 -1) (212 -1) (213 -1) (214 -1) (215 -1) (221 1) (225 1) (228 1) (229) (0 1) (1 1) (3 -1) (4 -1) (5 1) (10 1) (11 -1) (15 -1) (16 1) (32 1) (33 1) (36 -1) (38 1) (39 1) (41 1) (42 1) (43 -1) (45 1) (46 -1) (47 -1) (48 -1) (50 1) (52 1) (53 1) (54 1) (56 1) (57 1) (58 1) (61 -1) (62 -1) (63 -1) (64 -1) (67 -1) (70 -1) (72 1) (74 1) (75 -1) (77 -1) (80 -1) (82 -1) (83 -1) (85 -1) (86 1) (87 1) (89 -1) (91 -1) (92 -1) (93 -1) (94 -1) (95 -1) (96 -1) (99 -1) (100 -1) (122 1) (124 1) (127 1) (128 1) (130 1) (133 -1) (135 -1) (138 -1) (139 -1) (141 -1) (144 1) (147 -1) (148 -1) (149 1) (151 1) (152 1) (153 -1) (155 1) (157 1) (158 -1) (159 1) (160 1) (170 1) (172 1) (182 1) (184 1) (193 1) (208 1) (213 1) (214 1) (224 -1) (225 -1) (228 -1) (229) (6 1) (7 2) (9 2) (10 1) (12 1) (13 1) (14 1) (18 1) (19 1) (21 1) (22 1) (23 1) (24 1) (25 1) (35 -1) (36 1) (38 1) (40 -2) (41 -1) (42 -1) (43 -1) (46 -1) (48 -1) (49 -1) (54 1) (55 -1) (56 1) (58 1) (63 -1) (64 1) (65 1) (66 2) (67 -1) (70 -1) (73 -1) (75 -1) (76 -1) (77 -1) (78 -1) (79 -2) (80 -1) (81 -2) (82 -1) (85 -1) (86 1) (89 -1) (91 -1) (92 -1) (93 -1) (94 -1) (95 1) (96 1) (97 2) (98 1) (101 -1) (104 1) (105 1) (107 1) (108 2) (109 1) (110 1) (112 1) (113 1) (116 1) (119 -1) (121 -1) (122 -1) (123 -1) (124 -1) (126 -1) (127 1) (129 1) (131 -1) (132 -1) (133 -1) (134 -1) (135 -1) (136 -1) (137 1) (140 1) (142 -1) (152 1) (158 -1) (161 -1) (162 -1) (163 -1) (165 -1) (167 1) (168 1) (169 -1) (171 1) (172 1) (173 1) (174 1) (175 1) (176 -1) (177 -1) (178 1) (179 1) (181 -1) (182 -1) (184 -1) (193 -1) (195 1) (196 1) (198 1) (199 1) (200 1) (221 -1) (225 -1) (228 -1) (229) (7 -1) (12 -1) (13 -1) (18 -1) (19 -1) (20 1) (21 -1) (24 -1) (26 1) (27 1) (28 1) (31 -1) (34 1) (49 1) (50 1) (52 1) (53 -1) (57 -1) (61 1) (66 -1) (72 1) (79 1) (81 1) (94 1) (98 1) (108 -1) (109 -1) (110 -1) (126 1) (129 -1) (131 1) (132 1) (134 1) (135 -1) (136 1) (139 -1) (147 -1) (150 -1) (156 1) (157 1) (162 1) (165 -1) (171 -1) (177 1) (179 -1) (182 1) (184 1) (186 1) (189 2) (192 -1) (193 1) (216 1) (223 -1) (224 1) (227 1) (229) (0 -1) (1 -1) (5 -1) (10 -1) (11 1) (16 -1) (22 -1) (23 -1) (26 -1) (27 -1) (30 1) (36 1) (37 1) (38 -1) (39 -1) (40 1) (43 1) (46 1) (47 1) (48 1) (50 -1) (52 -1) (54 -1) (56 -1) (58 -1) (63 1) (64 1) (67 2) (68 1) (69 1) (70 2) (72 -1) (74 -1) (75 1) (77 1) (80 1) (82 1) (83 1) (85 1) (86 -2) (87 -1) (88 1) (89 2) (90 1) (91 2) (92 1) (93 1) (94 1) (95 1) (96 2) (97 -1) (99 1) (100 1) (105 -1) (108 -1) (113 -1) (116 -1) (118 -1) (119 -1) (120 -1) (121 1) (123 1) (127 -1) (132 -1) (133 1) (135 1) (137 -1) (138 1) (139 1) (141 1) (144 -1) (146 1) (147 1) (148 1) (152 -1) (155 -1) (157 -1) (158 1) (159 -1) (160 -1) (165 1) (170 -1) (172 -1) (174 -1) (175 -1) (182 -1) (184 -1) (186 -1) (187 -1) (188 -1) (189 -1) (191 1) (193 -1) (196 -1) (197 -1) (198 -1) (199 -1) (200 -1) (206 -1) (207 -1) (208 -1) (212 -1) (213 -1) (217 1) (218 1) (225 1) (228 1) (229) (0 -1) (1 -1) (2 -1) (3 1) (4 1) (5 -1) (8 -1) (10 -2) (11 1) (15 1) (16 -1) (23 -1) (27 -1) (29 -1) (36 1) (38 -1) (39 -1) (40 1) (41 -1) (42 -1) (44 1) (45 -1) (46 1) (47 1) (48 1) (50 -1) (51 1) (52 -1) (53 -1) (54 -1) (56 -2) (57 -2) (58 -1) (59 -1) (60 1) (61 1) (62 1) (63 1) (64 1) (67 2) (70 2) (71 1) (74 -1) (75 2) (77 1) (80 2) (82 2) (83 1) (85 2) (86 -2) (87 -1) (89 2) (91 2) (92 2) (93 2) (94 1) (95 1) (96 1) (98 1) (99 1) (100 1) (108 -1) (113 -1) (116 -1) (121 1) (123 1) (128 -1) (131 -1) (134 -1) (141 1) (142 -1) (143 1) (144 -1) (145 -1) (146 -1) (148 1) (149 -1) (153 1) (154 1) (155 -1) (156 1) (158 1) (159 -2) (160 -1) (164 1) (170 -1) (172 -1) (180 -1) (182 -2) (184 -2) (185 -1) (193 -2) (200 -1) (208 -1) (212 -1) (213 -1) (214 -1) (215 -1) (225 2) (228 2) (229) (2 -1) (8 -1) (10 -1) (12 1) (20 -1) (23 -1) (25 -1) (27 -1) (29 -1) (31 1) (34 -1) (35 1) (38 -1) (40 1) (43 -1) (44 1) (48 1) (51 1) (53 1) (54 -1) (56 -1) (58 -1) (59 -1) (61 -1) (63 1) (66 1) (67 1) (70 1) (71 1) (73 1) (75 1) (77 1) (80 1) (81 -1) (82 1) (85 1) (86 -1) (89 1) (91 1) (92 1) (93 1) (94 -1) (99 1) (109 1) (110 1) (113 -1) (116 -1) (119 1) (121 1) (123 1) (126 -1) (131 -1) (132 -1) (133 -1) (134 -1) (136 -2) (138 -1) (140 -1) (142 -1) (145 -1) (150 1) (152 1) (158 1) (165 1) (167 -1) (168 -1) (170 -1) (172 -1) (176 1) (178 -1) (180 -1) (182 -1) (183 1) (184 -1) (185 -1) (186 -1) (187 1) (189 -1) (190 1) (192 1) (193 -2) (194 1) (197 1) (200 -1) (208 -1) (211 -1) (212 -1) (214 -1) (215 -1) (221 1) (223 1) (224 -1) (225 1) (227 -1) (228 1) (229) (3 1) (4 1) (6 -1) (7 -1) (9 -2) (12 -1) (14 -1) (15 1) (28 -1) (36 -1) (37 -1) (40 1) (43 1) (45 -1) (53 -1) (55 1) (56 -1) (57 -1) (60 1) (61 1) (62 1) (64 -1) (65 -1) (66 -2) (68 -1) (69 -1) (70 -1) (76 1) (79 1) (81 2) (88 -1) (90 -1) (94 1) (95 -1) (96 -2) (97 -1) (98 -1) (99 -1) (104 -1) (107 -1) (108 -1) (109 -1) (110 -1) (112 -1) (118 1) (119 1) (120 1) (122 1) (124 1) (125 1) (126 1) (128 -1) (131 1) (132 2) (133 1) (134 1) (135 1) (136 2) (142 1) (146 -1) (149 -1) (152 -1) (153 1) (154 1) (155 1) (165 -1) (169 1) (170 1) (182 1) (183 -1) (184 1) (186 1) (189 1) (193 2) (194 -1) (206 1) (207 1) (208 1) (209 1) (210 1) (211 1) (225 1) (226 -1) (229) (0 1) (1 1) (2 1) (5 1) (8 1) (10 2) (11 -1) (16 1) (23 1) (27 1) (29 1) (36 -1) (37 -1) (38 1) (39 1) (40 -1) (44 -1) (46 -1) (47 -1) (48 -1) (50 1) (51 -1) (52 1) (54 1) (56 1) (57 1) (58 1) (59 1) (63 -1) (64 -1) (67 -2) (68 -1) (69 -1) (70 -2) (71 -1) (73 -1) (75 -2) (77 -1) (80 -2) (82 -2) (83 -1) (85 -2) (86 2) (87 1) (88 -1) (89 -2) (90 -1) (91 -2) (92 -1) (93 -1) (94 -1) (95 -1) (96 -2) (98 -1) (99 -2) (100 -1) (105 1) (108 1) (113 1) (116 1) (118 1) (121 -1) (123 -1) (131 1) (132 1) (134 1) (136 1) (137 1) (140 1) (142 1) (144 1) (145 1) (148 -1) (155 1) (157 1) (158 -1) (159 1) (160 1) (164 -1) (165 -1) (170 1) (172 1) (180 1) (182 2) (184 2) (185 1) (186 1) (189 1) (193 2) (196 1) (200 1) (208 1) (212 1) (213 1) (214 1) (215 1) (219 1) (220 1) (225 -1) (228 -1) (229) (2 -1) (8 -1) (9 -1) (10 -1) (14 -1) (20 -1) (22 -1) (23 -2) (25 -1) (26 -1) (27 -2) (28 -1) (29 -1) (30 1) (31 1) (34 -1) (35 1) (37 1) (38 -1) (40 2) (41 1) (42 1) (43 -1) (44 1) (48 1) (51 1) (53 1) (54 -1) (56 -1) (58 -1) (59 -1) (61 -1) (63 1) (67 2) (68 1) (69 1) (70 2) (71 1) (73 1) (75 1) (77 1) (80 1) (82 1) (85 1) (86 -2) (88 1) (89 2) (90 1) (91 2) (92 1) (93 1) (96 1) (97 -1) (99 1) (105 -1) (108 -2) (113 -2) (116 -2) (118 -1) (120 -1) (121 2) (122 1) (123 2) (124 1) (131 -1) (132 -1) (133 -1) (134 -1) (136 -1) (137 -1) (138 -1) (140 -1) (142 -1) (145 -1) (150 1) (152 1) (158 1) (165 1) (167 -1) (168 -1) (170 -1) (172 -1) (175 -1) (176 1) (178 -1) (180 -1) (182 -1) (184 -1) (185 -1) (186 -1) (188 -1) (189 -1) (191 1) (192 1) (193 -1) (196 -1) (198 -1) (199 -1) (200 -2) (207 -1) (208 -1) (212 -2) (214 -1) (215 -1) (218 1) (221 1) (222 1) (223 1) (224 -1) (225 1) (227 -1) (228 1) > <{1 2 4} {1 2 8} {1 2 11} {1 2 12} {1 2 13} {1 2 16} {1 3 4} {1 3 9} {1 3 11} {1 3 14} {1 3 17} {1 4 5} {1 4 7} {1 4 9} {1 4 14} {1 5 12} {1 5 16} {1 6 8} {1 6 9} {1 6 13} {1 7 14} {1 8 9} {1 8 10} {1 8 11} {1 8 13} {1 8 14} {1 9 10} {1 9 11} {1 9 14} {1 10 11} {1 10 12} {1 11 13} {1 11 14} {1 12 14} {1 13 14} {1 14 16} {2 3 4} {2 3 12} {2 3 14} {2 4 6} {2 4 11} {2 4 12} {2 4 13} {2 5 7} {2 5 11} {2 5 13} {2 6 7} {2 6 8} {2 6 11} {2 6 12} {2 7 9} {2 7 11} {2 7 12} {2 7 13} {2 8 14} {2 9 11} {2 11 12} {2 11 13} {2 11 14} {2 11 15} {2 12 14} {2 13 14} {2 13 15} {2 14 16} {3 4 5} {3 4 6} {3 4 7} {3 4 11} {3 4 13} {3 4 16} {3 4 17} {3 5 11} {3 5 13} {3 5 14} {3 5 16} {3 5 17} {3 6 9} {3 6 11} {3 7 8} {3 7 9} {3 7 11} {3 7 14} {3 7 17} {3 8 11} {3 8 16} {3 10 17} {3 11 12} {3 11 13} {3 12 13} {3 12 14} {3 12 16} {3 12 17} {3 13 17} {3 16 17} {4 5 7} {4 5 8} {4 5 10} {4 5 11} {4 5 13} {4 5 14} {4 5 17} {4 6 7} {4 6 8} {4 6 9} {4 6 10} {4 6 13} {4 6 17} {4 7 10} {4 7 11} {4 7 13} {4 7 17} {4 8 9} {4 8 10} {4 8 11} {4 8 13} {4 8 17} {4 9 11} {4 9 17} {4 10 13} {4 10 14} {4 10 17} {4 11 13} {4 11 14} {4 11 17} {4 12 14} {4 12 17} {4 13 14} {5 6 10} {5 6 12} {5 6 13} {5 6 14} {5 7 9} {5 7 10} {5 7 11} {5 7 12} {5 7 13} {5 7 14} {5 8 10} {5 8 11} {5 8 13} {5 8 14} {5 8 16} {5 9 11} {5 9 14} {5 9 17} {5 10 11} {5 10 12} {5 10 13} {5 10 16} {5 11 12} {5 11 13} {5 11 14} {5 11 17} {5 12 13} {5 12 14} {5 12 17} {5 13 16} {5 13 17} {5 14 16} {5 14 17} {5 16 17} {6 7 8} {6 7 9} {6 7 10} {6 7 11} {6 7 13} {6 8 10} {6 8 11} {6 8 14} {6 9 10} {6 9 11} {6 9 12} {6 10 11} {6 10 12} {6 10 14} {6 10 17} {6 11 13} {6 12 13} {6 13 14} {6 13 15} {7 8 11} {7 8 12} {7 9 11} {7 9 14} {7 9 17} {7 10 11} {7 10 13} {7 10 14} {7 11 12} {7 12 13} {7 12 14} {7 12 17} {7 13 15} {7 14 17} {8 9 14} {8 10 12} {8 10 13} {8 10 14} {8 10 16} {8 10 17} {8 11 12} {8 11 13} {8 11 14} {8 13 16} {8 13 17} {8 14 16} {9 10 14} {9 10 17} {9 11 14} {9 12 14} {9 12 17} {9 13 14} {10 11 12} {10 11 13} {10 11 14} {10 11 17} {10 12 13} {10 12 14} {10 12 17} {10 13 16} {10 13 17} {10 14 16} {10 14 17} {11 13 15} {12 13 14} {12 14 16} {12 16 17} {13 14 15} {14 16 17} > ) (<-1 -1 1 -1 -1 -1 1 1 1 > <{3 6 9 11} {3 7 9 11} {5 7 9 17} {5 9 14 17} {6 9 10 11} {6 9 10 14} {7 9 11 17} {9 10 14 17} {9 12 14 17} > ) (<1 > <{9 10 12 14 17} > ) INTERSECTION_FORM 1 (9 5)