_application topaz _version 2.3 _type SimplicialComplex FACETS {0 1 2 3 8} {0 1 2 3 13} {0 1 2 4 8} {0 1 2 4 10} {0 1 2 10 15} {0 1 2 13 15} {0 1 3 4 8} {0 1 3 4 13} {0 1 4 10 13} {0 1 6 12 13} {0 1 6 12 15} {0 1 6 13 15} {0 1 10 12 13} {0 1 10 12 15} {0 2 3 5 8} {0 2 3 5 9} {0 2 3 9 13} {0 2 4 8 15} {0 2 4 10 15} {0 2 5 6 8} {0 2 5 6 13} {0 2 5 9 13} {0 2 6 8 15} {0 2 6 13 15} {0 3 4 6 9} {0 3 4 6 12} {0 3 4 8 11} {0 3 4 9 13} {0 3 4 11 12} {0 3 5 8 10} {0 3 5 9 15} {0 3 5 10 15} {0 3 6 9 15} {0 3 6 12 15} {0 3 8 10 11} {0 3 10 11 12} {0 3 10 12 15} {0 4 5 6 7} {0 4 5 6 14} {0 4 5 7 11} {0 4 5 10 14} {0 4 5 10 15} {0 4 5 11 15} {0 4 6 7 12} {0 4 6 9 14} {0 4 7 11 12} {0 4 8 11 15} {0 4 9 10 13} {0 4 9 10 14} {0 5 6 7 13} {0 5 6 8 14} {0 5 7 11 13} {0 5 8 10 14} {0 5 9 11 13} {0 5 9 11 15} {0 6 7 12 13} {0 6 8 9 14} {0 6 8 9 15} {0 7 11 12 13} {0 8 9 10 11} {0 8 9 10 14} {0 8 9 11 15} {0 9 10 11 13} {0 10 11 12 13} {1 2 3 6 9} {1 2 3 6 12} {1 2 3 8 9} {1 2 3 12 15} {1 2 3 13 15} {1 2 4 8 10} {1 2 5 6 10} {1 2 5 6 12} {1 2 5 10 15} {1 2 5 12 15} {1 2 6 9 10} {1 2 8 9 10} {1 3 4 7 14} {1 3 4 7 15} {1 3 4 8 14} {1 3 4 13 15} {1 3 5 7 8} {1 3 5 7 10} {1 3 5 8 9} {1 3 5 9 10} {1 3 6 7 10} {1 3 6 7 15} {1 3 6 9 10} {1 3 6 12 15} {1 3 7 8 14} {1 4 5 6 7} {1 4 5 6 14} {1 4 5 7 14} {1 4 6 7 15} {1 4 6 13 14} {1 4 6 13 15} {1 4 8 10 13} {1 4 8 13 14} {1 5 6 7 10} {1 5 6 12 14} {1 5 7 8 9} {1 5 7 9 14} {1 5 9 10 15} {1 5 9 12 14} {1 5 9 12 15} {1 6 12 13 14} {1 7 8 9 14} {1 8 9 10 14} {1 8 10 13 14} {1 9 10 12 14} {1 9 10 12 15} {1 10 12 13 14} {2 3 4 6 9} {2 3 4 6 12} {2 3 4 7 9} {2 3 4 7 14} {2 3 4 12 14} {2 3 5 8 9} {2 3 7 9 13} {2 3 7 12 14} {2 3 7 12 15} {2 3 7 13 15} {2 4 5 7 11} {2 4 5 7 14} {2 4 5 10 14} {2 4 5 10 15} {2 4 5 11 15} {2 4 6 8 12} {2 4 6 8 15} {2 4 6 9 11} {2 4 6 11 15} {2 4 7 9 11} {2 4 8 10 12} {2 4 10 12 14} {2 5 6 8 12} {2 5 6 10 13} {2 5 7 8 9} {2 5 7 8 11} {2 5 7 9 14} {2 5 8 11 12} {2 5 9 13 14} {2 5 10 13 14} {2 5 11 12 15} {2 6 9 10 11} {2 6 10 11 13} {2 6 11 13 15} {2 7 8 9 11} {2 7 9 13 14} {2 7 12 13 14} {2 7 12 13 15} {2 8 9 10 11} {2 8 10 11 12} {2 10 11 12 13} {2 10 12 13 14} {2 11 12 13 15} {3 4 7 9 13} {3 4 7 13 15} {3 4 8 11 14} {3 4 11 12 14} {3 5 7 8 10} {3 5 9 10 15} {3 6 7 10 15} {3 6 9 10 15} {3 7 8 10 12} {3 7 8 12 14} {3 7 10 12 15} {3 8 10 11 12} {3 8 11 12 14} {4 6 7 8 12} {4 6 7 8 15} {4 6 9 11 14} {4 6 11 13 14} {4 6 11 13 15} {4 7 8 10 12} {4 7 8 10 13} {4 7 8 13 15} {4 7 9 10 12} {4 7 9 10 13} {4 7 9 11 12} {4 8 11 13 14} {4 8 11 13 15} {4 9 10 12 14} {4 9 11 12 14} {5 6 7 10 13} {5 6 8 12 14} {5 7 8 10 13} {5 7 8 11 13} {5 8 10 13 14} {5 8 11 12 14} {5 8 11 13 14} {5 9 11 12 14} {5 9 11 12 15} {5 9 11 13 14} {6 7 8 9 14} {6 7 8 9 15} {6 7 8 12 14} {6 7 9 10 13} {6 7 9 10 15} {6 7 9 13 14} {6 7 12 13 14} {6 9 10 11 13} {6 9 11 13 14} {7 8 9 11 15} {7 8 11 13 15} {7 9 10 12 15} {7 9 11 12 15} {7 11 12 13 15} PURE 1 DIM 4 HOMOLOGY ({} 0) ({} 0) ({(2 2)} 9) ({} 0) ({} 1) CYCLES (<> <> ) (<> <> ) (<0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 1 -1 0 1 0 1 -1 0 0 1 -2 -1 1 0 1 0 -2 -1 1 -1 0 1 -1 1 0 -1 1 1 -1 0 0 1 -1 0 0 1 -1 2 -1 1 -1 1 -1 -1 1 -1 0 0 0 -1 0 -2 2 -2 -1 2 -1 -2 1 -1 2 -1 0 -1 3 2 -2 1 0 0 2 1 -1 1 -1 -1 1 -1 0 1 -2 0 1 (54) (6 -1) (7 1) (8 -1) (9 1) (25 1) (27 -1) (29 1) (36 -1) (38 1) (40 -1) (52 1) (53 -1) (54) (0 -1) (1 1) (8 -1) (10 -1) (11 1) (12 -1) (13 1) (14 1) (16 1) (36 -1) (39 -1) (41 1) (54) (17 -1) (18 1) (19 -1) (21 -1) (33 1) (35 -1) (37 1) (48 1) (54) (0 -1) (1 1) (8 -1) (10 -1) (15 1) (30 -1) (31 1) (39 -1) (41 1) (42 1) (43 -1) (44 1) (54) (0 1) (1 -1) (8 1) (10 1) (15 -1) (31 -1) (32 1) (39 1) (40 -1) (41 -1) (45 1) (49 -1) (50 1) (52 -1) (54) (0 1) (1 -1) (4 -1) (5 1) (15 -1) (34 1) (35 -1) (39 1) (41 -1) (46 1) (48 1) (49 -1) (54) (0 1) (1 -1) (4 -1) (5 1) (15 -1) (47 1) (54) (0 -1) (1 1) (8 -1) (10 -1) (15 1) (51 1) (54) (0 1) (1 -1) (2 -1) (3 1) (15 -1) (20 1) > <{2 4 11} {2 4 14} {2 5 11} {2 5 14} {2 9 11} {2 9 14} {2 10 11} {2 10 12} {2 11 13} {2 12 13} {2 13 14} {4 7 10} {4 7 13} {4 10 12} {4 11 13} {4 11 14} {4 12 14} {5 9 10} {5 9 14} {5 10 13} {5 11 14} {5 13 14} {6 7 9} {6 7 14} {6 9 13} {6 10 11} {6 10 13} {6 10 15} {6 11 14} {6 11 15} {7 8 12} {7 8 13} {7 8 15} {7 9 10} {7 9 12} {7 9 13} {7 10 12} {7 10 13} {7 10 15} {7 12 14} {7 12 15} {7 13 14} {8 11 13} {8 11 14} {8 12 14} {8 13 15} {9 11 12} {9 11 14} {9 13 14} {11 12 14} {11 12 15} {11 13 14} {11 13 15} {12 13 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 > <{0 1 2 3 8} {0 1 2 3 13} {0 1 2 4 8} {0 1 2 4 10} {0 1 2 10 15} {0 1 2 13 15} {0 1 3 4 8} {0 1 3 4 13} {0 1 4 10 13} {0 1 6 12 13} {0 1 6 12 15} {0 1 6 13 15} {0 1 10 12 13} {0 1 10 12 15} {0 2 3 5 8} {0 2 3 5 9} {0 2 3 9 13} {0 2 4 8 15} {0 2 4 10 15} {0 2 5 6 8} {0 2 5 6 13} {0 2 5 9 13} {0 2 6 8 15} {0 2 6 13 15} {0 3 4 6 9} {0 3 4 6 12} {0 3 4 8 11} {0 3 4 9 13} {0 3 4 11 12} {0 3 5 8 10} {0 3 5 9 15} {0 3 5 10 15} {0 3 6 9 15} {0 3 6 12 15} {0 3 8 10 11} {0 3 10 11 12} {0 3 10 12 15} {0 4 5 6 7} {0 4 5 6 14} {0 4 5 7 11} {0 4 5 10 14} {0 4 5 10 15} {0 4 5 11 15} {0 4 6 7 12} {0 4 6 9 14} {0 4 7 11 12} {0 4 8 11 15} {0 4 9 10 13} {0 4 9 10 14} {0 5 6 7 13} {0 5 6 8 14} {0 5 7 11 13} {0 5 8 10 14} {0 5 9 11 13} {0 5 9 11 15} {0 6 7 12 13} {0 6 8 9 14} {0 6 8 9 15} {0 7 11 12 13} {0 8 9 10 11} {0 8 9 10 14} {0 8 9 11 15} {0 9 10 11 13} {0 10 11 12 13} {1 2 3 6 9} {1 2 3 6 12} {1 2 3 8 9} {1 2 3 12 15} {1 2 3 13 15} {1 2 4 8 10} {1 2 5 6 10} {1 2 5 6 12} {1 2 5 10 15} {1 2 5 12 15} {1 2 6 9 10} {1 2 8 9 10} {1 3 4 7 14} {1 3 4 7 15} {1 3 4 8 14} {1 3 4 13 15} {1 3 5 7 8} {1 3 5 7 10} {1 3 5 8 9} {1 3 5 9 10} {1 3 6 7 10} {1 3 6 7 15} {1 3 6 9 10} {1 3 6 12 15} {1 3 7 8 14} {1 4 5 6 7} {1 4 5 6 14} {1 4 5 7 14} {1 4 6 7 15} {1 4 6 13 14} {1 4 6 13 15} {1 4 8 10 13} {1 4 8 13 14} {1 5 6 7 10} {1 5 6 12 14} {1 5 7 8 9} {1 5 7 9 14} {1 5 9 10 15} {1 5 9 12 14} {1 5 9 12 15} {1 6 12 13 14} {1 7 8 9 14} {1 8 9 10 14} {1 8 10 13 14} {1 9 10 12 14} {1 9 10 12 15} {1 10 12 13 14} {2 3 4 6 9} {2 3 4 6 12} {2 3 4 7 9} {2 3 4 7 14} {2 3 4 12 14} {2 3 5 8 9} {2 3 7 9 13} {2 3 7 12 14} {2 3 7 12 15} {2 3 7 13 15} {2 4 5 7 11} {2 4 5 7 14} {2 4 5 10 14} {2 4 5 10 15} {2 4 5 11 15} {2 4 6 8 12} {2 4 6 8 15} {2 4 6 9 11} {2 4 6 11 15} {2 4 7 9 11} {2 4 8 10 12} {2 4 10 12 14} {2 5 6 8 12} {2 5 6 10 13} {2 5 7 8 9} {2 5 7 8 11} {2 5 7 9 14} {2 5 8 11 12} {2 5 9 13 14} {2 5 10 13 14} {2 5 11 12 15} {2 6 9 10 11} {2 6 10 11 13} {2 6 11 13 15} {2 7 8 9 11} {2 7 9 13 14} {2 7 12 13 14} {2 7 12 13 15} {2 8 9 10 11} {2 8 10 11 12} {2 10 11 12 13} {2 10 12 13 14} {2 11 12 13 15} {3 4 7 9 13} {3 4 7 13 15} {3 4 8 11 14} {3 4 11 12 14} {3 5 7 8 10} {3 5 9 10 15} {3 6 7 10 15} {3 6 9 10 15} {3 7 8 10 12} {3 7 8 12 14} {3 7 10 12 15} {3 8 10 11 12} {3 8 11 12 14} {4 6 7 8 12} {4 6 7 8 15} {4 6 9 11 14} {4 6 11 13 14} {4 6 11 13 15} {4 7 8 10 12} {4 7 8 10 13} {4 7 8 13 15} {4 7 9 10 12} {4 7 9 10 13} {4 7 9 11 12} {4 8 11 13 14} {4 8 11 13 15} {4 9 10 12 14} {4 9 11 12 14} {5 6 7 10 13} {5 6 8 12 14} {5 7 8 10 13} {5 7 8 11 13} {5 8 10 13 14} {5 8 11 12 14} {5 8 11 13 14} {5 9 11 12 14} {5 9 11 12 15} {5 9 11 13 14} {6 7 8 9 14} {6 7 8 9 15} {6 7 8 12 14} {6 7 9 10 13} {6 7 9 10 15} {6 7 9 13 14} {6 7 12 13 14} {6 9 10 11 13} {6 9 11 13 14} {7 8 9 11 15} {7 8 11 13 15} {7 9 10 12 15} {7 9 11 12 15} {7 11 12 13 15} > ) COHOMOLOGY ({} 0) ({} 0) ({} 9) ({(2 2)} 0) ({} 1) COCYCLES (<> <> ) (<> <> ) (<(173) (0 -1) (1 1) (2 -1) (3 1) (4 -1) (5 -1) (6 1) (9 -1) (10 -1) (11 -1) (12 -1) (14 -1) (17 1) (24 1) (28 -1) (29 -1) (34 -1) (42 -1) (43 -1) (47 -1) (56 -1) (59 -1) (61 1) (62 1) (64 1) (66 -1) (67 -2) (69 -1) (72 1) (74 1) (76 -1) (78 1) (85 -1) (89 1) (97 -1) (98 -1) (101 -1) (105 -1) (106 -1) (109 -1) (111 1) (119 1) (120 1) (123 -1) (124 -1) (125 -2) (131 1) (133 1) (137 1) (143 -1) (144 -1) (145 -2) (148 -1) (151 -1) (153 -1) (156 1) (160 -1) (164 -1) (169 -1) (172 1) (173) (2 1) (3 1) (4 1) (5 1) (13 1) (15 1) (17 -1) (20 1) (22 1) (24 1) (25 -1) (26 1) (27 1) (28 1) (29 1) (30 -1) (32 -1) (33 -1) (35 -1) (37 1) (38 1) (40 1) (41 -1) (46 1) (50 1) (51 1) (52 1) (53 1) (58 -1) (64 -1) (66 1) (69 -1) (70 -1) (72 -1) (74 -1) (77 1) (78 -1) (88 1) (92 -1) (95 1) (97 -1) (101 -1) (108 1) (109 1) (112 -1) (131 1) (139 -1) (151 1) (152 1) (153 1) (159 1) (161 1) (164 -1) (166 1) (167 1) (168 1) 1 1 -3 1 -3 -3 -1 0 0 1 1 -1 -1 0 1 0 0 3 0 1 -2 1 -3 0 1 3 -4 -4 -3 -3 0 0 4 4 1 4 4 0 0 4 0 4 1 1 -2 -2 -4 -1 -2 1 -2 -1 -3 -2 2 1 0 -1 4 -1 -2 -1 1 2 3 2 -3 -4 -2 -1 2 -2 3 1 2 1 -4 -2 3 0 0 0 0 1 -2 -2 -2 0 -2 -1 1 2 2 -1 -2 -2 0 1 1 2 2 1 1 -1 1 -4 -1 -2 -1 -1 0 -1 0 -2 1 0 0 0 0 -1 0 2 0 2 0 -4 -2 0 0 0 1 1 1 0 3 1 1 0 0 0 0 0 0 -3 0 -4 0 0 -1 0 -2 -2 -2 -2 -2 -1 -1 -1 0 -3 -4 0 2 0 -1 0 -3 -3 -2 -1 -2 -2 -1 (173) (1 -1) (2 1) (3 -1) (4 1) (5 1) (11 1) (12 1) (17 -1) (19 -1) (21 -1) (22 1) (24 -1) (25 -1) (26 1) (27 1) (28 1) (29 1) (32 -1) (33 -1) (35 -1) (36 -1) (39 -1) (41 -1) (46 1) (47 1) (49 -1) (52 1) (53 1) (56 1) (58 -1) (59 1) (61 -1) (62 -1) (64 -1) (65 -1) (66 1) (67 2) (69 1) (72 -1) (73 -1) (74 -1) (75 -1) (76 2) (78 -1) (83 -1) (90 -1) (93 1) (99 -1) (100 -1) (102 -1) (105 2) (106 1) (107 1) (109 1) (110 1) (113 1) (114 -1) (125 2) (130 -1) (131 -1) (132 -1) (133 -1) (134 -1) (135 -1) (136 -1) (143 1) (145 2) (148 1) (151 1) (153 1) (155 1) (157 1) (159 1) (160 2) (164 1) (166 1) (167 1) (169 1) (172 -1) 1 -1 0 0 0 0 -2 -1 0 1 2 1 1 1 2 1 1 0 1 0 0 1 0 1 0 1 0 -1 0 0 -1 -1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 -1 0 0 0 0 0 1 0 0 -1 0 0 -1 -1 -1 0 0 1 1 0 0 0 0 -1 0 0 0 1 0 -1 0 -1 -1 -1 -1 0 0 0 -1 0 0 0 1 0 0 0 -1 -1 0 0 1 1 1 1 0 -1 0 0 1 0 0 1 0 -2 -1 -1 1 1 1 0 1 -1 0 1 0 1 0 0 -1 -1 -1 -1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 -1 0 -1 -1 0 0 0 -1 -1 -2 -1 0 0 0 0 0 -1 0 -1 -1 -1 -1 0 -1 -1 -1 -2 -1 4 0 4 4 2 0 0 -2 -2 1 1 1 -2 1 0 -4 0 -1 3 -2 4 -1 0 -5 6 6 4 4 -1 0 -6 -6 -2 -6 -5 1 1 -5 1 -6 -2 -2 2 2 6 0 2 -1 3 3 4 4 -3 0 0 2 -6 0 2 2 -1 -3 -4 -3 4 4 2 0 -4 2 -4 -1 -3 -2 4 3 -4 0 0 0 0 -1 2 2 2 0 3 2 -2 -2 -2 2 2 3 0 -3 -2 -3 -3 -3 -1 2 0 4 1 2 3 1 0 2 -1 2 -1 0 0 1 0 2 0 -2 0 -2 0 4 2 0 0 0 -1 0 -1 1 -3 -2 -1 0 0 0 0 -1 0 4 0 4 0 -1 0 -1 2 3 3 3 2 2 2 2 0 4 4 0 -2 1 0 0 5 5 3 0 2 2 2 1 1 -1 -1 -1 -1 0 1 0 1 0 -1 -1 -2 0 -2 -1 1 -1 0 -2 0 -2 0 -1 2 -3 -2 -1 -1 2 1 3 3 2 3 1 -2 -2 1 -2 2 1 1 0 0 -3 1 0 0 -2 -2 -2 -2 0 0 1 0 3 1 0 -1 0 1 1 1 -2 0 0 1 2 0 1 0 1 0 -1 -1 1 1 1 1 1 1 0 0 0 0 -2 -2 0 1 1 -1 0 -1 0 3 1 1 1 2 0 0 0 -1 -1 -1 -2 -1 0 0 2 0 0 0 -1 0 -1 -1 -1 0 0 1 1 0 0 1 1 1 0 -1 1 -1 1 0 1 0 1 1 0 0 1 -1 0 0 0 1 1 1 0 -1 -2 -1 0 0 0 0 0 -2 -1 0 1 0 1 1 -2 -2 -1 1 0 0 -1 3 -1 -2 0 -2 -2 -3 0 2 3 3 1 1 1 3 1 0 2 0 1 -1 1 -2 0 0 2 -3 -5 -2 -2 -1 -2 3 3 1 3 4 1 1 4 1 5 3 3 -2 -2 -3 0 -3 1 -1 0 -2 -1 2 1 1 -2 3 0 -3 -3 0 3 4 2 -2 -2 -2 0 2 -3 2 1 0 1 -2 -2 2 -2 -2 0 -2 -1 -2 -2 -3 -2 -1 -1 1 2 2 0 -1 -2 -2 2 3 2 2 2 1 -1 0 -2 1 -2 -1 1 0 -3 -1 -1 1 0 0 0 0 -3 0 4 1 4 1 -2 -3 -2 0 0 1 0 1 -2 2 1 1 0 0 0 1 0 0 -2 1 -2 0 0 0 0 -3 0 -1 0 -1 -1 -3 -1 -2 -2 -2 0 2 0 0 1 -2 -2 -2 0 -1 -3 -3 2 -1 -1 1 -1 -1 -2 0 2 2 2 1 1 2 2 2 0 1 0 1 0 1 -1 0 1 1 -1 -3 -1 -1 -2 -2 1 1 0 1 3 2 2 3 2 3 2 2 -2 -2 -1 0 -2 1 0 1 -1 0 2 1 0 -2 1 -1 -3 -2 0 2 3 1 -1 -2 -2 -1 1 -2 1 1 0 1 -2 -1 1 -2 -2 0 -2 -1 -2 -2 -2 -2 0 0 1 1 1 0 -1 -1 -2 0 2 1 1 0 1 -1 0 -2 1 -1 0 1 0 -2 -2 -1 1 0 0 0 0 -2 0 3 0 3 0 -2 -3 -2 0 0 1 1 0 -1 1 1 1 0 -1 -1 0 0 0 -2 0 -2 1 0 0 0 -2 0 0 0 -1 -1 -2 -1 -2 -1 -2 0 1 0 -1 0 -1 -1 -1 -1 -1 -3 -2 > <{1 2 6} {1 3 5} {1 3 6} {1 3 10} {1 3 12} {1 3 15} {1 4 5} {1 4 6} {1 4 15} {1 5 6} {1 5 7} {1 5 8} {1 5 9} {1 5 10} {1 5 14} {1 5 15} {1 6 7} {1 6 9} {1 6 14} {1 8 9} {1 8 10} {1 8 14} {1 9 10} {1 9 14} {1 9 15} {1 10 14} {2 3 4} {2 3 6} {2 3 12} {2 3 15} {2 4 5} {2 4 6} {2 4 7} {2 4 9} {2 4 12} {2 4 14} {2 5 7} {2 5 10} {2 5 11} {2 5 14} {2 5 15} {2 6 9} {2 6 10} {2 6 12} {2 7 8} {2 7 9} {2 7 11} {2 7 12} {2 7 13} {2 8 9} {2 8 10} {2 8 11} {2 9 10} {2 9 11} {2 9 14} {2 10 11} {2 10 12} {2 10 13} {2 10 14} {2 11 12} {2 11 13} {2 12 13} {2 12 14} {2 13 14} {3 4 15} {3 5 7} {3 6 7} {3 6 10} {3 7 9} {3 7 10} {3 7 12} {3 7 13} {3 7 15} {3 8 9} {3 8 12} {3 8 14} {3 9 10} {3 12 14} {3 13 15} {4 6 8} {4 6 11} {4 6 13} {4 6 15} {4 7 8} {4 7 9} {4 7 10} {4 7 13} {4 7 15} {4 8 10} {4 8 12} {4 8 14} {4 9 11} {4 9 12} {4 10 12} {4 11 13} {4 12 14} {4 13 15} {5 6 10} {5 6 12} {5 7 8} {5 7 9} {5 7 10} {5 8 9} {5 8 11} {5 8 13} {5 9 10} {5 9 12} {5 9 14} {5 10 13} {5 11 12} {5 11 14} {5 12 14} {5 12 15} {5 13 14} {6 7 8} {6 7 9} {6 7 10} {6 7 14} {6 7 15} {6 8 12} {6 9 10} {6 9 11} {6 9 13} {6 10 11} {6 10 13} {6 10 15} {6 11 13} {6 11 14} {6 12 14} {6 13 14} {7 8 9} {7 8 10} {7 8 11} {7 8 12} {7 8 13} {7 8 14} {7 8 15} {7 9 10} {7 9 11} {7 9 12} {7 9 13} {7 9 14} {7 9 15} {7 10 12} {7 10 13} {7 10 15} {7 11 15} {7 12 14} {7 12 15} {7 13 14} {7 13 15} {8 10 12} {8 10 13} {8 11 12} {8 11 13} {8 11 14} {8 12 14} {8 13 14} {8 13 15} {9 10 12} {9 10 15} {9 11 12} {9 11 14} {9 12 14} {9 12 15} {9 13 14} {10 12 14} {10 13 14} {11 12 14} {11 12 15} {11 13 14} {11 13 15} {12 13 15} > ) (<0 1 1 0 -1 -1 -1 0 1 1 0 0 -1 1 1 1 1 1 -2 -2 -2 1 2 2 1 1 -1 2 > <{5 8 11 13} {5 9 11 12} {5 9 11 14} {5 11 13 14} {6 7 9 10} {6 9 10 13} {6 9 11 13} {7 8 11 13} {7 9 10 15} {7 9 12 15} {7 11 12 15} {7 11 13 15} {9 11 12 15} {9 11 13 14} > ) (<1 > <{7 11 12 13 15} > ) INTERSECTION_FORM 0 (3 6)