_application polytope _version 2.2 _type RationalPolytope AMBIENT_DIM 3 DIM 3 FACETS 1 1 0 0 1 -1 0 0 1 0 1 0 1 0 -1 0 1 0 0 1 1 0 0 -1 AFFINE_HULL VERTICES_IN_FACETS {0 2 4 6} {1 3 5 7} {0 1 4 5} {2 3 6 7} {0 1 2 3} {4 5 6 7} BOUNDED 1 HASSE_DIAGRAM 1 7 19 27 <({0 1 2 3 4 5 6 7} {}) ({0 2 4 6} {0}) ({1 3 5 7} {0}) ({0 1 4 5} {0}) ({2 3 6 7} {0}) ({0 1 2 3} {0}) ({4 5 6 7} {0}) ({0 4} {1 3}) ({2 6} {1 4}) ({0 2} {1 5}) ({4 6} {1 6}) ({1 5} {2 3}) ({3 7} {2 4}) ({1 3} {2 5}) ({5 7} {2 6}) ({0 1} {3 5}) ({4 5} {3 6}) ({2 3} {4 5}) ({6 7} {4 6}) ({0} {7 9 15}) ({1} {11 13 15}) ({2} {8 9 17}) ({3} {12 13 17}) ({4} {7 10 16}) ({5} {11 14 16}) ({6} {8 10 18}) ({7} {12 14 18}) ({} {19 20 21 22 23 24 25 26}) > F_VECTOR 8 12 6 F2_VECTOR 8 24 24 24 12 24 24 24 6 VERTICES 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1