_application polytope _version 2.1.0 _type RationalPolytope VERTICES 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 DIM 4 AMBIENT_DIM 4 FULL_DIM FACETS 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 -1 1 0 0 -1 0 1 0 -1 0 0 1 -1 0 0 0 AFFINE_HULL VERTICES_IN_FACETS {0 2 4 6 8 10 12 14} {0 1 2 3 4 5 6 7} {0 1 2 3 8 9 10 11} {0 1 4 5 8 9 12 13} {1 3 5 7 9 11 13 15} {2 3 6 7 10 11 14 15} {4 5 6 7 12 13 14 15} {8 9 10 11 12 13 14 15} HASSE_DIAGRAM 1 9 33 65 81 <({0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15} {}) ({0 2 4 6 8 10 12 14} {0}) ({0 1 2 3 4 5 6 7} {0}) ({0 1 2 3 8 9 10 11} {0}) ({0 1 4 5 8 9 12 13} {0}) ({1 3 5 7 9 11 13 15} {0}) ({2 3 6 7 10 11 14 15} {0}) ({4 5 6 7 12 13 14 15} {0}) ({8 9 10 11 12 13 14 15} {0}) ({0 2 4 6} {1 2}) ({0 2 8 10} {1 3}) ({0 4 8 12} {1 4}) ({2 6 10 14} {1 6}) ({4 6 12 14} {1 7}) ({8 10 12 14} {1 8}) ({0 1 2 3} {2 3}) ({0 1 4 5} {2 4}) ({1 3 5 7} {2 5}) ({2 3 6 7} {2 6}) ({4 5 6 7} {2 7}) ({0 1 8 9} {3 4}) ({1 3 9 11} {3 5}) ({2 3 10 11} {3 6}) ({8 9 10 11} {3 8}) ({1 5 9 13} {4 5}) ({4 5 12 13} {4 7}) ({8 9 12 13} {4 8}) ({3 7 11 15} {5 6}) ({5 7 13 15} {5 7}) ({9 11 13 15} {5 8}) ({6 7 14 15} {6 7}) ({10 11 14 15} {6 8}) ({12 13 14 15} {7 8}) ({0 2} {9 10 15}) ({0 4} {9 11 16}) ({2 6} {9 12 18}) ({4 6} {9 13 19}) ({0 8} {10 11 20}) ({2 10} {10 12 22}) ({8 10} {10 14 23}) ({4 12} {11 13 25}) ({8 12} {11 14 26}) ({6 14} {12 13 30}) ({10 14} {12 14 31}) ({12 14} {13 14 32}) ({0 1} {15 16 20}) ({1 3} {15 17 21}) ({2 3} {15 18 22}) ({1 5} {16 17 24}) ({4 5} {16 19 25}) ({3 7} {17 18 27}) ({5 7} {17 19 28}) ({6 7} {18 19 30}) ({1 9} {20 21 24}) ({8 9} {20 23 26}) ({3 11} {21 22 27}) ({9 11} {21 23 29}) ({10 11} {22 23 31}) ({5 13} {24 25 28}) ({9 13} {24 26 29}) ({12 13} {25 26 32}) ({7 15} {27 28 30}) ({11 15} {27 29 31}) ({13 15} {28 29 32}) ({14 15} {30 31 32}) ({0} {33 34 37 45}) ({1} {45 46 48 53}) ({2} {33 35 38 47}) ({3} {46 47 50 55}) ({4} {34 36 40 49}) ({5} {48 49 51 58}) ({6} {35 36 42 52}) ({7} {50 51 52 61}) ({8} {37 39 41 54}) ({9} {53 54 56 59}) ({10} {38 39 43 57}) ({11} {55 56 57 62}) ({12} {40 41 44 60}) ({13} {58 59 60 63}) ({14} {42 43 44 64}) ({15} {61 62 63 64}) ({} {65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80}) > F_VECTOR 16 32 24 8 F2_VECTOR 16 64 96 64 64 32 96 96 96 96 24 48 64 96 48 8 GRAPH {1 2 4 8} {0 3 5 9} {0 3 6 10} {1 2 7 11} {0 5 6 12} {1 4 7 13} {2 4 7 14} {3 5 6 15} {0 9 10 12} {1 8 11 13} {2 8 11 14} {3 9 10 15} {4 8 13 14} {5 9 12 15} {6 10 12 15} {7 11 13 14} VERTEX_DEGREES 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 DUAL_GRAPH {1 2 3 5 6 7} {0 2 3 4 5 6} {0 1 3 4 5 7} {0 1 2 4 6 7} {1 2 3 5 6 7} {0 1 2 4 6 7} {0 1 3 4 5 7} {0 2 3 4 5 6} FACET_DEGREES 6 6 6 6 6 6 6 6 N_VERTICES 16 N_FACETS 8 SIMPLICIAL 0 NEIGHBORLY 0 SIMPLICIALITY 1 NEIGHBORLINESS 1 SIMPLE 1 BALANCED 0 SIMPLICITY 3 BALANCE 1 VERTEX_SIZES 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 FACET_SIZES 8 8 8 8 8 8 8 8 BOUNDED 1 VERTEX_BARYCENTER 1 1/2 1/2 1/2 1/2