_application topaz _version 2.3 _type SimplicialComplex FACETS {0 1 2 3 12} {0 1 2 3 13} {0 1 2 6 13} {0 1 2 6 15} {0 1 2 7 8} {0 1 2 7 9} {0 1 2 8 12} {0 1 2 9 15} {0 1 3 5 10} {0 1 3 5 13} {0 1 3 8 10} {0 1 3 8 12} {0 1 4 5 11} {0 1 4 5 14} {0 1 4 11 14} {0 1 5 7 8} {0 1 5 7 11} {0 1 5 8 10} {0 1 5 13 14} {0 1 6 13 15} {0 1 7 9 11} {0 1 9 11 14} {0 1 9 13 14} {0 1 9 13 15} {0 2 3 4 6} {0 2 3 4 14} {0 2 3 6 13} {0 2 3 12 14} {0 2 4 6 10} {0 2 4 10 14} {0 2 6 10 14} {0 2 6 12 14} {0 2 6 12 15} {0 2 7 8 12} {0 2 7 9 15} {0 2 7 12 15} {0 3 4 6 13} {0 3 4 11 13} {0 3 4 11 14} {0 3 5 10 13} {0 3 8 9 14} {0 3 8 9 15} {0 3 8 10 15} {0 3 8 12 14} {0 3 9 10 11} {0 3 9 10 15} {0 3 9 11 14} {0 3 10 11 13} {0 4 5 8 12} {0 4 5 8 15} {0 4 5 11 12} {0 4 5 14 15} {0 4 6 7 10} {0 4 6 7 15} {0 4 6 8 13} {0 4 6 8 15} {0 4 7 9 10} {0 4 7 9 15} {0 4 8 12 13} {0 4 9 10 15} {0 4 10 14 15} {0 4 11 12 13} {0 5 7 8 12} {0 5 7 11 12} {0 5 8 10 15} {0 5 10 13 14} {0 5 10 14 15} {0 6 7 10 14} {0 6 7 12 14} {0 6 7 12 15} {0 6 8 13 15} {0 7 9 10 11} {0 7 10 11 13} {0 7 10 13 14} {0 7 11 12 13} {0 7 12 13 14} {0 8 9 13 14} {0 8 9 13 15} {0 8 12 13 14} {1 2 3 5 11} {1 2 3 5 13} {1 2 3 11 12} {1 2 4 5 11} {1 2 4 5 13} {1 2 4 10 11} {1 2 4 10 13} {1 2 6 7 9} {1 2 6 7 13} {1 2 6 9 14} {1 2 6 14 15} {1 2 7 8 13} {1 2 8 12 13} {1 2 9 14 15} {1 2 10 11 12} {1 2 10 12 13} {1 3 5 7 10} {1 3 5 7 11} {1 3 6 7 10} {1 3 6 7 11} {1 3 6 10 15} {1 3 6 11 12} {1 3 6 12 14} {1 3 6 14 15} {1 3 8 10 15} {1 3 8 12 14} {1 3 8 14 15} {1 4 5 13 15} {1 4 5 14 15} {1 4 10 11 14} {1 4 10 13 15} {1 4 10 14 15} {1 5 7 8 10} {1 5 13 14 15} {1 6 7 9 11} {1 6 7 10 13} {1 6 9 11 12} {1 6 9 12 14} {1 6 10 13 15} {1 7 8 10 13} {1 8 10 11 13} {1 8 10 11 14} {1 8 10 14 15} {1 8 11 12 13} {1 8 11 12 14} {1 9 11 12 14} {1 9 13 14 15} {1 10 11 12 13} {2 3 4 6 10} {2 3 4 7 12} {2 3 4 7 14} {2 3 4 10 12} {2 3 5 6 9} {2 3 5 6 13} {2 3 5 9 11} {2 3 6 9 10} {2 3 7 12 15} {2 3 7 14 15} {2 3 9 10 11} {2 3 10 11 12} {2 3 12 14 15} {2 4 5 9 11} {2 4 5 9 13} {2 4 7 8 11} {2 4 7 8 12} {2 4 7 11 14} {2 4 8 9 11} {2 4 8 9 13} {2 4 8 12 13} {2 4 10 11 14} {2 4 10 12 13} {2 5 6 7 9} {2 5 6 7 13} {2 5 7 9 13} {2 6 9 10 14} {2 6 12 14 15} {2 7 8 11 14} {2 7 8 13 14} {2 7 9 13 14} {2 7 9 14 15} {2 8 9 10 11} {2 8 9 10 14} {2 8 9 13 14} {2 8 10 11 14} {3 4 5 7 10} {3 4 5 7 15} {3 4 5 10 12} {3 4 5 12 15} {3 4 6 7 10} {3 4 6 7 11} {3 4 6 11 13} {3 4 7 11 14} {3 4 7 12 15} {3 5 6 9 15} {3 5 6 12 13} {3 5 6 12 15} {3 5 7 11 14} {3 5 7 14 15} {3 5 8 9 14} {3 5 8 9 15} {3 5 8 14 15} {3 5 9 11 14} {3 5 10 12 13} {3 6 9 10 15} {3 6 11 12 13} {3 6 12 14 15} {3 10 11 12 13} {4 5 7 9 10} {4 5 7 9 13} {4 5 7 13 15} {4 5 8 12 15} {4 5 9 10 12} {4 5 9 11 12} {4 6 7 8 11} {4 6 7 8 15} {4 6 8 9 11} {4 6 8 9 13} {4 6 9 11 13} {4 7 8 12 15} {4 7 9 13 15} {4 9 10 12 13} {4 9 10 13 15} {4 9 11 12 13} {5 6 7 8 9} {5 6 7 8 12} {5 6 7 12 14} {5 6 7 13 14} {5 6 8 9 15} {5 6 8 12 15} {5 6 10 12 13} {5 6 10 12 14} {5 6 10 13 14} {5 7 8 9 10} {5 7 11 12 14} {5 7 13 14 15} {5 8 9 10 14} {5 8 10 14 15} {5 9 10 12 14} {5 9 11 12 14} {6 7 8 9 11} {6 7 8 12 15} {6 7 10 13 14} {6 8 9 13 15} {6 9 10 12 13} {6 9 10 12 14} {6 9 10 13 15} {6 9 11 12 13} {7 8 9 10 11} {7 8 10 11 13} {7 8 11 13 14} {7 9 13 14 15} {7 11 12 13 14} {8 11 12 13 14} PURE 1 DIM 4 COHOMOLOGY ({} 0) ({} 0) ({} 13) ({} 0) ({} 1) COCYCLES (<> <> ) (<> <> ) (<(195) (0 2) (1 2) (2 2) (3 -1) (4 -1) (6 -2) (8 -2) (9 -2) (10 -2) (12 2) (13 2) (14 2) (15 2) (19 -2) (20 -2) (21 -2) (23 -2) (28 -2) (29 1) (30 -1) (31 -1) (32 -1) (34 2) (37 2) (38 2) (43 2) (46 2) (48 2) (53 -2) (54 -2) (56 2) (59 -2) (63 -1) (64 -1) (65 1) (68 1) (69 1) (70 1) (71 1) (72 1) (73 1) (74 -1) (75 1) (76 1) (78 1) (79 1) (80 1) (81 2) (82 1) (83 1) (84 1) (85 1) (86 1) (87 -1) (88 1) (93 -2) (94 2) (100 2) (107 -2) (108 2) (119 2) (125 2) (128 -2) (133 2) (136 2) (145 -2) (147 -2) (152 -2) (154 2) (158 -2) (163 -2) (164 -2) (166 2) (168 2) (170 -2) (171 -2) (178 2) (180 2) (185 -2) (186 -2) (187 -2) (188 2) (194 -2) 2 1 2 -1 -1 0 -1 -1 -2 -2 -2 0 1 2 2 1 0 1 0 -1 -2 -1 1 -1 0 1 1 0 -2 0 0 0 -1 1 2 -1 -1 3 2 -1 0 0 0 3 0 1 4 3 4 1 2 0 -1 -3 -2 -1 1 0 0 -2 1 1 0 -2 -1 0 -1 -2 0 0 1 1 1 0 -1 0 0 0 1 1 0 1 1 0 1 -1 1 -1 1 -1 -1 -1 -1 -2 2 0 0 0 0 0 3 0 0 1 0 0 0 -3 2 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 -1 -1 -3 -1 0 0 0 2 0 0 2 0 0 0 0 0 1 0 0 -2 0 -2 0 0 0 0 -2 0 2 0 0 0 -1 1 1 1 0 -3 -3 0 3 1 1 -1 -2 -2 1 0 0 0 0 -1 2 0 2 0 0 0 0 -2 -2 -3 2 0 0 0 0 0 -2 (195) (8 1) (29 1) (35 1) (36 1) (37 -1) (39 1) (40 1) (43 -1) (45 -1) (46 -1) (47 -1) (48 -1) (50 -1) (53 1) (61 -1) (63 1) (66 1) (67 1) (83 1) (85 1) (91 1) (92 1) (93 1) (94 -1) (95 1) (100 -2) (102 1) (104 -1) (105 -1) (106 -1) (108 -1) (109 -1) (111 1) (122 1) (128 1) (163 1) (164 1) (166 -1) (167 -1) 2 1 1 0 -1 0 0 -1 -2 -1 -1 -1 0 1 1 1 1 2 0 0 -2 0 1 0 0 2 2 0 -1 -1 -1 0 -1 1 2 -2 -2 3 2 -2 0 -1 -1 4 1 2 4 4 5 2 3 1 0 -2 -1 -1 1 1 0 -2 2 1 0 -3 -1 0 -2 -3 0 1 1 1 1 0 -1 1 0 1 1 1 0 1 1 -1 1 -2 1 -1 1 -1 -1 -2 -1 -3 2 0 1 0 0 0 4 0 -1 1 1 1 1 -3 3 1 0 -1 0 0 0 0 0 0 -1 1 0 0 -2 -1 -1 2 0 0 -2 0 1 0 0 2 0 0 1 0 -1 -1 0 -1 0 0 1 -1 1 -1 1 0 0 0 -1 1 2 0 0 0 -1 1 1 1 0 -3 -3 0 3 2 1 -1 -2 -2 1 0 0 0 0 -1 2 0 2 0 0 0 0 -1 -2 -3 2 0 0 0 0 0 -1 -4 -1 -5 3 2 -1 3 3 6 6 6 0 -3 -4 -5 -3 0 -1 -1 3 3 3 -3 3 1 0 -1 -1 6 0 0 0 2 -1 -4 3 3 -5 -4 3 2 0 0 -6 0 -2 -8 -5 -6 -1 -3 0 2 7 5 2 -1 2 1 4 -1 -2 1 4 3 0 3 4 0 0 -2 -1 -2 0 3 0 0 1 -1 -1 0 -3 -2 0 -2 1 -1 3 -3 1 2 1 1 4 -6 0 1 0 1 0 -7 1 0 1 1 0 0 6 -4 0 0 0 0 0 0 0 0 0 0 -3 0 0 1 0 2 -3 2 1 7 2 0 0 0 -4 0 0 -6 0 0 0 0 0 0 0 0 4 0 5 0 0 0 0 5 1 -4 0 1 0 3 0 -1 -1 0 7 7 0 -7 -1 -3 0 3 4 -2 1 1 1 0 2 -4 0 -5 1 1 0 -1 6 4 6 -4 0 0 0 0 1 6 (195) (0 -1) (1 -2) (3 -1) (4 -1) (6 -1) (7 -1) (8 -2) (9 -2) (10 -2) (19 -1) (22 1) (23 -1) (28 -2) (29 -2) (31 1) (32 -1) (33 -1) (34 -1) (35 -3) (36 -3) (38 -1) (39 -3) (40 -3) (43 2) (45 3) (46 3) (47 4) (48 2) (50 3) (51 1) (52 -1) (53 -3) (55 -2) (56 -2) (57 -2) (59 1) (61 3) (62 -2) (63 -2) (64 -1) (65 -1) (66 -3) (67 -2) (70 1) (71 -1) (72 1) (74 -1) (76 -1) (78 -1) (79 -1) (82 1) (83 -2) (84 1) (85 -1) (86 -1) (87 -1) (88 1) (89 1) (90 -1) (91 -1) (92 -1) (93 -1) (94 2) (100 3) (107 -1) (108 1) (109 1) (122 -1) (124 -1) (126 -1) (127 -1) (128 -3) (129 -1) (136 2) (144 1) (151 -1) (156 -2) (163 -3) (164 -3) (166 3) (167 1) (172 1) (177 -1) (178 1) (179 1) (180 1) (185 -2) (187 -1) (190 1) (193 -2) (194 -2) 2 0 2 -1 -1 1 -1 -2 -3 -3 -3 0 1 1 2 1 0 1 1 -1 -1 -1 2 -1 -1 0 1 1 -3 -1 0 0 -1 0 2 -2 -2 3 2 -2 -1 0 0 4 0 2 5 4 4 1 3 0 -1 -4 -2 -1 0 -1 -1 -2 1 2 -1 -2 -1 0 -2 -2 0 0 1 0 1 0 -1 0 0 0 0 0 0 1 1 -1 1 -1 0 -2 2 0 -1 -1 -1 -2 3 0 0 0 0 0 4 0 0 0 0 1 0 -3 2 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 -1 0 -4 -1 0 0 0 2 0 0 3 0 0 0 0 0 0 0 0 -1 0 -2 0 0 0 0 -2 0 2 0 -1 0 -1 0 1 1 0 -4 -4 0 4 1 1 0 -1 -2 1 -1 -1 -1 0 -1 1 0 2 -1 0 1 1 -3 -2 -3 2 0 0 0 0 -1 -3 (195) (0 2) (1 2) (2 2) (11 -1) (13 2) (14 2) (15 1) (16 1) (17 2) (20 -2) (25 2) (26 2) (29 1) (33 2) (34 2) (37 2) (38 2) (40 2) (41 -1) (42 -1) (43 1) (44 1) (45 -1) (46 2) (48 2) (49 2) (54 -2) (56 2) (57 2) (59 -2) (60 2) (61 -2) (62 2) (63 -2) (64 -1) (67 -2) (71 2) (74 -1) (78 2) (79 2) (81 1) (83 1) (85 -1) (86 2) (89 -2) (91 -1) (93 -2) (98 -1) (100 1) (101 -1) (107 -2) (108 2) (118 -1) (119 1) (122 -1) (125 2) (133 2) (138 -1) (139 -1) (145 -2) (147 -2) (152 -2) (154 2) (156 2) (157 1) (158 -1) (159 1) (160 1) (161 1) (163 -1) (164 -1) (166 1) (167 1) (168 2) (170 -2) (171 -2) (178 2) (180 2) (186 -2) (187 -2) (188 2) (193 2) 3 3 2 0 0 0 -1 0 -1 -1 -1 -1 1 2 2 2 1 1 0 -1 -2 -1 0 -1 0 1 1 0 -1 1 -1 -1 0 1 3 0 1 2 3 1 2 -1 -1 2 1 -1 1 -1 2 1 -1 0 1 0 -2 1 3 2 0 -3 1 -2 1 -1 -1 1 1 -1 0 1 0 2 0 0 -1 1 1 0 2 2 1 2 0 1 0 0 2 0 0 -1 0 0 1 -2 1 0 0 -1 -1 -1 1 -1 0 0 0 0 0 -2 2 0 1 0 0 1 0 0 0 1 -1 2 0 0 0 -1 0 3 1 1 0 1 1 0 0 2 0 1 1 -1 -1 -1 0 0 0 1 0 -2 0 -2 0 0 0 0 -2 0 2 0 1 0 -2 0 0 0 -1 -1 -1 0 1 0 2 0 -2 -2 0 0 0 0 1 0 2 0 2 0 0 0 0 -1 -2 -2 2 0 0 0 0 1 -1 (195) (0 -2) (1 -2) (3 -1) (4 -1) (29 -1) (30 1) (31 1) (32 -1) (34 -2) (35 -2) (36 -2) (38 -2) (39 -2) (40 -2) (41 1) (45 2) (46 2) (47 2) (50 2) (52 -2) (53 -2) (55 -2) (56 -2) (57 -2) (59 2) (61 2) (63 -2) (64 -1) (65 -1) (66 -2) (67 -2) (69 -1) (70 1) (74 -1) (75 -1) (76 -1) (78 -1) (79 -1) (80 -1) (82 1) (83 -1) (84 1) (85 -1) (86 -1) (87 -1) (88 1) (91 -1) (92 -2) (93 -1) (100 2) (112 -1) (113 -1) (115 -1) (117 -1) (118 1) (120 1) (121 1) (122 -1) (123 1) (125 -1) (126 -2) (127 -2) (128 -2) (129 -1) (130 -1) (131 -1) (132 1) (133 1) (134 1) (163 -2) (164 -2) (166 2) (167 2) 4 4 3 0 0 0 -1 0 -1 -1 -1 0 2 3 3 2 1 1 0 -1 -2 -1 0 -1 0 1 1 0 -1 2 -1 -2 0 2 4 2 2 3 4 2 3 -1 0 2 1 -2 1 -2 2 1 -2 -1 1 0 -3 2 4 3 0 -4 1 -3 2 0 0 2 2 0 0 1 0 2 0 0 0 1 2 0 3 3 1 2 0 2 0 0 2 0 0 -2 0 0 1 -2 1 0 0 0 0 0 1 0 0 0 0 0 0 -2 2 0 0 0 1 1 1 1 1 1 -1 2 0 0 0 -1 0 3 1 1 0 1 1 0 0 2 0 0 1 0 0 0 1 0 0 0 -1 -3 0 -3 0 0 1 1 -3 0 3 -1 2 0 -2 0 0 0 0 -1 -1 0 1 0 2 0 -2 -2 0 0 0 0 0 0 2 0 2 0 0 0 0 -1 -2 -2 2 0 0 0 0 2 -1 -1 0 -2 1 1 0 1 1 2 2 2 0 -1 -2 -2 -1 0 0 0 1 1 1 -1 1 0 0 0 0 2 0 0 0 1 -1 -1 1 1 -2 -1 1 1 0 0 -2 0 -1 -3 -2 -2 0 -1 0 1 3 2 1 0 1 0 1 0 -1 0 2 1 0 1 2 0 0 -1 -1 -1 0 1 0 0 0 -1 -1 0 -1 -1 0 -1 1 0 1 -1 1 1 1 1 2 -2 0 0 0 0 0 -3 0 0 0 0 0 0 2 -1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 1 1 3 1 0 1 0 -2 0 0 -2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 0 2 0 -2 0 0 0 1 0 0 0 0 3 3 0 -3 -1 -1 0 1 1 -1 0 0 0 0 1 -1 0 -2 0 0 0 0 2 1 2 -1 1 0 0 0 0 2 (195) (0 2) (2 1) (5 1) (7 -2) (8 -2) (9 -2) (10 -2) (14 1) (18 1) (22 2) (27 1) (28 -2) (34 2) (37 2) (38 2) (43 2) (45 1) (46 2) (47 2) (48 2) (50 1) (53 -2) (54 -1) (59 -2) (61 1) (62 -1) (72 1) (84 1) (90 -1) (94 2) (100 2) (101 1) (107 -2) (124 -1) (128 -2) (129 -1) (132 -1) (136 2) (147 -1) (156 -1) (163 -2) (164 -2) (165 -1) (166 2) (172 1) (175 -1) (177 -1) (180 1) (184 1) (185 -2) (187 -2) (191 1) (192 1) (193 -1) (194 -2) > <{1 2 4} {1 2 10} {1 2 14} {1 3 6} {1 3 11} {1 3 14} {1 3 15} {1 4 10} {1 4 13} {1 4 15} {1 5 15} {1 6 7} {1 6 10} {1 6 12} {1 6 14} {1 7 10} {1 7 13} {1 8 13} {1 8 14} {1 8 15} {1 10 11} {1 10 13} {1 10 14} {1 10 15} {1 11 12} {1 11 13} {1 12 13} {1 12 14} {1 14 15} {2 3 7} {2 3 9} {2 3 10} {2 3 11} {2 3 15} {2 4 5} {2 4 7} {2 4 8} {2 4 9} {2 4 11} {2 4 12} {2 4 13} {2 5 7} {2 6 7} {2 7 11} {2 7 13} {2 7 14} {2 8 9} {2 8 10} {2 8 11} {2 8 13} {2 8 14} {2 9 10} {2 9 11} {2 9 13} {2 9 14} {2 10 11} {2 10 12} {2 10 13} {2 11 12} {2 11 14} {2 12 13} {2 13 14} {2 14 15} {3 4 5} {3 4 7} {3 4 10} {3 4 12} {3 4 15} {3 5 8} {3 5 9} {3 5 11} {3 5 12} {3 5 14} {3 5 15} {3 6 7} {3 6 9} {3 6 10} {3 6 11} {3 6 12} {3 6 14} {3 6 15} {3 7 10} {3 7 11} {3 7 12} {3 7 14} {3 7 15} {3 10 12} {3 11 12} {3 12 13} {3 12 15} {3 14 15} {4 5 7} {4 5 9} {4 5 10} {4 5 13} {4 6 9} {4 6 11} {4 7 8} {4 7 11} {4 7 12} {4 7 13} {4 7 14} {4 8 9} {4 8 11} {4 9 11} {4 9 12} {4 9 13} {4 10 11} {4 10 12} {4 10 13} {4 12 15} {4 13 15} {5 6 7} {5 6 8} {5 6 10} {5 6 12} {5 6 14} {5 6 15} {5 7 9} {5 7 10} {5 7 13} {5 7 14} {5 7 15} {5 8 9} {5 8 14} {5 9 10} {5 9 11} {5 9 12} {5 9 13} {5 9 14} {5 9 15} {5 10 12} {5 11 14} {5 12 13} {5 12 14} {5 12 15} {5 13 15} {6 7 8} {6 7 9} {6 7 11} {6 7 13} {6 8 9} {6 8 11} {6 8 12} {6 9 10} {6 9 12} {6 9 13} {6 9 14} {6 9 15} {6 10 12} {6 10 13} {6 10 15} {6 11 12} {6 11 13} {6 12 13} {6 13 14} {6 14 15} {7 8 9} {7 8 10} {7 8 11} {7 8 13} {7 8 14} {7 8 15} {7 9 13} {7 9 14} {7 11 14} {7 13 15} {7 14 15} {8 9 10} {8 9 11} {8 10 11} {8 10 13} {8 10 14} {8 11 12} {8 11 13} {8 11 14} {8 12 15} {8 14 15} {9 10 12} {9 10 13} {9 10 14} {9 11 12} {9 11 13} {9 12 13} {9 12 14} {9 14 15} {10 11 12} {10 11 14} {10 12 13} {10 12 14} {10 13 15} {11 12 14} {11 13 14} {12 14 15} {13 14 15} > ) (<> <> ) (<1 > <{8 11 12 13 14} > ) HOMOLOGY ({} 0) ({} 0) ({} 13) ({} 0) ({} 1) CYCLES (<> <> ) (<> <> ) (<(76) (33 1) (34 -1) (40 -1) (41 1) (58 1) (59 -1) (76) (17 1) (18 -1) (21 1) (24 -1) (25 -1) (26 1) (27 -1) (28 -1) (29 -1) (34 1) (36 1) (37 -1) (39 1) (44 1) (46 -1) (47 1) (55 -1) (56 1) (76) (0 -1) (1 1) (2 -1) (3 1) (17 1) (18 -1) (21 1) (24 -1) (25 -1) (26 1) (27 -1) (28 -1) (29 -1) (33 1) (39 1) (40 -1) (44 1) (45 1) (49 1) (51 -1) (55 -1) (64 1) (76) (8 -1) (10 1) (11 -1) (12 -1) (13 1) (15 -1) (20 1) (21 -1) (22 1) (23 -1) (34 1) (35 -1) (36 1) (37 -1) (39 1) (60 1) (63 -1) (66 1) (76) (4 -1) (5 1) (6 1) (7 -1) (8 -1) (10 1) (11 -1) (12 -1) (13 1) (15 -1) (20 1) (21 -1) (22 1) (23 -1) (33 -1) (34 1) (36 1) (37 -1) (40 1) (44 -1) (56 1) (57 -1) (60 1) (61 1) (62 1) (63 -1) (67 1) (69 -1) (70 1) (72 -1) (73 1) (75 -1) (76) (39 -1) (40 1) (42 -1) (68 1) (76) (0 -1) (1 1) (2 -1) (3 1) (17 1) (18 -1) (21 1) (24 -1) (25 -1) (26 1) (27 -1) (28 -1) (29 -1) (33 1) (34 1) (35 -1) (36 1) (37 -1) (39 1) (42 -1) (44 2) (45 1) (46 -1) (48 1) (51 -1) (52 1) (55 -1) (56 1) (57 -1) (64 1) (65 -1) -1 1 -1 1 0 0 0 0 -1 0 1 -1 -1 1 0 -1 0 1 -1 0 1 0 1 -1 -1 -1 1 -1 -1 -1 1 -1 0 1 1 -1 2 -1 1 1 0 0 -1 0 1 1 -1 0 0 0 1 -1 1 0 0 -1 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 (76) (34 -1) (35 1) (43 1) (44 -1) (62 1) (75 -1) (76) (0 1) (1 -1) (2 1) (3 -1) (8 1) (9 -1) (11 1) (14 -1) (15 1) (16 -1) (17 -1) (18 1) (19 -1) (22 -1) (24 1) (25 1) (26 -1) (27 1) (28 1) (29 1) (30 -1) (32 1) (33 -1) (34 -1) (35 1) (36 -1) (39 -1) (40 1) (44 -1) (45 -1) (46 1) (51 1) (53 1) (55 1) (60 -1) (64 -1) (76) (33 1) (34 -1) (36 -1) (37 1) (40 -1) (54 1) (56 -1) (58 1) (76) (69 1) (70 -1) (71 1) (73 -1) (76) (0 1) (1 -1) (2 1) (3 -1) (8 1) (9 -1) (11 1) (14 -1) (15 1) (16 -1) (19 -1) (21 1) (22 -1) (33 -1) (35 1) (40 1) (45 -1) (55 1) (64 -1) (74 1) > <{0 6 7} {0 6 8} {0 7 13} {0 8 13} {1 8 14} {1 8 15} {1 10 14} {1 10 15} {2 3 7} {2 3 9} {2 3 10} {2 7 11} {2 8 10} {2 8 14} {2 9 13} {2 11 14} {2 13 14} {3 4 5} {3 4 15} {3 5 9} {3 5 12} {3 5 15} {3 7 15} {3 10 12} {4 5 7} {4 6 9} {4 6 11} {4 7 11} {4 9 12} {4 12 15} {5 6 8} {5 6 10} {5 6 14} {5 7 13} {5 7 14} {5 7 15} {5 8 9} {5 8 14} {5 9 10} {5 9 12} {5 9 13} {5 9 14} {5 12 13} {5 12 14} {5 12 15} {6 7 8} {6 8 9} {6 8 11} {6 8 12} {6 9 13} {6 10 12} {6 11 13} {6 12 13} {6 13 14} {7 8 9} {7 8 11} {7 8 14} {7 8 15} {7 9 13} {7 9 14} {7 11 14} {7 13 15} {7 14 15} {8 9 10} {8 11 13} {8 12 15} {9 10 12} {9 10 13} {9 12 13} {10 11 12} {10 11 14} {10 12 14} {10 13 15} {11 12 14} {11 13 14} {12 14 15} > ) (<> <> ) (<-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 12} {0 1 2 3 13} {0 1 2 6 13} {0 1 2 6 15} {0 1 2 7 8} {0 1 2 7 9} {0 1 2 8 12} {0 1 2 9 15} {0 1 3 5 10} {0 1 3 5 13} {0 1 3 8 10} {0 1 3 8 12} {0 1 4 5 11} {0 1 4 5 14} {0 1 4 11 14} {0 1 5 7 8} {0 1 5 7 11} {0 1 5 8 10} {0 1 5 13 14} {0 1 6 13 15} {0 1 7 9 11} {0 1 9 11 14} {0 1 9 13 14} {0 1 9 13 15} {0 2 3 4 6} {0 2 3 4 14} {0 2 3 6 13} {0 2 3 12 14} {0 2 4 6 10} {0 2 4 10 14} {0 2 6 10 14} {0 2 6 12 14} {0 2 6 12 15} {0 2 7 8 12} {0 2 7 9 15} {0 2 7 12 15} {0 3 4 6 13} {0 3 4 11 13} {0 3 4 11 14} {0 3 5 10 13} {0 3 8 9 14} {0 3 8 9 15} {0 3 8 10 15} {0 3 8 12 14} {0 3 9 10 11} {0 3 9 10 15} {0 3 9 11 14} {0 3 10 11 13} {0 4 5 8 12} {0 4 5 8 15} {0 4 5 11 12} {0 4 5 14 15} {0 4 6 7 10} {0 4 6 7 15} {0 4 6 8 13} {0 4 6 8 15} {0 4 7 9 10} {0 4 7 9 15} {0 4 8 12 13} {0 4 9 10 15} {0 4 10 14 15} {0 4 11 12 13} {0 5 7 8 12} {0 5 7 11 12} {0 5 8 10 15} {0 5 10 13 14} {0 5 10 14 15} {0 6 7 10 14} {0 6 7 12 14} {0 6 7 12 15} {0 6 8 13 15} {0 7 9 10 11} {0 7 10 11 13} {0 7 10 13 14} {0 7 11 12 13} {0 7 12 13 14} {0 8 9 13 14} {0 8 9 13 15} {0 8 12 13 14} {1 2 3 5 11} {1 2 3 5 13} {1 2 3 11 12} {1 2 4 5 11} {1 2 4 5 13} {1 2 4 10 11} {1 2 4 10 13} {1 2 6 7 9} {1 2 6 7 13} {1 2 6 9 14} {1 2 6 14 15} {1 2 7 8 13} {1 2 8 12 13} {1 2 9 14 15} {1 2 10 11 12} {1 2 10 12 13} {1 3 5 7 10} {1 3 5 7 11} {1 3 6 7 10} {1 3 6 7 11} {1 3 6 10 15} {1 3 6 11 12} {1 3 6 12 14} {1 3 6 14 15} {1 3 8 10 15} {1 3 8 12 14} {1 3 8 14 15} {1 4 5 13 15} {1 4 5 14 15} {1 4 10 11 14} {1 4 10 13 15} {1 4 10 14 15} {1 5 7 8 10} {1 5 13 14 15} {1 6 7 9 11} {1 6 7 10 13} {1 6 9 11 12} {1 6 9 12 14} {1 6 10 13 15} {1 7 8 10 13} {1 8 10 11 13} {1 8 10 11 14} {1 8 10 14 15} {1 8 11 12 13} {1 8 11 12 14} {1 9 11 12 14} {1 9 13 14 15} {1 10 11 12 13} {2 3 4 6 10} {2 3 4 7 12} {2 3 4 7 14} {2 3 4 10 12} {2 3 5 6 9} {2 3 5 6 13} {2 3 5 9 11} {2 3 6 9 10} {2 3 7 12 15} {2 3 7 14 15} {2 3 9 10 11} {2 3 10 11 12} {2 3 12 14 15} {2 4 5 9 11} {2 4 5 9 13} {2 4 7 8 11} {2 4 7 8 12} {2 4 7 11 14} {2 4 8 9 11} {2 4 8 9 13} {2 4 8 12 13} {2 4 10 11 14} {2 4 10 12 13} {2 5 6 7 9} {2 5 6 7 13} {2 5 7 9 13} {2 6 9 10 14} {2 6 12 14 15} {2 7 8 11 14} {2 7 8 13 14} {2 7 9 13 14} {2 7 9 14 15} {2 8 9 10 11} {2 8 9 10 14} {2 8 9 13 14} {2 8 10 11 14} {3 4 5 7 10} {3 4 5 7 15} {3 4 5 10 12} {3 4 5 12 15} {3 4 6 7 10} {3 4 6 7 11} {3 4 6 11 13} {3 4 7 11 14} {3 4 7 12 15} {3 5 6 9 15} {3 5 6 12 13} {3 5 6 12 15} {3 5 7 11 14} {3 5 7 14 15} {3 5 8 9 14} {3 5 8 9 15} {3 5 8 14 15} {3 5 9 11 14} {3 5 10 12 13} {3 6 9 10 15} {3 6 11 12 13} {3 6 12 14 15} {3 10 11 12 13} {4 5 7 9 10} {4 5 7 9 13} {4 5 7 13 15} {4 5 8 12 15} {4 5 9 10 12} {4 5 9 11 12} {4 6 7 8 11} {4 6 7 8 15} {4 6 8 9 11} {4 6 8 9 13} {4 6 9 11 13} {4 7 8 12 15} {4 7 9 13 15} {4 9 10 12 13} {4 9 10 13 15} {4 9 11 12 13} {5 6 7 8 9} {5 6 7 8 12} {5 6 7 12 14} {5 6 7 13 14} {5 6 8 9 15} {5 6 8 12 15} {5 6 10 12 13} {5 6 10 12 14} {5 6 10 13 14} {5 7 8 9 10} {5 7 11 12 14} {5 7 13 14 15} {5 8 9 10 14} {5 8 10 14 15} {5 9 10 12 14} {5 9 11 12 14} {6 7 8 9 11} {6 7 8 12 15} {6 7 10 13 14} {6 8 9 13 15} {6 9 10 12 13} {6 9 10 12 14} {6 9 10 13 15} {6 9 11 12 13} {7 8 9 10 11} {7 8 10 11 13} {7 8 11 13 14} {7 9 13 14 15} {7 11 12 13 14} {8 11 12 13 14} > ) INTERSECTION_FORM 0 (10 3)