_application topaz
_version 2.3
_type SimplicialComplex

FACETS
{0 1 2 5 10}
{0 1 2 5 13}
{0 1 2 6 9}
{0 1 2 6 14}
{0 1 2 9 13}
{0 1 2 10 14}
{0 1 3 4 11}
{0 1 3 4 12}
{0 1 3 7 8}
{0 1 3 7 15}
{0 1 3 8 12}
{0 1 3 11 15}
{0 1 4 6 9}
{0 1 4 6 14}
{0 1 4 9 11}
{0 1 4 12 14}
{0 1 5 7 8}
{0 1 5 7 15}
{0 1 5 8 10}
{0 1 5 13 15}
{0 1 8 10 14}
{0 1 8 12 14}
{0 1 9 11 15}
{0 1 9 13 15}
{0 2 3 4 11}
{0 2 3 4 12}
{0 2 3 7 8}
{0 2 3 7 15}
{0 2 3 8 12}
{0 2 3 11 15}
{0 2 4 5 10}
{0 2 4 5 13}
{0 2 4 10 11}
{0 2 4 12 13}
{0 2 6 7 8}
{0 2 6 7 15}
{0 2 6 8 9}
{0 2 6 14 15}
{0 2 8 9 13}
{0 2 8 12 13}
{0 2 10 11 15}
{0 2 10 14 15}
{0 4 5 7 8}
{0 4 5 7 15}
{0 4 5 8 10}
{0 4 5 13 15}
{0 4 6 7 8}
{0 4 6 7 15}
{0 4 6 8 9}
{0 4 6 14 15}
{0 4 8 9 11}
{0 4 8 10 11}
{0 4 12 13 15}
{0 4 12 14 15}
{0 8 9 11 15}
{0 8 9 13 15}
{0 8 10 11 15}
{0 8 10 14 15}
{0 8 12 13 15}
{0 8 12 14 15}
{1 2 3 5 10}
{1 2 3 5 13}
{1 2 3 6 9}
{1 2 3 6 14}
{1 2 3 9 13}
{1 2 3 10 14}
{1 3 4 5 11}
{1 3 4 5 12}
{1 3 5 10 11}
{1 3 5 12 13}
{1 3 6 7 9}
{1 3 6 7 14}
{1 3 7 8 9}
{1 3 7 14 15}
{1 3 8 9 12}
{1 3 9 12 13}
{1 3 10 11 14}
{1 3 11 14 15}
{1 4 5 6 9}
{1 4 5 6 14}
{1 4 5 9 11}
{1 4 5 12 14}
{1 5 6 7 9}
{1 5 6 7 14}
{1 5 7 8 9}
{1 5 7 14 15}
{1 5 8 9 10}
{1 5 9 10 11}
{1 5 12 13 14}
{1 5 13 14 15}
{1 8 9 10 14}
{1 8 9 12 14}
{1 9 10 11 14}
{1 9 11 14 15}
{1 9 12 13 14}
{1 9 13 14 15}
{2 3 4 6 11}
{2 3 4 6 12}
{2 3 5 7 10}
{2 3 5 7 13}
{2 3 6 9 11}
{2 3 6 12 14}
{2 3 7 8 10}
{2 3 7 13 15}
{2 3 8 10 12}
{2 3 9 11 13}
{2 3 10 12 14}
{2 3 11 13 15}
{2 4 5 6 10}
{2 4 5 6 13}
{2 4 6 10 11}
{2 4 6 12 13}
{2 5 6 7 10}
{2 5 6 7 13}
{2 6 7 8 10}
{2 6 7 13 15}
{2 6 8 9 10}
{2 6 9 10 11}
{2 6 12 13 14}
{2 6 13 14 15}
{2 8 9 10 13}
{2 8 10 12 13}
{2 9 10 11 13}
{2 10 11 13 15}
{2 10 12 13 14}
{2 10 13 14 15}
{3 4 5 7 11}
{3 4 5 7 12}
{3 4 6 7 11}
{3 4 6 7 12}
{3 5 7 10 11}
{3 5 7 12 13}
{3 6 7 9 11}
{3 6 7 12 14}
{3 7 8 9 11}
{3 7 8 10 11}
{3 7 12 13 15}
{3 7 12 14 15}
{3 8 9 11 12}
{3 8 10 11 12}
{3 9 11 12 13}
{3 10 11 12 14}
{3 11 12 13 15}
{3 11 12 14 15}
{4 5 6 9 13}
{4 5 6 10 14}
{4 5 7 8 12}
{4 5 7 11 15}
{4 5 8 10 12}
{4 5 9 11 13}
{4 5 10 12 14}
{4 5 11 13 15}
{4 6 7 8 12}
{4 6 7 11 15}
{4 6 8 9 12}
{4 6 9 12 13}
{4 6 10 11 14}
{4 6 11 14 15}
{4 8 9 11 12}
{4 8 10 11 12}
{4 9 11 12 13}
{4 10 11 12 14}
{4 11 12 13 15}
{4 11 12 14 15}
{5 6 7 9 13}
{5 6 7 10 14}
{5 7 8 9 13}
{5 7 8 12 13}
{5 7 10 11 15}
{5 7 10 14 15}
{5 8 9 10 13}
{5 8 10 12 13}
{5 9 10 11 13}
{5 10 11 13 15}
{5 10 12 13 14}
{5 10 13 14 15}
{6 7 8 10 14}
{6 7 8 12 14}
{6 7 9 11 15}
{6 7 9 13 15}
{6 8 9 10 14}
{6 8 9 12 14}
{6 9 10 11 14}
{6 9 11 14 15}
{6 9 12 13 14}
{6 9 13 14 15}
{7 8 9 11 15}
{7 8 9 13 15}
{7 8 10 11 15}
{7 8 10 14 15}
{7 8 12 13 15}
{7 8 12 14 15}

PURE
1

DIM
4

HOMOLOGY
({} 0)
({} 0)
({(2 5)} 6)
({} 0)
({} 1)

CYCLES
(<>
<>
)
(<>
<>
)
(<1 -1 1 1 -1 1 0 0 0 -2 2 -2 -1 1 -1 0 0 0 0 0 0 0 -1 1 -1 -1 1 0 -1 0 1 0 1 -1 1 0 -1 0 0 1 0 1 0 -1 -1 1 0 -1 1 0 0 -1 -1 1 -1 1 1 1 1 -1
(60) (3 1) (4 -1) (5 1) (6 -1) (7 1) (8 -1) (25 -1) (27 1) (28 -1) (35 1) (36 -1) (38 1)
(60) (6 1) (7 -1) (8 1) (9 -1) (10 1) (11 -1) (27 -1) (29 1) (30 1) (31 -1) (35 -1) (37 1) (38 -1) (39 1) (40 -1) (45 1) (46 -1) (48 1) (49 -1) (50 1) (51 -1) (52 -1) (53 1) (57 1) (58 1) (59 -1)
0 0 0 0 0 0 -3 3 -3 3 -3 3 2 -2 0 1 -1 1 -1 0 1 1 0 -2 2 0 -2 3 0 -1 -3 1 -2 2 -2 3 0 -1 3 -3 1 -1 1 0 1 -2 1 1 -2 1 0 2 2 -2 1 -1 -1 -2 -2 2
(60) (6 1) (7 -1) (8 1) (9 -1) (10 1) (11 -1) (12 -1) (13 1) (15 -1) (16 1) (17 -1) (18 1) (19 1) (20 -1) (21 -1) (23 1) (24 -1) (26 1) (27 -1) (30 1) (32 1) (33 -1) (34 1) (35 -1) (38 -1) (39 1)
(60) (9 -1) (10 1) (11 -1) (41 -1) (42 1) (54 1)
(60) (9 -1) (10 1) (11 -1) (50 1) (53 -1) (59 1)
(60) (9 -1) (10 1) (11 -1) (12 1) (13 -1) (19 1)
(60) (9 -2) (10 2) (11 -2) (12 1) (13 -1) (15 1) (16 -1) (20 1) (44 -1) (45 1) (51 -1) (55 1) (57 1)
(60) (9 -2) (10 2) (11 -2) (12 1) (13 -1) (17 1) (18 -1) (21 1) (47 -1) (48 1) (52 -1) (56 1) (58 1)
(60) (9 -2) (10 2) (11 -2) (23 1) (24 -1) (26 1) (29 -1) (31 1) (47 -1) (49 1) (53 -1) (56 1) (59 1)
>
<{0 4 8}
{0 4 15}
{0 8 15}
{1 5 9}
{1 5 14}
{1 9 14}
{2 6 10}
{2 6 13}
{2 10 13}
{3 7 11}
{3 7 12}
{3 11 12}
{4 7 11}
{4 7 12}
{4 8 12}
{4 9 12}
{4 9 13}
{4 10 12}
{4 10 14}
{4 11 12}
{4 11 13}
{4 11 14}
{4 11 15}
{5 7 11}
{5 7 12}
{5 9 13}
{5 10 12}
{5 10 13}
{5 10 14}
{5 10 15}
{5 11 13}
{5 11 15}
{6 7 11}
{6 7 12}
{6 9 12}
{6 9 13}
{6 9 14}
{6 9 15}
{6 10 14}
{6 11 14}
{6 11 15}
{7 8 11}
{7 8 12}
{7 8 15}
{7 9 11}
{7 9 13}
{7 9 15}
{7 10 11}
{7 10 14}
{7 10 15}
{7 11 15}
{7 12 13}
{7 12 14}
{7 12 15}
{8 11 12}
{9 11 12}
{10 11 12}
{11 12 13}
{11 12 14}
{11 12 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
>
<{0 1 2 5 10}
{0 1 2 5 13}
{0 1 2 6 9}
{0 1 2 6 14}
{0 1 2 9 13}
{0 1 2 10 14}
{0 1 3 4 11}
{0 1 3 4 12}
{0 1 3 7 8}
{0 1 3 7 15}
{0 1 3 8 12}
{0 1 3 11 15}
{0 1 4 6 9}
{0 1 4 6 14}
{0 1 4 9 11}
{0 1 4 12 14}
{0 1 5 7 8}
{0 1 5 7 15}
{0 1 5 8 10}
{0 1 5 13 15}
{0 1 8 10 14}
{0 1 8 12 14}
{0 1 9 11 15}
{0 1 9 13 15}
{0 2 3 4 11}
{0 2 3 4 12}
{0 2 3 7 8}
{0 2 3 7 15}
{0 2 3 8 12}
{0 2 3 11 15}
{0 2 4 5 10}
{0 2 4 5 13}
{0 2 4 10 11}
{0 2 4 12 13}
{0 2 6 7 8}
{0 2 6 7 15}
{0 2 6 8 9}
{0 2 6 14 15}
{0 2 8 9 13}
{0 2 8 12 13}
{0 2 10 11 15}
{0 2 10 14 15}
{0 4 5 7 8}
{0 4 5 7 15}
{0 4 5 8 10}
{0 4 5 13 15}
{0 4 6 7 8}
{0 4 6 7 15}
{0 4 6 8 9}
{0 4 6 14 15}
{0 4 8 9 11}
{0 4 8 10 11}
{0 4 12 13 15}
{0 4 12 14 15}
{0 8 9 11 15}
{0 8 9 13 15}
{0 8 10 11 15}
{0 8 10 14 15}
{0 8 12 13 15}
{0 8 12 14 15}
{1 2 3 5 10}
{1 2 3 5 13}
{1 2 3 6 9}
{1 2 3 6 14}
{1 2 3 9 13}
{1 2 3 10 14}
{1 3 4 5 11}
{1 3 4 5 12}
{1 3 5 10 11}
{1 3 5 12 13}
{1 3 6 7 9}
{1 3 6 7 14}
{1 3 7 8 9}
{1 3 7 14 15}
{1 3 8 9 12}
{1 3 9 12 13}
{1 3 10 11 14}
{1 3 11 14 15}
{1 4 5 6 9}
{1 4 5 6 14}
{1 4 5 9 11}
{1 4 5 12 14}
{1 5 6 7 9}
{1 5 6 7 14}
{1 5 7 8 9}
{1 5 7 14 15}
{1 5 8 9 10}
{1 5 9 10 11}
{1 5 12 13 14}
{1 5 13 14 15}
{1 8 9 10 14}
{1 8 9 12 14}
{1 9 10 11 14}
{1 9 11 14 15}
{1 9 12 13 14}
{1 9 13 14 15}
{2 3 4 6 11}
{2 3 4 6 12}
{2 3 5 7 10}
{2 3 5 7 13}
{2 3 6 9 11}
{2 3 6 12 14}
{2 3 7 8 10}
{2 3 7 13 15}
{2 3 8 10 12}
{2 3 9 11 13}
{2 3 10 12 14}
{2 3 11 13 15}
{2 4 5 6 10}
{2 4 5 6 13}
{2 4 6 10 11}
{2 4 6 12 13}
{2 5 6 7 10}
{2 5 6 7 13}
{2 6 7 8 10}
{2 6 7 13 15}
{2 6 8 9 10}
{2 6 9 10 11}
{2 6 12 13 14}
{2 6 13 14 15}
{2 8 9 10 13}
{2 8 10 12 13}
{2 9 10 11 13}
{2 10 11 13 15}
{2 10 12 13 14}
{2 10 13 14 15}
{3 4 5 7 11}
{3 4 5 7 12}
{3 4 6 7 11}
{3 4 6 7 12}
{3 5 7 10 11}
{3 5 7 12 13}
{3 6 7 9 11}
{3 6 7 12 14}
{3 7 8 9 11}
{3 7 8 10 11}
{3 7 12 13 15}
{3 7 12 14 15}
{3 8 9 11 12}
{3 8 10 11 12}
{3 9 11 12 13}
{3 10 11 12 14}
{3 11 12 13 15}
{3 11 12 14 15}
{4 5 6 9 13}
{4 5 6 10 14}
{4 5 7 8 12}
{4 5 7 11 15}
{4 5 8 10 12}
{4 5 9 11 13}
{4 5 10 12 14}
{4 5 11 13 15}
{4 6 7 8 12}
{4 6 7 11 15}
{4 6 8 9 12}
{4 6 9 12 13}
{4 6 10 11 14}
{4 6 11 14 15}
{4 8 9 11 12}
{4 8 10 11 12}
{4 9 11 12 13}
{4 10 11 12 14}
{4 11 12 13 15}
{4 11 12 14 15}
{5 6 7 9 13}
{5 6 7 10 14}
{5 7 8 9 13}
{5 7 8 12 13}
{5 7 10 11 15}
{5 7 10 14 15}
{5 8 9 10 13}
{5 8 10 12 13}
{5 9 10 11 13}
{5 10 11 13 15}
{5 10 12 13 14}
{5 10 13 14 15}
{6 7 8 10 14}
{6 7 8 12 14}
{6 7 9 11 15}
{6 7 9 13 15}
{6 8 9 10 14}
{6 8 9 12 14}
{6 9 10 11 14}
{6 9 11 14 15}
{6 9 12 13 14}
{6 9 13 14 15}
{7 8 9 11 15}
{7 8 9 13 15}
{7 8 10 11 15}
{7 8 10 14 15}
{7 8 12 13 15}
{7 8 12 14 15}
>
)

COHOMOLOGY
({} 0)
({} 0)
({} 6)
({(2 5)} 0)
({} 1)

COCYCLES
(<>
<>
)
(<>
<>
)
(<(145) (0 1) (1 -1) (4 1) (5 -1) (7 1) (8 1) (9 1) (10 1) (11 1) (12 1) (13 1) (18 -1) (19 1) (22 -1) (25 1) (27 1) (28 1) (29 -1) (30 -1) (32 -1) (35 1) (36 1) (37 -1) (38 -1) (41 1) (43 -1) (44 -1) (45 -1) (46 -1) (47 -1) (48 1) (49 1) (50 1) (51 1) (56 1) (58 -1) (67 1) (68 1) (71 1) (74 1) (75 1) (79 -1) (80 -1) (81 -1) (84 -1) (85 -1) (88 -1) (91 -1) (92 -1) (97 1) (98 1) (99 1) (127 1) (130 -1) (131 -1) (134 1) (135 1) (143 -1)
(145) (13 -1) (14 -1) (15 -1) (19 -1) (20 -1) (21 -1) (23 -1) (24 -1) (25 -1) (39 -1) (40 -1) (41 -1) (48 -1) (49 -1) (50 -1) (51 -1) (52 -1) (53 -1) (58 1) (61 1) (62 1) (64 -1) (65 -1) (66 -1) (67 -1) (68 -1) (69 -1) (77 1) (78 1) (80 1) (88 1) (92 1) (93 1) (99 -1) (100 -1) (101 -1) (105 1) (106 1) (110 1) (117 -1) (118 -1) (119 -1) (135 -1) (136 -1) (137 -1) (139 -1) (140 -1) (141 -1)
-1 1 0 0 -1 1 0 -1 -1 -1 -1 -1 -1 0 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 -1 -1 1 1 0 0 -1 -1 -1 -1 1 1 0 0 -1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 -1 -1 0 0 0 1 1 1 0 0 1 1 0 -1 1 0 -1 0 1 0 0 0 1 0 0 -1 0 0 0 -1 -1 0 0 0 0 -1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 -1 -1 -1 -1 -1 -1 0 1 0 0 -1 -1 0 0 0 0 0 0 0 1 0
(145) (1 -1) (2 -1) (5 -1) (6 -1) (14 -1) (20 -1) (22 -1) (24 -1) (26 -1) (38 -1) (40 -1) (42 -1) (43 -1) (44 -1) (45 -1) (46 -1) (47 -1) (52 -1) (53 -1) (56 1) (60 1) (62 1) (63 -1) (64 -1) (65 -1) (71 1) (75 1) (77 1) (81 -1) (82 -1) (83 -1) (84 -1) (85 -1) (86 -1) (93 1) (95 1) (98 1) (100 -1) (105 1) (107 1) (113 1) (116 -1) (118 -1) (120 -1) (131 -1) (132 -1) (136 -1) (138 -1) (140 -1) (142 -1) (143 -1) (144 -1)
(145) (1 1) (2 1) (3 -1) (4 -1) (14 1) (17 -1) (22 1) (24 1) (26 1) (31 -1) (33 -1) (35 -1) (43 1) (44 1) (45 1) (46 1) (47 1) (52 1) (53 1) (54 1) (57 1) (58 1) (63 1) (64 1) (65 1) (70 -1) (73 1) (74 -1) (79 1) (80 1) (83 1) (84 1) (85 1) (86 1) (88 1) (89 1) (90 -1) (96 1) (102 -1) (104 -1) (110 1) (111 1) (112 -1) (115 1) (121 -1) (122 -1) (123 -1) (126 -1) (127 -1) (128 -1) (133 -1) (134 -1)
0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 -1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 1 -1 0 -1 1 0 1 -1 0 0 -1 1 1 0 0 0 0 1 -1 0 2 1 0 -1 1 0 -1 0 -1 1 2 1 1 1 2 -1 0 0 1 1 -1 0 1 -1 0 -1 1 1 2 1 1 1 1 1 1 1 2 1 2 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 1
>
<{1 2 3}
{1 4 5}
{1 6 7}
{1 8 9}
{1 10 11}
{1 12 13}
{1 14 15}
{2 3 5}
{2 3 6}
{2 3 9}
{2 3 10}
{2 3 13}
{2 3 14}
{2 4 6}
{2 5 6}
{2 5 7}
{2 8 10}
{2 9 10}
{2 9 11}
{2 12 14}
{2 13 14}
{2 13 15}
{3 4 5}
{3 4 6}
{3 4 7}
{3 5 7}
{3 6 7}
{3 6 11}
{3 6 12}
{3 7 10}
{3 7 13}
{3 8 9}
{3 8 10}
{3 8 11}
{3 9 11}
{3 10 11}
{3 10 12}
{3 11 13}
{3 12 13}
{3 12 14}
{3 12 15}
{3 13 15}
{3 14 15}
{4 5 6}
{4 5 9}
{4 5 11}
{4 5 12}
{4 5 14}
{4 6 10}
{4 6 11}
{4 6 12}
{4 6 13}
{4 7 11}
{4 7 12}
{4 8 12}
{4 9 12}
{4 9 13}
{4 10 12}
{4 10 14}
{4 11 12}
{4 11 13}
{4 11 14}
{4 11 15}
{5 6 7}
{5 6 10}
{5 6 13}
{5 7 10}
{5 7 11}
{5 7 12}
{5 7 13}
{5 8 9}
{5 8 12}
{5 8 13}
{5 9 13}
{5 10 11}
{5 10 12}
{5 10 13}
{5 10 14}
{5 10 15}
{5 11 13}
{5 11 15}
{5 12 13}
{5 14 15}
{6 7 9}
{6 7 11}
{6 7 12}
{6 7 14}
{6 8 10}
{6 8 12}
{6 8 14}
{6 9 10}
{6 9 11}
{6 9 12}
{6 9 13}
{6 9 14}
{6 9 15}
{6 10 14}
{6 11 14}
{6 11 15}
{6 12 14}
{6 13 14}
{6 13 15}
{7 8 9}
{7 8 10}
{7 8 11}
{7 8 12}
{7 8 13}
{7 8 14}
{7 8 15}
{7 9 11}
{7 9 13}
{7 9 15}
{7 10 11}
{7 10 14}
{7 10 15}
{7 11 15}
{7 12 13}
{7 12 14}
{7 12 15}
{7 13 15}
{7 14 15}
{8 9 10}
{8 9 12}
{8 9 14}
{8 10 12}
{8 10 13}
{8 11 12}
{9 10 11}
{9 10 13}
{9 11 12}
{9 11 13}
{9 12 13}
{9 14 15}
{10 11 12}
{10 11 14}
{10 12 14}
{10 13 14}
{10 13 15}
{11 12 13}
{11 12 14}
{11 12 15}
{11 13 15}
{11 14 15}
{12 13 14}
{13 14 15}
>
)
(<(34) (8 1) (9 1) (10 -1) (11 1) (23 1) (25 1) (27 1) (30 1)
(34) (2 -1) (7 1) (17 1) (18 1) (19 1) (25 1) (26 1) (29 1) (31 -1) (33 -1)
0 1 2 0 0 -1 -1 -1 0 0 0 0 0 0 0 0 0 -1 -1 -1 1 1 0 0 0 -1 -1 1 0 -1 0 2 -1 2
-1 0 1 1 1 0 0 -1 0 0 0 0 1 -1 0 0 0 -1 -1 -1 0 1 1 0 -1 -1 -1 1 1 -1 0 1 0 1
1 1 2 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 0 -1 -1 1 0 -1 1 2 1 0 1 -1 0 1 2 -1 2
>
<{3 4 6 7}
{3 8 10 11}
{3 12 14 15}
{4 6 7 11}
{4 6 7 12}
{4 10 11 12}
{4 11 12 14}
{4 11 14 15}
{5 8 12 13}
{5 10 12 13}
{5 10 13 14}
{5 10 14 15}
{6 7 8 12}
{6 7 11 15}
{6 8 12 14}
{6 9 12 14}
{6 9 13 14}
{6 9 13 15}
{6 9 14 15}
{6 11 14 15}
{7 8 10 11}
{7 8 10 15}
{7 8 11 15}
{7 8 12 13}
{7 8 12 14}
{7 8 12 15}
{7 8 13 15}
{7 8 14 15}
{7 9 11 15}
{7 9 13 15}
{7 10 14 15}
{7 12 14 15}
{8 10 11 12}
{11 12 14 15}
>
)
(<1
>
<{7 8 12 14 15}
>
)

INTERSECTION_FORM
0 (3 3)