_application topaz
_version 2.3
_type SimplicialComplex

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

PURE
1

DIM
4

HOMOLOGY
({} 0)
({} 0)
({(2 3)} 8)
({} 0)
({} 1)

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

COHOMOLOGY
({} 0)
({} 0)
({} 8)
({(2 3)} 0)
({} 1)

COCYCLES
(<>
<>
)
(<>
<>
)
(<(161) (1 1) (11 -1) (12 -1) (13 -1) (21 1) (23 1) (36 1) (41 1) (42 1) (43 1) (44 -1) (46 -1) (48 -1) (49 -1) (50 -1) (51 -1) (52 -1) (53 -1) (54 -1) (56 -1) (57 -1) (58 1) (60 -1) (61 -1) (62 -1) (64 -1) (76 1) (85 -1) (108 1) (121 -1) (132 1) (156 -1) (160 1)
1 -1 1 1 -1 -1 -1 0 0 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 0 -1 0 0 0 0 0 1 0 1 0 0 -1 -1 -1 0 -1 0 0 -2 -1 -2 1 0 0 -1 -1 0 1 1 1 1 1 -1 0 1 -1 0 0 1 1 1 1 1 1 0 0 -1 -1 -1 -1 1 0 0 -1 1 -1 0 0 1 0 1 1 0 0 -1 0 -1 1 1 0 1 1 1 2 2 1 1 1 1 1 1 0 1 1 1 -1 0 0 1 1 0 1 1 0 -1 0 0 1 1 0 -1 0 -1 0 0 0 0 0 -1 -1 0 -1 0 0 0 1 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 1 1 0 0 1 -1 0
3 -1 2 2 -2 -2 -2 -1 -1 2 -3 2 2 1 3 3 3 -3 -3 -3 -1 -2 -1 -2 0 1 1 2 -1 1 0 0 -2 -2 -3 -2 -5 0 -1 0 2 -5 -5 -5 1 1 3 -1 2 3 2 4 5 3 4 -2 2 1 -1 0 3 4 1 1 1 2 3 0 2 0 -3 -2 0 0 0 -1 -5 0 -1 -1 -2 0 -1 1 2 3 1 -1 2 -1 2 2 -1 3 1 1 3 3 4 1 4 2 2 2 -2 0 1 2 -2 0 0 2 1 0 1 0 -1 -1 0 -3 1 1 0 -2 0 -2 0 0 -1 2 -1 -2 -5 0 -2 -1 3 -1 2 2 1 2 2 0 2 -2 0 1 -1 -1 0 2 0 1 2 2 3 3 1 1 0
(161) (0 -1) (1 -1) (7 1) (8 1) (10 1) (11 1) (12 1) (13 1) (14 -1) (15 -1) (16 -1) (19 1) (21 -1) (23 -1) (27 -1) (30 1) (31 1) (32 1) (33 1) (34 1) (36 1) (39 1) (40 -1) (42 1) (44 1) (48 -1) (50 1) (52 -1) (53 1) (57 1) (58 -1) (60 -1) (62 1) (63 1) (64 1) (66 -1) (67 -1) (68 -1) (69 -1) (70 1) (72 -1) (73 1) (75 1) (76 1) (77 1) (79 1) (80 1) (81 1) (82 1) (85 -1) (88 -1) (98 -1) (106 1) (108 -1) (114 1) (115 1) (116 1) (118 1) (119 2) (120 1) (121 1) (128 1) (130 1) (132 1) (135 1) (136 -1) (137 1) (140 1) (147 -1) (148 1) (149 1) (153 1) (156 -1) (157 -1) (158 1) (159 -1)
1 -1 1 1 -1 -1 -1 0 0 1 -1 2 2 1 1 1 1 -2 -2 -1 0 -2 -1 -2 -1 0 0 0 -1 1 1 1 0 -1 -1 -2 -3 -1 -1 1 1 -3 -3 -3 1 1 2 0 1 2 2 2 3 2 2 -1 1 1 -1 0 1 2 1 1 1 1 1 -1 1 0 -1 -1 0 0 -1 -1 -3 0 -1 0 0 1 0 1 1 1 0 -1 1 0 1 1 -1 1 0 0 1 2 1 0 2 1 1 1 -1 0 1 1 -2 0 1 1 1 0 1 1 0 -1 0 -1 1 1 0 -1 0 -1 0 -1 0 1 -1 -2 -3 -1 -1 1 1 0 1 1 1 1 1 0 1 -1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0
3 -2 3 3 -3 -2 -3 -1 -1 2 -3 3 3 2 3 3 3 -4 -4 -3 -2 -3 -1 -3 0 2 0 1 -1 2 1 1 -1 -2 -3 -3 -4 -1 -2 1 1 -6 -4 -6 2 0 1 -2 -1 1 3 3 4 3 4 -2 1 2 -2 0 1 3 2 2 2 3 3 -1 1 -2 -3 -3 -2 2 0 -1 -4 1 -2 -1 -1 1 -1 2 2 1 0 -2 1 -2 3 3 0 4 2 2 4 5 5 2 4 3 3 3 -2 0 2 2 -3 -1 0 3 2 0 2 1 -1 -2 0 -1 2 2 1 -2 1 -3 1 0 -1 2 -1 -3 -4 -1 -4 -1 3 -1 2 1 2 1 2 0 3 -2 0 -1 -1 -1 0 2 0 2 2 2 1 1 2 -1 0
-1 1 -1 -1 1 1 1 0 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 0 1 1 0 -1 -1 0 0 0 0 1 1 1 1 3 0 1 0 -2 2 3 2 -1 -2 -3 -1 -3 -4 -1 -2 -3 -2 -2 1 -2 -1 1 -1 -2 -3 -1 -1 -1 -1 -1 0 -2 -1 1 1 -1 1 1 1 3 1 0 0 1 0 1 0 -1 -2 0 1 -2 -1 -1 -1 2 0 1 1 0 0 -1 1 -2 -1 -1 -1 1 0 0 -1 1 0 0 -1 0 1 0 0 1 1 0 2 -1 -1 0 1 0 1 0 1 1 -1 1 1 3 0 1 0 -2 0 -1 -1 0 -1 -1 0 -1 1 0 -1 0 0 -1 -1 1 0 -1 -1 -2 -2 -1 -1 0
1 -1 1 1 -1 0 -1 0 0 1 -1 2 2 1 1 1 1 -2 -2 -1 -2 -2 -1 -2 0 1 -1 -1 -1 1 1 1 0 -1 -1 -2 -1 -1 -1 1 -1 -3 -1 -3 1 -1 -1 -1 -2 -1 2 1 1 1 1 0 0 1 -1 0 -1 0 1 1 1 1 1 -1 -1 -2 -1 -1 -2 2 0 0 -1 1 -2 0 0 1 0 1 1 -1 0 -1 -1 -2 1 1 1 2 2 1 2 3 2 2 1 1 1 1 -1 0 1 1 -2 -1 0 1 1 0 1 1 0 -1 0 1 1 1 0 0 1 -1 0 0 0 0 0 -2 -1 -1 -2 0 0 0 0 0 1 0 0 -1 1 0 1 -1 0 0 0 1 0 1 1 1 -1 -1 1 -2 0
>
<{1 2 4}
{1 3 15}
{1 5 6}
{1 5 8}
{1 6 14}
{1 8 11}
{1 8 14}
{1 9 10}
{1 9 14}
{1 11 12}
{2 3 4}
{2 3 6}
{2 3 8}
{2 3 13}
{2 4 5}
{2 4 10}
{2 4 11}
{2 5 9}
{2 5 13}
{2 5 14}
{2 5 15}
{2 6 7}
{2 6 13}
{2 6 15}
{2 7 9}
{2 7 14}
{2 8 9}
{2 8 10}
{2 8 13}
{2 9 11}
{2 9 14}
{2 10 11}
{2 10 12}
{2 10 13}
{2 10 14}
{2 11 13}
{2 11 15}
{2 12 13}
{2 12 14}
{2 13 14}
{2 14 15}
{3 4 6}
{3 4 7}
{3 4 8}
{3 4 15}
{3 5 8}
{3 5 10}
{3 5 11}
{3 5 13}
{3 5 14}
{3 6 11}
{3 7 10}
{3 7 13}
{3 8 9}
{3 8 10}
{3 8 11}
{3 8 14}
{3 8 15}
{3 9 13}
{3 10 14}
{3 11 13}
{3 11 14}
{3 11 15}
{3 13 14}
{3 13 15}
{4 5 6}
{4 5 7}
{4 5 9}
{4 5 15}
{4 6 7}
{4 6 11}
{4 6 14}
{4 6 15}
{4 7 8}
{4 7 9}
{4 7 10}
{4 7 11}
{4 7 12}
{4 8 10}
{4 9 10}
{4 9 11}
{4 9 12}
{4 9 14}
{4 10 12}
{4 11 12}
{4 11 13}
{4 11 14}
{4 12 14}
{4 14 15}
{5 6 7}
{5 6 12}
{5 6 13}
{5 7 8}
{5 7 9}
{5 7 10}
{5 7 11}
{5 7 12}
{5 7 13}
{5 7 14}
{5 7 15}
{5 8 9}
{5 8 10}
{5 8 13}
{5 8 15}
{5 9 11}
{5 9 12}
{5 10 13}
{5 11 12}
{6 7 11}
{6 7 12}
{6 7 13}
{6 7 14}
{6 9 11}
{6 9 13}
{6 9 14}
{6 10 11}
{6 10 13}
{6 11 13}
{6 11 14}
{6 11 15}
{6 13 14}
{6 13 15}
{7 8 10}
{7 8 11}
{7 8 12}
{7 8 14}
{7 8 15}
{7 9 13}
{7 9 14}
{7 9 15}
{7 10 13}
{7 11 13}
{7 11 15}
{7 12 13}
{7 12 14}
{7 13 14}
{7 14 15}
{8 9 10}
{8 9 11}
{8 9 13}
{8 9 14}
{8 9 15}
{8 10 11}
{8 10 12}
{8 10 14}
{8 11 15}
{8 12 15}
{8 14 15}
{9 10 11}
{9 10 13}
{9 10 14}
{10 11 12}
{10 12 14}
{10 13 14}
{11 12 13}
{11 12 15}
{11 13 15}
{11 14 15}
{12 13 14}
{12 14 15}
{13 14 15}
>
)
(<1 1 -1 -1 0 0 0 0 0 0 1 1 -1 -1 1 0 0 0 -1 0 -1 1 1
-1 -1 1 1 -1 1 -1 1 -1 -1 -1 0 1 1 0 1 -1 -1 1 -1 1 0 0
3 3 -3 -3 5 -4 4 -4 4 4 2 -2 -3 -3 -2 -5 5 4 -2 4 -3 -2 -2
>
<{4 7 9 10}
{4 9 10 12}
{4 9 12 14}
{4 11 12 14}
{4 11 14 15}
{5 7 8 9}
{5 7 9 11}
{5 7 11 12}
{5 7 12 13}
{6 7 12 13}
{6 7 12 14}
{6 7 13 14}
{6 9 10 13}
{6 9 11 13}
{6 9 13 14}
{6 11 13 14}
{6 11 14 15}
{7 8 9 15}
{7 8 12 14}
{7 8 14 15}
{7 9 10 13}
{8 12 14 15}
{11 12 14 15}
>
)
(<1
>
<{8 11 12 14 15}
>
)

INTERSECTION_FORM
0 (5 3)