_application polytope _version 2.1.0 _type RationalPolytope INEQUALITIES 24 1 1 5 1 24 1 5 1 1 24 1 1 1 5 8 1 -1 -1 1 8 1 1 -1 -1 24 5 1 1 1 8 1 -1 1 -1 24 1 -3 -3 -3 24 -3 -3 -3 1 24 -3 -3 1 -3 24 -3 1 -3 -3 8 -1 -1 1 1 8 -1 1 -1 1 8 -1 1 1 -1 132 5 13 13 13 280 -29 3 3 39 280 -29 3 39 3 280 -29 39 3 3 132 -17 -9 -9 -9 280 -37 -5 -5 31 280 -37 -5 31 -5 280 -37 31 -5 -5 VERTICES 1 7/2 -7/2 -4 -4 1 2 2 -6 2 1 7 -1 -1 -1 1 15/2 0 0 1/2 1 15/2 0 1/2 0 1 861/113 31/339 31/339 31/339 1 3 3 3 3 1 0 8 0 0 1 0 0 8 0 1 0 0 0 8 1 -4 4 -4 -4 1 -6 2 2 2 1 -4 -4 4 -4 1 -4 -4 -4 4 1 -3 -3 -3 -3 1 15/2 1/2 0 0 1 2 2 2 -6 1 415/113 -1307/339 -1307/339 -1307/339 1 7/2 -4 -7/2 -4 1 2 -6 2 2 1 7/2 -4 -4 -7/2 1 5 -3 -3 -3 POINTED 1 FEASIBLE 1 FAR_FACE {} VERTICES_IN_FACETS {0 1 10 13 14 20} {12 13 14 18 19 20} {0 10 12 14 16 18} {7 8 10 11 12 16} {8 9 11 12 13 19} {10 11 12 13 14} {1 7 9 10 11 13} {6 7 8 9 11} {4 6 7 8 15 16} {1 3 6 7 9 15} {3 4 6 8 9 19} {0 1 2 7 10 15 16 21} {2 4 8 12 16 18 19 21} {1 2 3 9 13 19 20 21} {0 14 17 18 20} {0 16 17 18 21} {0 1 17 20 21} {17 18 19 20 21} {3 4 5 6 15} {2 4 5 15 16} {1 2 3 5 15} {2 3 4 5 19} FACETS 24 1 1 5 1 24 1 5 1 1 24 1 1 1 5 8 1 -1 -1 1 8 1 1 -1 -1 24 5 1 1 1 8 1 -1 1 -1 24 1 -3 -3 -3 24 -3 -3 -3 1 24 -3 -3 1 -3 24 -3 1 -3 -3 8 -1 -1 1 1 8 -1 1 -1 1 8 -1 1 1 -1 132 5 13 13 13 280 -29 3 3 39 280 -29 3 39 3 280 -29 39 3 3 132 -17 -9 -9 -9 280 -37 -5 -5 31 280 -37 -5 31 -5 280 -37 31 -5 -5 AFFINE_HULL HASSE_DIAGRAM 1 23 107 191 213 <({} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22}) ({0} {23 24 25 26 27 28 29 30}) ({1} {23 31 32 33 34 35 36 37 38 39}) ({2} {31 40 41 42 43 44 45 46}) ({3} {32 40 47 48 49 50 51 52}) ({4} {41 47 53 54 55 56 57 58}) ({5} {42 48 53 59}) ({6} {49 54 60 61 62 63}) ({7} {33 60 64 65 66 67 68 69}) ({8} {55 61 64 70 71 72 73 74}) ({9} {34 50 62 65 70 75 76 77}) ({10} {24 35 66 78 79 80 81 82}) ({11} {67 71 75 78 83 84}) ({12} {72 79 83 85 86 87 88 89}) ({13} {36 76 80 84 85 90 91 92}) ({14} {25 81 86 90 93 94}) ({15} {37 43 51 56 59 63 68 95}) ({16} {26 44 57 69 73 82 87 95 96 97}) ({17} {27 98 99 100}) ({18} {28 88 93 96 98 101 102 103}) ({19} {45 52 58 74 77 89 91 101 104 105}) ({20} {29 38 92 94 99 102 104 106}) ({21} {30 39 46 97 100 103 105 106}) ({0 1} {107 108 109}) ({0 10} {107 110 111}) ({0 14} {110 112 113}) ({0 16} {111 114 115}) ({0 17} {116 117 118}) ({0 18} {112 114 116}) ({0 20} {108 113 117}) ({0 21} {109 115 118}) ({1 2} {119 120 121}) ({1 3} {119 122 123}) ({1 7} {124 125 126}) ({1 9} {122 124 127}) ({1 10} {107 125 128}) ({1 13} {127 128 129}) ({1 15} {120 123 126}) ({1 20} {108 129 130}) ({1 21} {109 121 130}) ({2 3} {119 131 132}) ({2 4} {133 134 135}) ({2 5} {131 133 136}) ({2 15} {120 136 137}) ({2 16} {134 137 138}) ({2 19} {132 135 139}) ({2 21} {121 138 139}) ({3 4} {140 141 142}) ({3 5} {131 140 143}) ({3 6} {141 144 145}) ({3 9} {122 144 146}) ({3 15} {123 143 145}) ({3 19} {132 142 146}) ({4 5} {133 140 147}) ({4 6} {141 148 149}) ({4 8} {148 150 151}) ({4 15} {147 149 152}) ({4 16} {134 150 152}) ({4 19} {135 142 151}) ({5 15} {136 143 147}) ({6 7} {153 154 155}) ({6 8} {148 153 156}) ({6 9} {144 154 156}) ({6 15} {145 149 155}) ({7 8} {153 157 158}) ({7 9} {124 154 159}) ({7 10} {125 160 161}) ({7 11} {157 159 160}) ({7 15} {126 155 162}) ({7 16} {158 161 162}) ({8 9} {156 163 164}) ({8 11} {157 163 165}) ({8 12} {165 166 167}) ({8 16} {150 158 166}) ({8 19} {151 164 167}) ({9 11} {159 163 168}) ({9 13} {127 168 169}) ({9 19} {146 164 169}) ({10 11} {160 170 171}) ({10 12} {170 172 173}) ({10 13} {128 171 174}) ({10 14} {110 172 174}) ({10 16} {111 161 173}) ({11 12} {165 170 175}) ({11 13} {168 171 175}) ({12 13} {175 176 177}) ({12 14} {172 176 178}) ({12 16} {166 173 179}) ({12 18} {178 179 180}) ({12 19} {167 177 180}) ({13 14} {174 176 181}) ({13 19} {169 177 182}) ({13 20} {129 181 182}) ({14 18} {112 178 183}) ({14 20} {113 181 183}) ({15 16} {137 152 162}) ({16 18} {114 179 184}) ({16 21} {115 138 184}) ({17 18} {116 185 186}) ({17 20} {117 185 187}) ({17 21} {118 186 187}) ({18 19} {180 188 189}) ({18 20} {183 185 188}) ({18 21} {184 186 189}) ({19 20} {182 188 190}) ({19 21} {139 189 190}) ({20 21} {130 187 190}) ({0 1 10} {191 202}) ({0 1 20} {191 207}) ({0 1 21} {202 207}) ({0 10 14} {191 193}) ({0 10 16} {193 202}) ({0 14 18} {193 205}) ({0 14 20} {191 205}) ({0 16 18} {193 206}) ({0 16 21} {202 206}) ({0 17 18} {205 206}) ({0 17 20} {205 207}) ({0 17 21} {206 207}) ({1 2 3} {204 211}) ({1 2 15} {202 211}) ({1 2 21} {202 204}) ({1 3 9} {200 204}) ({1 3 15} {200 211}) ({1 7 9} {197 200}) ({1 7 10} {197 202}) ({1 7 15} {200 202}) ({1 9 13} {197 204}) ({1 10 13} {191 197}) ({1 13 20} {191 204}) ({1 20 21} {204 207}) ({2 3 5} {211 212}) ({2 3 19} {204 212}) ({2 4 5} {210 212}) ({2 4 16} {203 210}) ({2 4 19} {203 212}) ({2 5 15} {210 211}) ({2 15 16} {202 210}) ({2 16 21} {202 203}) ({2 19 21} {203 204}) ({3 4 5} {209 212}) ({3 4 6} {201 209}) ({3 4 19} {201 212}) ({3 5 15} {209 211}) ({3 6 9} {200 201}) ({3 6 15} {200 209}) ({3 9 19} {201 204}) ({4 5 15} {209 210}) ({4 6 8} {199 201}) ({4 6 15} {199 209}) ({4 8 16} {199 203}) ({4 8 19} {201 203}) ({4 15 16} {199 210}) ({6 7 8} {198 199}) ({6 7 9} {198 200}) ({6 7 15} {199 200}) ({6 8 9} {198 201}) ({7 8 11} {194 198}) ({7 8 16} {194 199}) ({7 9 11} {197 198}) ({7 10 11} {194 197}) ({7 10 16} {194 202}) ({7 15 16} {199 202}) ({8 9 11} {195 198}) ({8 9 19} {195 201}) ({8 11 12} {194 195}) ({8 12 16} {194 203}) ({8 12 19} {195 203}) ({9 11 13} {195 197}) ({9 13 19} {195 204}) ({10 11 12} {194 196}) ({10 11 13} {196 197}) ({10 12 14} {193 196}) ({10 12 16} {193 194}) ({10 13 14} {191 196}) ({11 12 13} {195 196}) ({12 13 14} {192 196}) ({12 13 19} {192 195}) ({12 14 18} {192 193}) ({12 16 18} {193 203}) ({12 18 19} {192 203}) ({13 14 20} {191 192}) ({13 19 20} {192 204}) ({14 18 20} {192 205}) ({16 18 21} {203 206}) ({17 18 20} {205 208}) ({17 18 21} {206 208}) ({17 20 21} {207 208}) ({18 19 20} {192 208}) ({18 19 21} {203 208}) ({19 20 21} {204 208}) ({0 1 10 13 14 20} {213}) ({12 13 14 18 19 20} {213}) ({0 10 12 14 16 18} {213}) ({7 8 10 11 12 16} {213}) ({8 9 11 12 13 19} {213}) ({10 11 12 13 14} {213}) ({1 7 9 10 11 13} {213}) ({6 7 8 9 11} {213}) ({4 6 7 8 15 16} {213}) ({1 3 6 7 9 15} {213}) ({3 4 6 8 9 19} {213}) ({0 1 2 7 10 15 16 21} {213}) ({2 4 8 12 16 18 19 21} {213}) ({1 2 3 9 13 19 20 21} {213}) ({0 14 17 18 20} {213}) ({0 16 17 18 21} {213}) ({0 1 17 20 21} {213}) ({17 18 19 20 21} {213}) ({3 4 5 6 15} {213}) ({2 4 5 15 16} {213}) ({1 2 3 5 15} {213}) ({2 3 4 5 19} {213}) ({0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21} {}) > F_VECTOR 22 84 84 22 F2_VECTOR 22 168 252 128 168 84 252 252 252 252 84 168 128 252 168 22 N_FACETS 22 DUAL_GRAPH {1 2 5 6 11 13 14 16} {0 2 4 5 12 13 14 17} {0 1 3 5 11 12 14 15} {2 4 5 6 7 8 11 12} {1 3 5 6 7 10 12 13} {0 1 2 3 4 6} {0 3 4 5 7 9 11 13} {3 4 6 8 9 10} {3 7 9 10 11 12 18 19} {6 7 8 10 11 13 18 20} {4 7 8 9 12 13 18 21} {0 2 3 6 8 9 12 13 15 16 19 20} {1 2 3 4 8 10 11 13 15 17 19 21} {0 1 4 6 9 10 11 12 16 17 20 21} {0 1 2 15 16 17} {2 11 12 14 16 17} {0 11 13 14 15 17} {1 12 13 14 15 16} {8 9 10 19 20 21} {8 11 12 18 20 21} {9 11 13 18 19 21} {10 12 13 18 19 20} AMBIENT_DIM 4 BOUNDED 1 GRAPH {1 10 14 16 17 18 20 21} {0 2 3 7 9 10 13 15 20 21} {1 3 4 5 15 16 19 21} {1 2 4 5 6 9 15 19} {2 3 5 6 8 15 16 19} {2 3 4 15} {3 4 7 8 9 15} {1 6 8 9 10 11 15 16} {4 6 7 9 11 12 16 19} {1 3 6 7 8 11 13 19} {0 1 7 11 12 13 14 16} {7 8 9 10 12 13} {8 10 11 13 14 16 18 19} {1 9 10 11 12 14 19 20} {0 10 12 13 18 20} {1 2 3 4 5 6 7 16} {0 2 4 7 8 10 12 15 18 21} {0 18 20 21} {0 12 14 16 17 19 20 21} {2 3 4 8 9 12 13 18 20 21} {0 1 13 14 17 18 19 21} {0 1 2 16 17 18 19 20} N_VERTICES 22 VERTEX_BARYCENTER 1 455/226 -455/678 -455/678 -455/678