_application polytope _version 2.1.0 _type RationalPolytope POINTS 1 23/4 23/4 5 0 1 23/4 5 23/4 0 1 5 23/4 23/4 0 1 17 -1 -1 -1/10 1 -1 17 -1 -1/10 1 -1 -1 17 -1/10 1 -21/4 -21/4 -6 0 1 -21/4 -6 -21/4 0 1 -6 -21/4 -21/4 0 1 7 -11 -11 -1/10 1 -11 7 -11 -1/10 1 -11 -11 7 -1/10 1 -60 30 30 -1 1 30 -60 30 -1 1 30 30 -60 -1 1 5 5 5 1/2 1 -5 -5 -5 1/2 1 21/4 21/4 21/4 11/40 1 -21/4 -21/4 -21/4 11/40 1 3689/684 3689/684 3689/684 1/8 1 -3689/684 -3689/684 -3689/684 1/8 FACETS 150/7 -10/7 -1 -10/7 -30/7 30 1 1 -2 -60 75/4 1 11/8 1 -15/4 33/2 1 1 1 15 8484/461 1 539/461 539/461 -1470/461 8484/487 -1 -1 -565/487 -1470/487 150/7 -1 -10/7 -10/7 -30/7 8484/461 539/461 1 539/461 -1470/461 8484/461 539/461 539/461 1 -1470/461 33/2 1 1 1 -146/57 75/4 11/8 1 1 -15/4 33/2 -1 -1 -1 -146/57 8484/487 -1 -565/487 -1 -1470/487 33/2 -1 -1 -1 15 8484/487 -565/487 -1 -1 -1470/487 150/7 -10/7 -10/7 -1 -30/7 30 1 -2 1 -60 75/4 1 1 11/8 -15/4 30 -2 1 1 -60 50/3 1 1 1 50/3 50/3 -1 -1 -1 50/3 AFFINE_HULL VERTICES_IN_FACETS {1 3 5 13 15 17} {5 11 12 13 15 16} {7 9 11 13 16 18} {6 7 8 9 10 11} {6 7 9 18 20} {1 2 5 17 19} {2 4 5 12 15 17} {6 8 10 18 20} {7 8 11 18 20} {6 7 8 20} {8 10 11 12 16 18} {0 1 2 19} {0 2 4 17 19} {0 1 2 3 4 5} {0 1 3 17 19} {0 3 4 14 15 17} {4 10 12 14 15 16} {6 9 10 14 16 18} {3 9 13 14 15 16} {9 10 11 12 13 14} {3 4 5 12 13 14} VERTICES 1 23/4 23/4 5 0 1 23/4 5 23/4 0 1 5 23/4 23/4 0 1 17 -1 -1 -1/10 1 -1 17 -1 -1/10 1 -1 -1 17 -1/10 1 -21/4 -21/4 -6 0 1 -21/4 -6 -21/4 0 1 -6 -21/4 -21/4 0 1 7 -11 -11 -1/10 1 -11 7 -11 -1/10 1 -11 -11 7 -1/10 1 -60 30 30 -1 1 30 -60 30 -1 1 30 30 -60 -1 1 5 5 5 1/2 1 -5 -5 -5 1/2 1 21/4 21/4 21/4 11/40 1 -21/4 -21/4 -21/4 11/40 1 3689/684 3689/684 3689/684 1/8 1 -3689/684 -3689/684 -3689/684 1/8 GRAPH {1 2 3 4 17 19} {0 2 3 5 17 19} {0 1 4 5 17 19} {0 1 4 5 13 14 15 17} {0 2 3 5 12 14 15 17} {1 2 3 4 12 13 15 17} {7 8 9 10 18 20} {6 8 9 11 18 20} {6 7 10 11 18 20} {6 7 10 11 13 14 16 18} {6 8 9 11 12 14 16 18} {7 8 9 10 12 13 16 18} {4 5 10 11 13 14 15 16} {3 5 9 11 12 14 15 16} {3 4 9 10 12 13 15 16} {3 4 5 12 13 14 16 17} {9 10 11 12 13 14 15 18} {0 1 2 3 4 5 15 19} {6 7 8 9 10 11 16 20} {0 1 2 17} {6 7 8 18} VERTEX_DEGREES 6 6 6 8 8 8 6 6 6 8 8 8 8 8 8 8 8 8 8 4 4 SIMPLICIAL 0 NEIGHBORLY 0 SIMPLICIALITY 2 NEIGHBORLINESS 1 SIMPLE 0 BALANCED 0 SIMPLICITY 2 BALANCE 1 AMBIENT_DIM 4 DIM 4 N_FACETS 21 BOUNDED 1 N_VERTICES 21 DUAL_GRAPH {1 5 6 13 14 15 18 20} {0 2 6 10 16 18 19 20} {1 3 4 8 10 17 18 19} {2 4 7 8 9 10 17 19} {2 3 7 8 9 17} {0 6 11 12 13 14} {0 1 5 12 13 15 16 20} {3 4 8 9 10 17} {2 3 4 7 9 10} {3 4 7 8} {1 2 3 7 8 16 17 19} {5 12 13 14} {5 6 11 13 14 15} {0 5 6 11 12 14 15 20} {0 5 11 12 13 15} {0 6 12 13 14 16 18 20} {1 6 10 15 17 18 19 20} {2 3 4 7 10 16 18 19} {0 1 2 15 16 17 19 20} {1 2 3 10 16 17 18 20} {0 1 6 13 15 16 18 19} VERTEX_BARYCENTER 1 0 0 0 -3/35 HASSE_DIAGRAM 1 22 96 170 191 <({} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21}) ({0} {22 23 24 25 26 27}) ({1} {22 28 29 30 31 32}) ({2} {23 28 33 34 35 36}) ({3} {24 29 37 38 39 40 41 42}) ({4} {25 33 37 43 44 45 46 47}) ({5} {30 34 38 43 48 49 50 51}) ({6} {52 53 54 55 56 57}) ({7} {52 58 59 60 61 62}) ({8} {53 58 63 64 65 66}) ({9} {54 59 67 68 69 70 71 72}) ({10} {55 63 67 73 74 75 76 77}) ({11} {60 64 68 73 78 79 80 81}) ({12} {44 48 74 78 82 83 84 85}) ({13} {39 49 69 79 82 86 87 88}) ({14} {40 45 70 75 83 86 89 90}) ({15} {41 46 50 84 87 89 91 92}) ({16} {71 76 80 85 88 90 91 93}) ({17} {26 31 35 42 47 51 92 94}) ({18} {56 61 65 72 77 81 93 95}) ({19} {27 32 36 94}) ({20} {57 62 66 95}) ({0 1} {96 97 98}) ({0 2} {96 99 100}) ({0 3} {97 101 102}) ({0 4} {99 101 103}) ({0 17} {102 103 104}) ({0 19} {98 100 104}) ({1 2} {96 105 106}) ({1 3} {97 107 108}) ({1 5} {105 107 109}) ({1 17} {108 109 110}) ({1 19} {98 106 110}) ({2 4} {99 111 112}) ({2 5} {105 111 113}) ({2 17} {112 113 114}) ({2 19} {100 106 114}) ({3 4} {101 115 116}) ({3 5} {107 115 117}) ({3 13} {117 118 119}) ({3 14} {116 118 120}) ({3 15} {119 120 121}) ({3 17} {102 108 121}) ({4 5} {111 115 122}) ({4 12} {122 123 124}) ({4 14} {116 123 125}) ({4 15} {124 125 126}) ({4 17} {103 112 126}) ({5 12} {122 127 128}) ({5 13} {117 127 129}) ({5 15} {128 129 130}) ({5 17} {109 113 130}) ({6 7} {131 132 133}) ({6 8} {131 134 135}) ({6 9} {132 136 137}) ({6 10} {134 136 138}) ({6 18} {137 138 139}) ({6 20} {133 135 139}) ({7 8} {131 140 141}) ({7 9} {132 142 143}) ({7 11} {140 142 144}) ({7 18} {143 144 145}) ({7 20} {133 141 145}) ({8 10} {134 146 147}) ({8 11} {140 146 148}) ({8 18} {147 148 149}) ({8 20} {135 141 149}) ({9 10} {136 150 151}) ({9 11} {142 150 152}) ({9 13} {152 153 154}) ({9 14} {151 153 155}) ({9 16} {154 155 156}) ({9 18} {137 143 156}) ({10 11} {146 150 157}) ({10 12} {157 158 159}) ({10 14} {151 158 160}) ({10 16} {159 160 161}) ({10 18} {138 147 161}) ({11 12} {157 162 163}) ({11 13} {152 162 164}) ({11 16} {163 164 165}) ({11 18} {144 148 165}) ({12 13} {127 162 166}) ({12 14} {123 158 166}) ({12 15} {124 128 167}) ({12 16} {159 163 167}) ({13 14} {118 153 166}) ({13 15} {119 129 168}) ({13 16} {154 164 168}) ({14 15} {120 125 169}) ({14 16} {155 160 169}) ({15 16} {167 168 169}) ({15 17} {121 126 130}) ({16 18} {156 161 165}) ({17 19} {104 110 114}) ({18 20} {139 145 149}) ({0 1 2} {181 183}) ({0 1 3} {183 184}) ({0 1 19} {181 184}) ({0 2 4} {182 183}) ({0 2 19} {181 182}) ({0 3 4} {183 185}) ({0 3 17} {184 185}) ({0 4 17} {182 185}) ({0 17 19} {182 184}) ({1 2 5} {175 183}) ({1 2 19} {175 181}) ({1 3 5} {170 183}) ({1 3 17} {170 184}) ({1 5 17} {170 175}) ({1 17 19} {175 184}) ({2 4 5} {176 183}) ({2 4 17} {176 182}) ({2 5 17} {175 176}) ({2 17 19} {175 182}) ({3 4 5} {183 190}) ({3 4 14} {185 190}) ({3 5 13} {170 190}) ({3 13 14} {188 190}) ({3 13 15} {170 188}) ({3 14 15} {185 188}) ({3 15 17} {170 185}) ({4 5 12} {176 190}) ({4 12 14} {186 190}) ({4 12 15} {176 186}) ({4 14 15} {185 186}) ({4 15 17} {176 185}) ({5 12 13} {171 190}) ({5 12 15} {171 176}) ({5 13 15} {170 171}) ({5 15 17} {170 176}) ({6 7 8} {173 179}) ({6 7 9} {173 174}) ({6 7 20} {174 179}) ({6 8 10} {173 177}) ({6 8 20} {177 179}) ({6 9 10} {173 187}) ({6 9 18} {174 187}) ({6 10 18} {177 187}) ({6 18 20} {174 177}) ({7 8 11} {173 178}) ({7 8 20} {178 179}) ({7 9 11} {172 173}) ({7 9 18} {172 174}) ({7 11 18} {172 178}) ({7 18 20} {174 178}) ({8 10 11} {173 180}) ({8 10 18} {177 180}) ({8 11 18} {178 180}) ({8 18 20} {177 178}) ({9 10 11} {173 189}) ({9 10 14} {187 189}) ({9 11 13} {172 189}) ({9 13 14} {188 189}) ({9 13 16} {172 188}) ({9 14 16} {187 188}) ({9 16 18} {172 187}) ({10 11 12} {180 189}) ({10 12 14} {186 189}) ({10 12 16} {180 186}) ({10 14 16} {186 187}) ({10 16 18} {180 187}) ({11 12 13} {171 189}) ({11 12 16} {171 180}) ({11 13 16} {171 172}) ({11 16 18} {172 180}) ({12 13 14} {189 190}) ({12 15 16} {171 186}) ({13 15 16} {171 188}) ({14 15 16} {186 188}) ({1 3 5 13 15 17} {191}) ({5 11 12 13 15 16} {191}) ({7 9 11 13 16 18} {191}) ({6 7 8 9 10 11} {191}) ({6 7 9 18 20} {191}) ({1 2 5 17 19} {191}) ({2 4 5 12 15 17} {191}) ({6 8 10 18 20} {191}) ({7 8 11 18 20} {191}) ({6 7 8 20} {191}) ({8 10 11 12 16 18} {191}) ({0 1 2 19} {191}) ({0 2 4 17 19} {191}) ({0 1 2 3 4 5} {191}) ({0 1 3 17 19} {191}) ({0 3 4 14 15 17} {191}) ({4 10 12 14 15 16} {191}) ({6 9 10 14 16 18} {191}) ({3 9 13 14 15 16} {191}) ({9 10 11 12 13 14} {191}) ({3 4 5 12 13 14} {191}) ({0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20} {}) > F_VECTOR 21 74 74 21 F2_VECTOR 21 148 222 116 148 74 222 222 222 222 74 148 116 222 148 21 ALTSHULER_DET 0