_application polytope _version 2.1.1 _type RationalPolytope AMBIENT_DIM 4 DIM 4 N_VERTICES 7 VERTICES 1 0 0 0 0 1 1 1 1 1 1 2 4 8 16 1 3 9 27 81 1 4 16 64 256 1 5 25 125 625 1 6 36 216 1296 BOUNDED 1 FACETS 0 -20 29 -10 1 40 -78 49 -12 1 120 -154 71 -14 1 24 -50 35 -10 1 0 -12 19 -8 1 0 -6 11 -6 1 0 12 -20 9 -1 0 36 -36 11 -1 0 72 -54 13 -1 360 -342 119 -18 1 0 120 -74 15 -1 180 -216 91 -16 1 60 -112 65 -14 1 0 -30 41 -12 1 AFFINE_HULL VERTICES_IN_FACETS {0 1 4 5} {1 2 4 5} {2 3 4 5} {1 2 3 4} {0 1 3 4} {0 1 2 3} {0 1 2 6} {0 2 3 6} {0 3 4 6} {3 4 5 6} {0 4 5 6} {2 3 5 6} {1 2 5 6} {0 1 5 6} HASSE_DIAGRAM 1 8 29 57 71 <({} {1 2 3 4 5 6 7}) ({0} {8 9 10 11 12 13}) ({1} {8 14 15 16 17 18}) ({2} {9 14 19 20 21 22}) ({3} {10 15 19 23 24 25}) ({4} {11 16 20 23 26 27}) ({5} {12 17 21 24 26 28}) ({6} {13 18 22 25 27 28}) ({0 1} {29 30 31 32 33}) ({0 2} {29 34 35}) ({0 3} {30 34 36 37}) ({0 4} {31 36 38 39}) ({0 5} {32 38 40}) ({0 6} {33 35 37 39 40}) ({1 2} {29 41 42 43 44}) ({1 3} {30 41 45}) ({1 4} {31 42 45 46}) ({1 5} {32 43 46 47}) ({1 6} {33 44 47}) ({2 3} {34 41 48 49 50}) ({2 4} {42 48 51}) ({2 5} {43 49 51 52}) ({2 6} {35 44 50 52}) ({3 4} {36 45 48 53 54}) ({3 5} {49 53 55}) ({3 6} {37 50 54 55}) ({4 5} {38 46 51 53 56}) ({4 6} {39 54 56}) ({5 6} {40 47 52 55 56}) ({0 1 2} {62 63}) ({0 1 3} {61 62}) ({0 1 4} {57 61}) ({0 1 5} {57 70}) ({0 1 6} {63 70}) ({0 2 3} {62 64}) ({0 2 6} {63 64}) ({0 3 4} {61 65}) ({0 3 6} {64 65}) ({0 4 5} {57 67}) ({0 4 6} {65 67}) ({0 5 6} {67 70}) ({1 2 3} {60 62}) ({1 2 4} {58 60}) ({1 2 5} {58 69}) ({1 2 6} {63 69}) ({1 3 4} {60 61}) ({1 4 5} {57 58}) ({1 5 6} {69 70}) ({2 3 4} {59 60}) ({2 3 5} {59 68}) ({2 3 6} {64 68}) ({2 4 5} {58 59}) ({2 5 6} {68 69}) ({3 4 5} {59 66}) ({3 4 6} {65 66}) ({3 5 6} {66 68}) ({4 5 6} {66 67}) ({0 1 4 5} {71}) ({1 2 4 5} {71}) ({2 3 4 5} {71}) ({1 2 3 4} {71}) ({0 1 3 4} {71}) ({0 1 2 3} {71}) ({0 1 2 6} {71}) ({0 2 3 6} {71}) ({0 3 4 6} {71}) ({3 4 5 6} {71}) ({0 4 5 6} {71}) ({2 3 5 6} {71}) ({1 2 5 6} {71}) ({0 1 5 6} {71}) ({0 1 2 3 4 5 6} {}) > F_VECTOR 7 21 28 14 F2_VECTOR 7 42 84 56 42 21 84 84 84 84 28 56 56 84 56 14