_application polytope _version 2.3 _type RationalPolytope POINTS 1 1 0 0 1 1/2 86603/100000 0 1 -1/2 86603/100000 0 1 -1 0 0 1 -1/2 -86603/100000 0 1 1/2 -86603/100000 0 1 86603/100000 1/2 2139/2500 1 0 1 2139/2500 1 -86603/100000 1/2 2139/2500 1 -86603/100000 -1/2 2139/2500 1 0 -1 2139/2500 1 86603/100000 -1/2 2139/2500 AMBIENT_DIM 3 BOUNDED 1 VERTICES 1 1 0 0 1 1/2 86603/100000 0 1 -1/2 86603/100000 0 1 -1 0 0 1 -1/2 -86603/100000 0 1 1/2 -86603/100000 0 1 86603/100000 1/2 2139/2500 1 0 1 2139/2500 1 -86603/100000 1/2 2139/2500 1 -86603/100000 -1/2 2139/2500 1 0 -1 2139/2500 1 86603/100000 -1/2 2139/2500 VERTEX_NORMALS 0 2 0 -12201/14260 0 1 150000/86603 -6339779609/7409752680 0 -1 150000/86603 -6339779609/7409752680 0 -2 0 -12201/14260 0 -1 -150000/86603 -6339779609/7409752680 0 1 -150000/86603 -6339779609/7409752680 0 86603/50000 1 159140017/186000000 0 0 2 12201/14260 0 -150000/86603 1 6339779609/7409752680 0 -150000/86603 -1 6339779609/7409752680 0 0 -2 12201/14260 0 86603/50000 -1 159140017/186000000 FACETS 1 0 0 -2500/2139 7130056761217/1116483007500 -1426000000/446593203 -2469917560/446593203 -1 185243817/33492500 0 -85560/13397 1 7130056761217/1116483007500 1426000000/446593203 -2469917560/446593203 -1 2469917560/446593203 2469917560/446593203 -1426000000/446593203 1 2469917560/446593203 2469917560/446593203 1426000000/446593203 1 85560/13397 85560/13397 0 -1 7130056761217/1116483007500 1426000000/446593203 2469917560/446593203 -1 185243817/33492500 0 85560/13397 1 7130056761217/1116483007500 -1426000000/446593203 2469917560/446593203 -1 2469917560/446593203 -2469917560/446593203 1426000000/446593203 1 2469917560/446593203 -2469917560/446593203 -1426000000/446593203 1 85560/13397 -85560/13397 0 -1 0 0 0 1 AFFINE_HULL DIM 3 VERTICES_IN_FACETS {6 7 8 9 10 11} {1 6 7} {1 2 7} {2 7 8} {2 3 8} {3 4 9} {3 8 9} {4 9 10} {4 5 10} {5 10 11} {0 5 11} {0 1 6} {0 6 11} {0 1 2 3 4 5} DUAL_GRAPH {1 3 6 7 9 12} {0 2 11} {1 3 13} {0 2 4} {3 6 13} {6 7 13} {0 4 5} {0 5 8} {7 9 13} {0 8 10} {9 12 13} {1 12 13} {0 10 11} {2 4 5 8 10 11}