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