Acronym tarv Name trirectified pentacosidodecayotton Circumradius sqrt(2) = 1.414214 Coordinates (1/sqrt(2), 1/sqrt(2), 1/sqrt(2), 1/sqrt(2), 0, 0, 0, 0, 0)   & all permutations, all changes of sign

Incidence matrix according to Dynkin symbol

```o3o3o3x3o3o3o3o4o

. . . . . . . . . | 2016 ♦    40 |    60    160 |    40   240    320 |   10   160   480    320 |   40   320   480   128 |   80   320   192   4 |   80  128   6 |  32  4
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
. . . x . . . . . |    2 | 40320 |     3      8 |     3    24     24 |    1    24    72     32 |    8    72    96    16 |   24    96    48   1 |   32   48   3 |  16  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
. . o3x . . . . . |    3 |     3 | 40320      * |     2     8      0 |    1    16    24      0 |    8    48    32     0 |   24    64    16   0 |   32   32   1 |  16  2
. . . x3o . . . . |    3 |     3 |     * 107520 |     0     3      6 |    0     3    18     12 |    1    18    36     8 |    6    36    24   1 |   12   24   3 |   8  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
. o3o3x . . . . . ♦    4 |     6 |     4      0 | 20160     *      * |    1     8     0      0 |    8    24     0     0 |   24    32     0   0 |   32   16   0 |  16  1
. . o3x3o . . . . ♦    6 |    12 |     4      4 |     * 80640      * |    0     2     6      0 |    1    12    12     0 |    6    24     8   0 |   12   16   1 |   8  2
. . . x3o3o . . . ♦    4 |     6 |     0      4 |     *     * 161280 |    0     0     3      4 |    0     3    12     4 |    1    12    12   1 |    4   12   3 |   4  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
o3o3o3x . . . . . ♦    5 |    10 |    10      0 |     5     0      0 | 4032     *     *      * ♦    8     0     0     0 |   24     0     0   0 |   32    0   0 |  16  0
. o3o3x3o . . . . ♦   10 |    30 |    20     10 |     5     5      0 |    * 32256     *      * |    1     6     0     0 |    6    12     0   0 |   12    8   0 |   8  1
. . o3x3o3o . . . ♦   10 |    30 |    10     20 |     0     5      5 |    *     * 96768      * |    0     2     4     0 |    1     8     4   0 |    4    8   1 |   4  2
. . . x3o3o3o . . ♦    5 |    10 |     0     10 |     0     0      5 |    *     *     * 129024 |    0     0     3     2 |    0     3     6   1 |    1    6   3 |   2  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
o3o3o3x3o . . . . ♦   15 |    60 |    60     20 |    30    15      0 |    6     6     0      0 | 5376     *     *     * ♦    6     0     0   0 |   12    0   0 |   8  0
. o3o3x3o3o . . . ♦   20 |    90 |    60     60 |    15    30     15 |    0     6     6      0 |    * 32256     *     * |    1     4     0   0 |    4    4   0 |   4  1
. . o3x3o3o3o . . ♦   15 |    60 |    20     60 |     0    15     30 |    0     0     6      6 |    *     * 64512     * |    0     2     2   0 |    1    4   1 |   2  2
. . . x3o3o3o3o . ♦    6 |    15 |     0     20 |     0     0     15 |    0     0     0      6 |    *     *     * 43008 |    0     0     3   1 |    0    3   3 |   1  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
o3o3o3x3o3o . . . ♦   35 |   210 |   210    140 |   105   105     35 |   21    42    21      0 |    7     7     0     0 | 4608     *     *   * |    4    0   0 |   4  0
. o3o3x3o3o3o . . ♦   35 |   210 |   140    210 |    35   105    105 |    0    21    42     21 |    0     7     7     0 |    * 18432     *   * |    1    2   0 |   2  1
. . o3x3o3o3o3o . ♦   21 |   105 |    35    140 |     0    35    105 |    0     0    21     42 |    0     0     7     7 |    *     * 18432   * |    0    2   1 |   1  2
. . . x3o3o3o3o4o ♦   12 |    60 |     0    160 |     0     0    240 |    0     0     0    192 |    0     0     0    64 |    *     *     * 672 |    0    0   3 |   0  3
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
o3o3o3x3o3o3o . . ♦   70 |   560 |   560    560 |   280   420    280 |   56   168   168     56 |   28    56    28     0 |    8     8     0   0 | 2304    *   * |   2  0
. o3o3x3o3o3o3o . ♦   56 |   420 |   280    560 |    70   280    420 |    0    56   168    168 |    0    28    56    28 |    0     8     8   0 |    * 4608   * |   1  1
. . o3x3o3o3o3o4o ♦   84 |   840 |   280   2240 |     0   560   3360 |    0     0   672   2688 |    0     0   448   896 |    0     0   128  14 |    *    * 144 |   0  2
------------------+------+-------+--------------+--------------------+-------------------------+------------------------+----------------------+---------------+-------
o3o3o3x3o3o3o3o . ♦  126 |  1260 |  1260   1680 |   630  1260   1260 |  126   504   756    504 |   84   252   252    84 |   36    72    36   0 |    9    9   0 | 512  *
. o3o3x3o3o3o3o4o ♦  448 |  6720 |  4480  17920 |  1120  8960  26880 |    0  1792 10752  21504 |    0  1792  7168  7168 |    0  1024  2048 112 |    0  256  16 |   * 18
```

```o3o3o *b3o3o3x3o3o3o

. . .    . . . . . . | 2016 ♦    40 |    160    60 |    320   240    40 |    320   480   160   10 |    64    64   480   320   40 |   4   96   96   320   80 |   6   64   64   80 |  4  16  16
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
. . .    . . x . . . |    2 | 40320 |      8     3 |     24    24     3 |     32    72    24    1 |     8     8    96    72    8 |   1   24   24    96   24 |   3   24   24   32 |  3   8   8
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
. . .    . o3x . . . |    3 |     3 | 107520     * |      6     3     0 |     12    18     3    0 |     4     4    36    18    1 |   1   12   12    36    6 |   3   12   12   12 |  3   4   4
. . .    . . x3o . . |    3 |     3 |      * 40320 |      0     8     2 |      0    24    16    1 |     0     0    32    48    8 |   0    8    8    64   24 |   1   16   16   32 |  2   8   8
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
. . .    o3o3x . . . ♦    4 |     6 |      4     0 | 161280     *     * |      4     3     0    0 |     2     2    12     3    0 |   1    6    6    12    1 |   3    6    6    4 |  3   2   2
. . .    . o3x3o . . ♦    6 |    12 |      4     4 |      * 80640     * |      0     6     2    0 |     0     0    12    12    1 |   0    4    4    24    6 |   1    8    8   12 |  2   4   4
. . .    . . x3o3o . ♦    4 |     6 |      0     4 |      *     * 20160 |      0     0     8    1 |     0     0     0    24    8 |   0    0    0    32   24 |   0    8    8   32 |  1   8   8
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
. o . *b3o3o3x . . . ♦    5 |    10 |     10     0 |      5     0     0 | 129024     *     *    * |     1     1     3     0    0 |   1    3    3     3    0 |   3    3    3    1 |  3   1   1
. . .    o3o3x3o . . ♦   10 |    30 |     20    10 |      5     5     0 |      * 96768     *    * |     0     0     4     2    0 |   0    2    2     8    1 |   1    4    4    4 |  2   2   2
. . .    . o3x3o3o . ♦   10 |    30 |     10    20 |      0     5     5 |      *     * 32256    * |     0     0     0     6    1 |   0    0    0    12    6 |   0    4    4   12 |  1   4   4
. . .    . . x3o3o3o ♦    5 |    10 |      0    10 |      0     0     5 |      *     *     * 4032 ♦     0     0     0     0    8 |   0    0    0     0   24 |   0    0    0   32 |  0   8   8
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
o3o . *b3o3o3x . . . ♦    6 |    15 |     20     0 |     15     0     0 |      6     0     0    0 | 21504     *     *     *    * |   1    3    0     0    0 |   3    3    0    0 |  3   1   0
. o3o *b3o3o3x . . . ♦    6 |    15 |     20     0 |     15     0     0 |      6     0     0    0 |     * 21504     *     *    * |   1    0    3     0    0 |   3    0    3    0 |  3   0   1
. o . *b3o3o3x3o . . ♦   15 |    60 |     60    20 |     30    15     0 |      6     6     0    0 |     *     * 64512     *    * |   0    1    1     2    0 |   1    2    2    1 |  2   1   1
. . .    o3o3x3o3o . ♦   20 |    90 |     60    60 |     15    30    15 |      0     6     6    0 |     *     *     * 32256    * |   0    0    0     4    1 |   0    2    2    4 |  1   2   2
. . .    . o3x3o3o3o ♦   15 |    60 |     20    60 |      0    15    30 |      0     0     6    6 |     *     *     *     * 5376 ♦   0    0    0     0    6 |   0    0    0   12 |  0   4   4
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
o3o3o *b3o3o3x . . . ♦   12 |    60 |    160     0 |    240     0     0 |    192     0     0    0 |    32    32     0     0    0 | 672    *    *     *    * |   3    0    0    0 |  3   0   0
o3o . *b3o3o3x3o . . ♦   21 |   105 |    140    35 |    105    35     0 |     42    21     0    0 |     7     0     7     0    0 |   * 9216    *     *    * |   1    2    0    0 |  2   1   0
. o3o *b3o3o3x3o . . ♦   21 |   105 |    140    35 |    105    35     0 |     42    21     0    0 |     0     7     7     0    0 |   *    * 9216     *    * |   1    0    2    0 |  2   0   1
. o . *b3o3o3x3o3o . ♦   35 |   210 |    210   140 |    105   105    35 |     21    42    21    0 |     0     0     7     7    0 |   *    *    * 18432    * |   0    1    1    1 |  1   1   1
. . .    o3o3x3o3o3o ♦   35 |   210 |    140   210 |     35   105   105 |      0    21    42   21 |     0     0     0     7    7 |   *    *    *     * 4608 |   0    0    0    4 |  0   2   2
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
o3o3o *b3o3o3x3o . . ♦   84 |   840 |   2240   280 |   3360   560     0 |   2688   672     0    0 |   448   448   448     0    0 |  14   64   64     0    0 | 144    *    *    * |  2   0   0
o3o . *b3o3o3x3o3o . ♦   56 |   420 |    560   280 |    420   280    70 |    168   168    56    0 |    28     0    56    28    0 |   0    8    0     8    0 |   * 2304    *    * |  1   1   0
. o3o *b3o3o3x3o3o . ♦   56 |   420 |    560   280 |    420   280    70 |    168   168    56    0 |     0    28    56    28    0 |   0    0    8     8    0 |   *    * 2304    * |  1   0   1
. o . *b3o3o3x3o3o3o ♦   70 |   560 |    560   560 |    280   420   280 |     56   168   168   56 |     0     0    28    56   28 |   0    0    0     8    8 |   *    *    * 2304 |  0   1   1
---------------------+------+-------+--------------+--------------------+-------------------------+------------------------------+--------------------------+--------------------+-----------
o3o3o *b3o3o3x3o3o . ♦  448 |  6720 |  17920  4480 |  26880  8960  1120 |  21504 10752  1792    0 |  3584  3584  7168  1792    0 | 112 1024 1024  1024    0 |  16  128  128    0 | 18   *   *
o3o . *b3o3o3x3o3o3o ♦  126 |  1260 |   1680  1260 |   1260  1260   630 |    504   756   504  126 |    84     0   252   252   84 |   0   36    0    72   36 |   0    9    0    9 |  * 256   *
. o3o *b3o3o3x3o3o3o ♦  126 |  1260 |   1680  1260 |   1260  1260   630 |    504   756   504  126 |     0    84   252   252   84 |   0    0   36    72   36 |   0    0    9    9 |  *   * 256
```