Acronym hax
Name hemihexeract,
vertex figure of laq,
Gosset polytope 13,1
Circumradius sqrt(3)/2 = 0.866025
Inradius
wrt. hix
1/sqrt(3) = 0.577350
Inradius
wrt. hin
1/sqrt(8) = 0.353553
Lace city
in approx. ASCII-art
      +----- o3o3o3o3o (point)
     / +---- o3x3o3o3o (rix)
    / / +--- o3o3o3x3o (inv. rix)
   / / / +-- o3o3o3o3o (point)
  / / / /
        
o R p 	-- x3o3o *b3o3o (hin)
 P r o	-- o3o3x *b3o3o (alt. hin)
        
  \ \ \
   \ \ +-- x3o3o3o3o (hix)
    \ +--- o3o3x3o3o (dot)
     +---- o3o3o3o3x (dual hix)

where:
o = o3o3o3o (point)
P = x3o3o3o (pen)
R = o3x3o3o (rap)
r = o3o3x3o (inv. rap)
p = o3o3o3x (dual pen)
 ©  
       _+------ o x3o3o *c3o (hex)
     _/  _+---- x o3o3x *c3o (alt. hexip)
   _/  _/  _+-- o x3o3o *c3o (hex)
  /   /   /

h   H	-- x3o3o *b3o3o (hin)
     
H   h	-- o3o3x *b3o3o (alt. hin)

where:
h = x3o3o *b3o (hex)
H = o3o3x *b3o (alt. hex)
 ©  
    c0      b0   
        a-       
    b+      c+   
a0      d0      a0
    c-      b-   
        a+       
    b0      c0   

where:
a = x o o (line)
b = o x o (ortho line)
c = o o x (ortho-ortho line)
d = x x x (cube)
+ = at top layer
0 = at equatorial layer
- = at bottom layer
Lace hyper city
in approx. ASCII-art
      o x o       o o x      
            x o o            
                             
                             
                             
      o o x       o x o      
x o o       x x x       x o o
      o x o       o o x      
                             
                             
                             
            x o o            
      o o x       o x o      


i.e. diverse tets at the vertex positions of an orthogonal co plus a central cube
thus co-triangle first: x3o3o3o3o (hix) || pseudo o3o3x3o3o (dot) || o3o3o3o3x (dual hix)
thus co-square first: o x3o3o *c3o (hex) || pseudo x o3o3x *c3o (alt. hexip) || o x3o3o *c3o (hex)
thus co-vertex first: x o o o (line) || pseudo oo xx xo ox&#x (ortho tepe) || pseudo xxx ooo oxo oxo&#xt (lacing-para ope) || pseudo oo xx ox xo&#x (alt. ortho tepe) || x o o o (para line)
    _t-------_T
 _-  |    _-  |
T----+---t    |
|    |   |    |
|   _T---+---_t
|_-      |_-   
t--------T     

where:
t = x3o3o (tet)
T = o3o3x (dual tet)
Coordinates
  1. (1, 1, 1, 1, 1, 1)/sqrt(8)   & all permutations, all even changes of sign
    • (1, 1, 1, 0, 0, 0)/2       & all sign changes
    • (1, 0, 0, 1, 1, 0)/2       & all sign changes
    • (0, 1, 0, 1, 0, 1)/2       & all sign changes
    • (0, 0, 1, 0, 1, 1)/2       & all sign changes
Volume 43/360 = 0.119444
Surface [39 sqrt(2)+2 sqrt(3)]/30 = 1.953948
Dihedral angles
(at margins)
  • at pen between hin and hix:   arccos[-1/sqrt(6)] = 114.094843°
  • at hex between hin and hin:   90°
Face vector 32, 240, 640, 640, 252, 44
Confer
uniform relative:
tetdip  
related scaliform:
odhax   tratetdafup  
related segmentopeta:
rixpy   hixadot   hixacube   rixa   hexaf  
ambification:
brox  
general polytopal classes:
Wythoffian polypeta   segmentopeta   lace simplices   fundamental lace prisms   Coxeter-Elte-Gosset polytopes  
analogs:
demihypercube Dn  
External
links
hedrondude   wikipedia   polytopewiki  

There are 2 different scaliform octadiminishings of this polyexon, either omitting the central cube of the first lace hyper city, then yielding odhax, or omitting the extremal tets of the second lace hyper city, then yielding tratetdafup.


Incidence matrix according to Dynkin symbol

x3o3o *b3o3o3o

. . .    . . . | 32   15 |  60 |  20  60 | 15  30 |  6  6
---------------+----+-----+-----+---------+--------+------
x . .    . . . |  2 | 240    8 |   4  12 |  6   8 |  4  2
---------------+----+-----+-----+---------+--------+------
x3o .    . . . |  3 |   3 | 640 |   1   3 |  3   3 |  3  1
---------------+----+-----+-----+---------+--------+------
x3o3o    . . .   4 |   6 |   4 | 160   * |  3   0 |  3  0
x3o . *b3o . .   4 |   6 |   4 |   * 480 |  1   2 |  2  1
---------------+----+-----+-----+---------+--------+------
x3o3o *b3o . .   8 |  24 |  32 |   8   8 | 60   * |  2  0
x3o . *b3o3o .   5 |  10 |  10 |   0   5 |  * 192 |  1  1
---------------+----+-----+-----+---------+--------+------
x3o3o *b3o3o .  16 |  80 | 160 |  40  80 | 10  16 | 12  *
x3o . *b3o3o3o   6 |  15 |  20 |   0  15 |  0   6 |  * 32

o3o3o3o3o4s

demi( . . . . . . ) | 32   15 |  60 |  20  60 | 15  30 |  6  6
--------------------+----+-----+-----+---------+--------+------
      . . . . o4s   |  2 | 240    8 |   4  12 |  6   8 |  4  2
--------------------+----+-----+-----+---------+--------+------
sefa( . . . o3o4s ) |  3 |   3 | 640 |   1   3 |  3   3 |  3  1
--------------------+----+-----+-----+---------+--------+------
      . . . o3o4s     4 |   6 |   4 | 160   * |  3   0 |  3  0
sefa( . . o3o3o4s )   4 |   6 |   4 |   * 480 |  1   2 |  2  1
--------------------+----+-----+-----+---------+--------+------
      . . o3o3o4s     8 |  24 |  32 |   8   8 | 60   * |  2  0
sefa( . o3o3o3o4s )   5 |  10 |  10 |   0   5 |  * 192 |  1  1
--------------------+----+-----+-----+---------+--------+------
      . o3o3o3o4s    16 |  80 | 160 |  40  80 | 10  16 | 12  *
sefa( o3o3o3o3o4s )   6 |  15 |  20 |   0  15 |  0   6 |  * 32

starting figure: o3o3o3o3o4x

xo3oo3ox *b3oo3oo&#x   → height = 1/sqrt(2) = 0.707107
(hin || alternate hin)

o.3o.3o. *b3o.3o.    | 16  *  10  5  0 |  30  20  10   0 | 10 20  30 10  10  0  0 |  5  5 10 20  5  0  0 | 1  5  5  1 0
.o3.o3.o *b3.o3.o    |  * 16   0  5 10 |   0  10  20  30 |  0  0  10 10  30 10 20 |  0  0 10  5 20  5  5 | 0  5  1  5 1
---------------------+-------+----------+-----------------+------------------------+----------------------+-------------
x. .. ..    .. ..    |  2  0 | 80  *  *    6   2   0   0 |  3  6   6  1   0  0  0 |  3  2  3  6  0  0  0 | 1  3  2  0 0
oo3oo3oo *b3oo3oo&#x |  1  1 |  * 80  *    0   4   4   0 |  0  0   6  4   6  0  0 |  0  0  6  4  4  0  0 | 0  4  1  1 0
.. .. .x    .. ..    |  0  2 |  *  * 80    0   0   2   6 |  0  0   0  1   6  3  6 |  0  0  3  0  6  3  2 | 0  3  0  2 1
---------------------+-------+----------+-----------------+------------------------+----------------------+-------------
x.3o. ..    .. ..    |  3  0 |  3  0  0 | 160   *   *   * |  1  2   1  0   0  0  0 |  2  1  1  2  0  0  0 | 1  2  1  0 0
xo .. ..    .. ..&#x |  2  1 |  1  2  0 |   * 160   *   * |  0  0   3  1   0  0  0 |  0  0  3  3  0  0  0 | 0  3  1  0 0
.. .. ox    .. ..&#x |  1  2 |  0  2  1 |   *   * 160   * |  0  0   0  1   3  0  0 |  0  0  3  0  3  0  0 | 0  3  0  1 0
.. .o3.x    .. ..    |  0  3 |  0  0  3 |   *   *   * 160 |  0  0   0  0   1  1  2 |  0  0  1  0  2  2  1 | 0  2  0  1 1
---------------------+-------+----------+-----------------+------------------------+----------------------+-------------
x.3o.3o.    .. ..      4  0 |  6  0  0 |   4   0   0   0 | 40  *   *  *   *  *  * |  2  0  1  0  0  0  0 | 1  2  0  0 0
x.3o. .. *b3o. ..      4  0 |  6  0  0 |   4   0   0   0 |  * 80   *  *   *  *  * |  1  1  0  1  0  0  0 | 1  1  1  0 0
xo3oo ..    .. ..&#x   3  1 |  3  3  0 |   1   3   0   0 |  *  * 160  *   *  *  * |  0  0  1  2  0  0  0 | 0  2  1  0 0
xo .. ox    .. ..&#x   2  2 |  1  4  1 |   0   2   2   0 |  *  *   * 80   *  *  * |  0  0  3  0  0  0  0 | 0  3  0  0 0
.. oo3ox    .. ..&#x   1  3 |  0  3  3 |   0   0   3   1 |  *  *   *  * 160  *  * |  0  0  1  0  2  0  0 | 0  2  0  1 0
.o3.o3.x    .. ..      0  4 |  0  0  6 |   0   0   0   4 |  *  *   *  *   * 40  * |  0  0  1  0  0  2  0 | 0  2  0  0 1
.. .o3.x *b3.o ..      0  4 |  0  0  6 |   0   0   0   4 |  *  *   *  *   *  * 80 |  0  0  0  0  1  1  1 | 0  1  0  1 1
---------------------+-------+----------+-----------------+------------------------+----------------------+-------------
x.3o.3o. *b3o. ..      8  0 | 24  0  0 |  32   0   0   0 |  8  8   0  0   0  0  0 | 10  *  *  *  *  *  * | 1  1  0  0 0
x.3o. .. *b3o.3o.      5  0 | 10  0  0 |  10   0   0   0 |  0  5   0  0   0  0  0 |  * 16  *  *  *  *  * | 1  0  1  0 0
xo3oo3ox    .. ..&#x   4  4 |  6 12  6 |   4  12  12   4 |  1  0   4  6   4  1  0 |  *  * 40  *  *  *  * | 0  2  0  0 0
xo3oo .. *b3oo ..&#x   4  1 |  6  4  0 |   4   6   0   0 |  0  1   4  0   0  0  0 |  *  *  * 80  *  *  * | 0  1  1  0 0
.. oo3ox *b3oo ..&#x   1  4 |  0  4  6 |   0   0   6   4 |  0  0   0  0   4  0  1 |  *  *  *  * 80  *  * | 0  1  0  1 0
.o3.o3.x *b3.o ..      0  8 |  0  0 24 |   0   0   0  32 |  0  0   0  0   0  8  8 |  *  *  *  *  * 10  * | 0  1  0  0 1
.. .o3.x *b3.o3.o      0  5 |  0  0 10 |   0   0   0  10 |  0  0   0  0   0  0  5 |  *  *  *  *  *  * 16 | 0  0  0  1 1
---------------------+-------+----------+-----------------+------------------------+----------------------+-------------
x.3o.3o. *b3o.3o.     16  0 | 80  0  0 | 160   0   0   0 | 40 80   0  0   0  0  0 | 10 16  0  0  0  0  0 | 1  *  *  * *
xo3oo3oo *b3oo ..&#x   8  8 | 24 32 24 |  32  48  48  32 |  8  8  32 24  32  8  8 |  1  0  8  8  8  1  0 | * 10  *  * *
xo3oo .. *b3oo3oo&#x   5  1 | 10  5  0 |  10  10   0   0 |  0  5  10  0   0  0  0 |  0  1  0  5  0  0  0 | *  * 16  * *
.. oo3ox *b3oo3oo&#x   1  5 |  0  5 10 |   0   0  10  10 |  0  0   0  0  10  0  5 |  0  0  0  0  5  0  1 | *  *  * 16 *
.o3.o3.x *b3.o3.o      0 16 |  0  0 80 |   0   0   0 160 |  0  0   0  0   0 40 80 |  0  0  0  0  0 10 16 | *  *  *  * 1
or
o.3o.3o. *b3o.3o.    & | 32   10  5 |  30  30 | 10  20  40 10 |  5  5 10  25 | 1  5  6
-----------------------+----+--------+---------+---------------+--------------+--------
x. .. ..    .. ..    & |  2 | 160  *    6   2 |  3   6   6  1 |  3  2  3   6 | 1  3  2
oo3oo3oo *b3oo3oo&#x   |  2 |   * 80    0   8 |  0   0  12  4 |  0  0  6   8 | 0  4  2
-----------------------+----+--------+---------+---------------+--------------+--------
x.3o. ..    .. ..    & |  3 |   3  0 | 320   * |  1   2   1  0 |  2  1  1   2 | 1  2  1
xo .. ..    .. ..&#x & |  3 |   1  2 |   * 320 |  0   0   3  1 |  0  0  3   3 | 0  3  1
-----------------------+----+--------+---------+---------------+--------------+--------
x.3o.3o.    .. ..    &   4 |   6  0 |   4   0 | 80   *   *  * |  2  0  1   0 | 1  2  0
x.3o. .. *b3o. ..    &   4 |   6  0 |   4   0 |  * 160   *  * |  1  1  0   1 | 1  1  1
xo3oo ..    .. ..&#x &   4 |   3  3 |   1   3 |  *   * 320  * |  0  0  1   2 | 0  2  1
xo .. ox    .. ..&#x     4 |   2  4 |   0   4 |  *   *   * 80 |  0  0  3   0 | 0  3  0
-----------------------+----+--------+---------+---------------+--------------+--------
x.3o.3o. *b3o. ..    &   8 |  24  0 |  32   0 |  8   8   0  0 | 20  *  *   * | 1  1  0
x.3o. .. *b3o.3o.    &   5 |  10  0 |  10   0 |  0   5   0  0 |  * 32  *   * | 1  0  1
xo3oo3ox    .. ..&#x     8 |  12 12 |   8  24 |  2   0   8  6 |  *  * 40   * | 0  2  0
xo3oo .. *b3oo ..&#x &   5 |   6  4 |   4   6 |  0   1   4  0 |  *  *  * 160 | 0  1  1
-----------------------+----+--------+---------+---------------+--------------+--------
x.3o.3o. *b3o.3o.    &  16 |  80  0 | 160   0 | 40  80   0  0 | 10 16  0   0 | 2  *  *
xo3oo3oo *b3oo ..&#x    16 |  48 32 |  64  96 | 16  16  64 24 |  2  0  8  16 | * 10  *
xo3oo .. *b3oo3oo&#x &   6 |  10  5 |  10  10 |  0   5  10  0 |  0  1  0   5 | *  * 32

xoo3ooo3oxo3ooo3oox&#xt   → both heights = 1/sqrt(3) = 0.577350
(hix || pseudo dot || inv hix)

o..3o..3o..3o..3o..     & | 12  *   5  10  0 | 10  20  30   0 | 10 10  30  10  20  0 |  5 10  20  5  5 | 1  5  6
.o.3.o.3.o.3.o.3.o.       |  * 20   0   6  9 |  0   6  36  18 |  0  2  18  18  36  6 |  0  6  18 12  9 | 0  6  6
--------------------------+-------+-----------+----------------+----------------------+-----------------+--------
x.. ... ... ... ...     & |  2  0 | 30   *  *   4   4   0   0 |  6  4   6   0   0  0 |  4  6   4  0  0 | 1  1  4
oo.3oo.3oo.3oo.3oo.&#x  & |  1  1 |  * 120  *   0   2   6   0 |  0  1   6   3   6  0 |  0  3   6  2  3 | 0  2  4
... ... .x. ... ...       |  0  2 |  *   * 90   0   0   4   4 |  0  0   2   4   8  2 |  0  2   4  4  4 | 0  2  4
--------------------------+-------+-----------+----------------+----------------------+-----------------+--------
x..3o.. ... ... ...     & |  3  0 |  3   0  0 | 40   *   *   * |  3  1   0   0   0  0 |  3  3   0  0  0 | 1  0  3
xo. ... ... ... ...&#x  & |  2  1 |  1   2  0 |  * 120   *   * |  0  1   3   0   0  0 |  0  3   3  0  0 | 0  1  3
... ... ox. ... ...&#x  & |  1  2 |  0   2  1 |  *   * 360   * |  0  0   1   1   2  0 |  0  1   2  1  2 | 0  1  3
... .o.3.x. ... ...     & |  0  3 |  0   0  3 |  *   *   * 120 |  0  0   0   1   2  1 |  0  1   1  2  2 | 0  1  3
--------------------------+-------+-----------+----------------+----------------------+-----------------+--------
x..3o..3o.. ... ...     &   4  0 |  6   0  0 |  4   0   0   0 | 30  *   *   *   *  * |  2  1   0  0  0 | 1  0  2
xo.3oo. ... ... ...&#x  &   3  1 |  3   3  0 |  1   3   0   0 |  * 40   *   *   *  * |  0  3   0  0  0 | 0  0  3
xo. ... ox. ... ...&#x  &   2  2 |  1   4  1 |  0   2   2   0 |  *  * 180   *   *  * |  0  1   2  0  0 | 0  1  2
... oo.3ox. ... ...&#x  &   1  3 |  0   3  3 |  0   0   3   1 |  *  *   * 120   *  * |  0  1   0  0  2 | 0  0  3
... ... ox.3oo. ...&#x  &   1  3 |  0   3  3 |  0   0   3   1 |  *  *   *   * 240  * |  0  0   1  1  1 | 0  1  2
.o.3.o.3.x. ... ...     &   0  4 |  0   0  6 |  0   0   0   4 |  *  *   *   *   * 30 |  0  1   0  2  0 | 0  1  2
--------------------------+-------+-----------+----------------+----------------------+-----------------+--------
x..3o..3o..3o.. ...     &   5  0 | 10   0  0 | 10   0   0   0 |  5  0   0   0   0  0 | 12  *   *  *  * | 1  0  1
xo.3oo.3ox. ... ...&#x  &   4  4 |  6  12  6 |  4  12  12   4 |  1  4   6   4   0  1 |  * 30   *  *  * | 0  0  2
xo. ... ox.3oo. ...&#x  &   2  3 |  1   6  3 |  0   3   6   1 |  0  0   3   0   2  0 |  *  * 120  *  * | 0  1  1
... ... ox.3oo.3oo.&#x  &   1  4 |  0   4  6 |  0   0   6   4 |  0  0   0   0   4  1 |  *  *   * 60  * | 0  1  1
... ooo3oxo3ooo ...&#xt     2  6 |  0  12 12 |  0   0  24   8 |  0  0   0   8   8  0 |  *  *   *  * 30 | 0  0  2
--------------------------+-------+-----------+----------------+----------------------+-----------------+--------
x..3o..3o..3o..3o..     &   6  0 | 15   0  0 | 20   0   0   0 | 15  0   0   0   0  0 |  6  0   0  0  0 | 2  *  *
xo. ... ox.3oo.3oo.&#x  &   2  4 |  1   8  6 |  0   4  12   4 |  0  0   6   0   8  1 |  0  0   4  2  0 | * 30  *
xoo3ooo3oxo3ooo ...&#xt &   6 10 | 10  40 30 | 10  30  90  30 |  5 10  30  30  40  5 |  1  5  10  5  5 | *  * 12

oooo3oxoo3oooo3ooxo3oooo&#xt   → all heights = 1/sqrt(3) = 0.577350
(pt || pseudo rix || inv pseudo rix || pt)
                 
o...3o...3o...3o...3o...      & | 2  *  15   0  0 |  60  0   0   0 | 20  60  0   0   0   0 | 15 30  0   0  0 |  6  6  0
.o..3.o..3.o..3.o..3.o..      & | * 30   1   8  6 |   8  4  12  36 |  4  12  8  16  16  24 |  7  8  2  20  8 |  6  2  4
--------------------------------+------+-----------+----------------+-----------------------+-----------------+---------
oo..3oo..3oo..3oo..3oo..&#x   & | 1  1 | 30   *  *    8  0   0   0 |  4  12  0   0   0   0 |  6  8  0   0  0 |  4  2  0
.... .x.. .... .... ....      & | 0  2 |  * 120  *    1  1   3   3 |  1   3  3   3   3   3 |  3  3  1   4  3 |  4  1  1
.oo.3.oo.3.oo.3.oo.3.oo.&#x     | 0  2 |  *   * 90    0  0   0   8 |  0   0  0   4   4   8 |  2  0  0   8  4 |  4  0  2
--------------------------------+------+-----------+----------------+-----------------------+-----------------+---------
.... ox.. .... .... ....&#x   & | 1  2 |  2   1  0 | 120  *   *   * |  1   3  0   0   0   0 |  3  3  0   0  0 |  3  1  0
.o..3.x.. .... .... ....      & | 0  3 |  0   3  0 |   * 40   *   * |  1   0  0   3   0   0 |  3  0  0   3  0 |  3  0  1
.... .x..3.o.. .... ....      & | 0  3 |  0   3  0 |   *  * 120   * |  0   1  2   0   1   0 |  1  2  1   0  2 |  3  1  0
.... .xo. .... .... ....&#x   & | 0  3 |  0   1  2 |   *  *   * 360 |  0   0  0   1   1   2 |  1  0  0   3  2 |  3  0  1
--------------------------------+------+-----------+----------------+-----------------------+-----------------+---------
oo..3ox.. .... .... ....&#x   &  1  3 |  3   3  0 |   3  1   0   0 | 40   *  *   *   *   * |  3  0  0   0  0 |  3  0  0
.... ox..3oo.. .... ....&#x   &  1  3 |  3   3  0 |   3  0   1   0 |  * 120  *   *   *   * |  1  2  0   0  0 |  2  1  0
.... .x..3.o..3.o.. ....      &  0  4 |  0   6  0 |   0  0   4   0 |  *   * 60   *   *   * |  0  1  1   0  1 |  2  1  0
.oo.3.xo. .... .... ....&#x   &  0  4 |  0   3  3 |   0  1   0   3 |  *   *  * 120   *   * |  1  0  0   2  0 |  2  0  1
.... .xo.3.oo. .... ....&#x   &  0  4 |  0   3  3 |   0  0   1   3 |  *   *  *   * 120   * |  1  0  0   0  2 |  3  0  0
.... .xo. .... .ox. ....&#x      0  4 |  0   2  4 |   0  0   0   4 |  *   *  *   *   * 180 |  0  0  0   2  1 |  2  0  1
--------------------------------+------+-----------+----------------+-----------------------+-----------------+---------
ooo.3oxo.3ooo. .... ....&#xt  &  1  7 |  6  12  6 |  12  4   4  12 |  4   4  0   4   4   0 | 30  *  *   *  * |  2  0  0
.... ox..3oo..3oo.. ....&#x   &  1  4 |  4   6  0 |   6  0   4   0 |  0   4  1   0   0   0 |  * 60  *   *  * |  1  1  0
.... .x..3.o..3.o..3.o..      &  0  5 |  0  10  0 |   0  0  10   0 |  0   0  5   0   0   0 |  *  * 12   *  * |  1  1  0
.oo.3.xo. .... .ox. ....&#x   &  0  5 |  0   4  6 |   0  1   0   9 |  0   0  0   2   0   3 |  *  *  * 120  * |  1  0  1
.... .xo.3.oo.3.ox. ....&#x      0  8 |  0  12 12 |   0  0   8  24 |  0   0  2   0   8   6 |  *  *  *   * 30 |  2  0  0
--------------------------------+------+-----------+----------------+-----------------------+-----------------+---------
ooo.3oxo.3ooo.3oox. ....&#xt  &  1 15 | 10  40 30 |  30 10  30  90 | 10  20 10  20  30  30 |  5  5  1  10  5 | 12  *  *
.... ox..3oo..3oo..3oo..&#x   &  1  5 |  5  10  0 |  10  0  10   0 |  0  10  5   0   0   0 |  0  5  1   0  0 |  * 12  *
.oo.3.xo. .... .ox.3.oo.&#x      0  6 |  0   6  9 |   0  2   0  18 |  0   0  0   6   0   9 |  0  0  0   6  0 |  *  * 20

oxo xox3ooo3ooo *c3oxo&#xt   → both heights = 1/2
(hex || pseudo gyro hexip || (para) hex)

o.. o..3o..3o.. *c3o..     | 8  * *   6  8 1 0  0  0  0 | 12  4 24 12  8  0  0  0  0  0 | 4 4 12 24 12  8  4 12  0  0  0  0  0  0 0 0 | 1 12  8  8  2  6  8 0  0  0  0  0 0 | 4 2 4  2 0 0
.o. .o.3.o.3.o. *c3.o.     | * 16 *   0  4 0 1  6  4  0 |  0  4  6 12  4 12  4  6 12  0 | 0 0  6  4  6 12  4 12  4  4  6  4  6 12 0 0 | 0  4  1  4  4  6 12 1  4  1  4  4 0 | 1 1 4  4 1 1
..o ..o3..o3..o *c3..o     | *  * 8   0  0 1 0  0  8  6 |  0  0  0  0  8  0  4 24 12 12 | 0 0  0  0  0  0  4 12  0  0 12 24 12  8 4 4 | 0  0  0  0  0  6  8 0 12  8  8  2 1 | 0 0 4  2 4 2
---------------------------+--------+--------------------+-------------------------------+---------------------------------------------+-------------------------------------+-------------
... x.. ... ...    ...     | 2  0 0 | 24  * * *  *  *  *   4  0  4  0  0  0  0  0  0  0 | 2 2  2  8  2  0  0  0  0  0  0  0  0  0 0 0 | 1  4  4  4  0  1  0 0  0  0  0  0 0 | 2 2 2  0 0 0
oo. oo.3oo.3oo. *c3oo.&#x  | 1  1 0 |  * 64 * *  *  *  *   0  1  3  3  1  0  0  0  0  0 | 0 0  3  3  3  3  1  3  0  0  0  0  0  0 0 0 | 0  3  1  3  1  3  3 0  0  0  0  0 0 | 1 1 3  1 0 0
o.o o.o3o.o3o.o *c3o.o&#x  | 1  0 1 |  *  * 8 *  *  *  *   0  0  0  0  8  0  0  0  0  0 | 0 0  0  0  0  0  4 12  0  0  0  0  0  0 0 0 | 0  0  0  0  0  6  8 0  0  0  0  0 0 | 0 0 4  2 0 0
.x. ... ... ...    ...     | 0  2 0 |  *  * * 8  *  *  *   0  4  0  0  0  0  4  0  0  0 | 0 0  6  0  0  0  4  0  0  0  6  0  0  0 0 0 | 0  4  0  0  0  6  0 0  4  0  0  0 0 | 1 0 4  0 1 0
... ... ... ...    .x.     | 0  2 0 |  *  * * * 48  *  *   0  0  0  2  0  4  0  0  2  0 | 0 0  0  0  1  4  0  2  2  2  0  0  1  4 0 0 | 0  0  0  2  2  1  4 1  0  0  2  2 0 | 0 1 2  2 0 1
.oo .oo3.oo3.oo *c3.oo&#x  | 0  1 1 |  *  * * *  * 64  *   0  0  0  0  1  0  1  3  3  0 | 0 0  0  0  0  0  1  3  0  0  3  3  3  3 0 0 | 0  0  0  0  0  3  3 0  3  1  3  1 0 | 0 0 3  1 1 1
... ..x ... ...    ...     | 0  0 2 |  *  * * *  *  * 24   0  0  0  0  0  0  0  4  0  4 | 0 0  0  0  0  0  0  0  0  0  2  8  2  0 2 2 | 0  0  0  0  0  1  0 0  4  4  4  0 1 | 0 0 2  0 2 2
---------------------------+--------+--------------------+-------------------------------+---------------------------------------------+-------------------------------------+-------------
... x..3o.. ...    ...     | 3  0 0 |  3  0 0 0  0  0  0 | 32  *  *  *  *  *  *  *  *  * | 1 1  0  2  0  0  0  0  0  0  0  0  0  0 0 0 | 1  1  2  2  0  0  0 0  0  0  0  0 0 | 1 2 1  0 0 0
ox. ... ... ...    ...&#x  | 1  2 0 |  0  2 0 1  0  0  0 |  * 32  *  *  *  *  *  *  *  * | 0 0  3  0  0  0  1  0  0  0  0  0  0  0 0 0 | 0  3  0  0  0  3  0 0  0  0  0  0 0 | 1 0 3  0 0 0
... xo. ... ...    ...&#x  | 2  1 0 |  1  2 0 0  0  0  0 |  *  * 96  *  *  *  *  *  *  * | 0 0  1  2  1  0  0  0  0  0  0  0  0  0 0 0 | 0  2  1  2  0  1  0 0  0  0  0  0 0 | 1 1 2  0 0 0
... ... ... ...    ox.&#x  | 1  2 0 |  0  2 0 0  1  0  0 |  *  *  * 96  *  *  *  *  *  * | 0 0  0  0  1  2  0  1  0  0  0  0  0  0 0 0 | 0  0  0  2  1  1  2 0  0  0  0  0 0 | 0 1 2  1 0 0
ooo ooo3ooo3ooo *c3ooo&#x  | 1  1 1 |  0  1 1 0  0  1  0 |  *  *  *  * 64  *  *  *  *  * | 0 0  0  0  0  0  1  3  0  0  0  0  0  0 0 0 | 0  0  0  0  0  3  3 0  0  0  0  0 0 | 0 0 3  1 0 0
... ... .o. ... *c3.x.     | 0  3 0 |  0  0 0 0  3  0  0 |  *  *  *  *  * 64  *  *  *  * | 0 0  0  0  0  1  0  0  1  1  0  0  0  1 0 0 | 0  0  0  1  1  0  1 1  0  0  1  1 0 | 0 1 1  1 0 1
.xo ... ... ...    ...&#x  | 0  2 1 |  0  0 0 1  0  2  0 |  *  *  *  *  *  * 32  *  *  * | 0 0  0  0  0  0  1  0  0  0  3  0  0  0 0 0 | 0  0  0  0  0  3  0 0  3  0  0  0 0 | 0 0 3  0 1 0
... .ox ... ...    ...&#x  | 0  1 2 |  0  0 0 0  0  2  1 |  *  *  *  *  *  *  * 96  *  * | 0 0  0  0  0  0  0  0  0  0  1  2  1  0 0 0 | 0  0  0  0  0  1  0 0  2  1  2  0 0 | 0 0 2  0 1 1
... ... ... ...    .xo&#x  | 0  2 1 |  0  0 0 0  1  2  0 |  *  *  *  *  *  *  *  * 96  * | 0 0  0  0  0  0  0  1  0  0  0  0  1  2 0 0 | 0  0  0  0  0  1  2 0  0  0  2  1 0 | 0 0 2  1 0 1
... ..x3..o ...    ...     | 0  0 3 |  0  0 0 0  0  0  3 |  *  *  *  *  *  *  *  *  * 32 | 0 0  0  0  0  0  0  0  0  0  0  2  0  0 1 1 | 0  0  0  0  0  0  0 0  1  2  2  0 1 | 0 0 1  0 1 2
---------------------------+--------+--------------------+-------------------------------+---------------------------------------------+-------------------------------------+-------------
... x..3o..3o..    ...      4  0 0 |  6  0 0 0  0  0  0 |  4  0  0  0  0  0  0  0  0  0 | 8 *  *  *  *  *  *  *  *  *  *  *  *  * * * | 1  0  2  0  0  0  0 0  0  0  0  0 0 | 1 2 0  0 0 0
... x..3o.. ... *c3o..      4  0 0 |  6  0 0 0  0  0  0 |  4  0  0  0  0  0  0  0  0  0 | * 8  *  *  *  *  *  *  *  *  *  *  *  * * * | 1  0  0  2  0  0  0 0  0  0  0  0 0 | 0 2 1  0 0 0
ox. xo. ... ...    ...&#x   2  2 0 |  1  4 0 1  0  0  0 |  0  2  2  0  0  0  0  0  0  0 | * * 48  *  *  *  *  *  *  *  *  *  *  * * * | 0  2  0  0  0  1  0 0  0  0  0  0 0 | 1 0 2  0 0 0
... xo.3oo. ...    ...&#x   3  1 0 |  3  3 0 0  0  0  0 |  1  0  3  0  0  0  0  0  0  0 | * *  * 64  *  *  *  *  *  *  *  *  *  * * * | 0  1  1  1  0  0  0 0  0  0  0  0 0 | 1 1 1  0 0 0
... xo. ... ...    ox.&#x   2  2 0 |  1  4 0 0  1  0  0 |  0  0  2  2  0  0  0  0  0  0 | * *  *  * 48  *  *  *  *  *  *  *  *  * * * | 0  0  0  2  0  1  0 0  0  0  0  0 0 | 0 1 2  0 0 0
... ... oo. ... *c3ox.&#x   1  3 0 |  0  3 0 0  3  0  0 |  0  0  0  3  0  1  0  0  0  0 | * *  *  *  * 64  *  *  *  *  *  *  *  * * * | 0  0  0  1  1  0  1 0  0  0  0  0 0 | 0 1 1  1 0 0
oxo ... ... ...    ...&#x   1  2 1 |  0  2 1 1  0  2  0 |  0  1  0  0  2  0  1  0  0  0 | * *  *  *  *  * 32  *  *  *  *  *  *  * * * | 0  0  0  0  0  3  0 0  0  0  0  0 0 | 0 0 3  0 0 0
... ... ... ...    oxo&#x   1  2 1 |  0  2 1 0  1  2  0 |  0  0  0  1  2  0  0  0  1  0 | * *  *  *  *  *  * 96  *  *  *  *  *  * * * | 0  0  0  0  0  1  2 0  0  0  0  0 0 | 0 0 2  1 0 0
... .o.3.o. ... *c3.x.      0  4 0 |  0  0 0 0  6  0  0 |  0  0  0  0  0  4  0  0  0  0 | * *  *  *  *  *  *  * 16  *  *  *  *  * * * | 0  0  0  1  0  0  0 1  0  0  1  0 0 | 0 1 1  0 0 1
... ... .o.3.o. *c3.x.      0  4 0 |  0  0 0 0  6  0  0 |  0  0  0  0  0  4  0  0  0  0 | * *  *  *  *  *  *  *  * 16  *  *  *  * * * | 0  0  0  0  1  0  0 1  0  0  0  1 0 | 0 1 0  1 0 1
.xo .ox ... ...    ...&#x   0  2 2 |  0  0 0 1  0  4  1 |  0  0  0  0  0  0  2  2  0  0 | * *  *  *  *  *  *  *  *  * 48  *  *  * * * | 0  0  0  0  0  1  0 0  2  0  0  0 0 | 0 0 2  0 1 0
... .ox3.oo ...    ...&#x   0  1 3 |  0  0 0 0  0  3  3 |  0  0  0  0  0  0  0  3  0  1 | * *  *  *  *  *  *  *  *  *  * 64  *  * * * | 0  0  0  0  0  0  0 0  1  1  1  0 0 | 0 0 1  0 1 1
... .ox ... ...    .xo&#x   0  2 2 |  0  0 0 0  1  4  1 |  0  0  0  0  0  0  0  2  2  0 | * *  *  *  *  *  *  *  *  *  *  * 48  * * * | 0  0  0  0  0  1  0 0  0  0  2  0 0 | 0 0 2  0 0 1
... ... .oo ... *c3.xo&#x   0  3 1 |  0  0 0 0  3  3  0 |  0  0  0  0  0  1  0  0  3  0 | * *  *  *  *  *  *  *  *  *  *  *  * 64 * * | 0  0  0  0  0  0  1 0  0  0  1  1 0 | 0 0 1  1 0 1
... ..x3..o3..o    ...      0  0 4 |  0  0 0 0  0  0  6 |  0  0  0  0  0  0  0  0  0  4 | * *  *  *  *  *  *  *  *  *  *  *  *  * 8 * | 0  0  0  0  0  0  0 0  0  2  0  0 1 | 0 0 0  0 1 2
... ..x3..o ... *c3..o      0  0 4 |  0  0 0 0  0  0  6 |  0  0  0  0  0  0  0  0  0  4 | * *  *  *  *  *  *  *  *  *  *  *  *  * * 8 | 0  0  0  0  0  0  0 0  0  0  2  0 1 | 0 0 1  0 0 2
---------------------------+--------+--------------------+-------------------------------+---------------------------------------------+-------------------------------------+-------------
... x..3o..3o.. *c3o..      8  0 0 | 24  0 0 0  0  0  0 | 32  0  0  0  0  0  0  0  0  0 | 8 8  0  0  0  0  0  0  0  0  0  0  0  0 0 0 | 1  *  *  *  *  *  * *  *  *  *  * * | 0 2 0  0 0 0
ox. xo.3oo. ...    ...&#x   3  2 0 |  3  6 0 1  0  0  0 |  1  3  6  0  0  0  0  0  0  0 | 0 0  3  2  0  0  0  0  0  0  0  0  0  0 0 0 | * 32  *  *  *  *  * *  *  *  *  * * | 1 0 1  0 0 0
... xo.3oo.3oo.    ...&#x   4  1 0 |  6  4 0 0  0  0  0 |  4  0  6  0  0  0  0  0  0  0 | 1 0  0  4  0  0  0  0  0  0  0  0  0  0 0 0 | *  * 16  *  *  *  * *  *  *  *  * * | 1 1 0  0 0 0
... xo.3oo. ... *c3ox.&#x   4  4 0 |  6 12 0 0  6  0  0 |  4  0 12 12  0  4  0  0  0  0 | 0 1  0  4  6  4  0  0  1  0  0  0  0  0 0 0 | *  *  * 16  *  *  * *  *  *  *  * * | 0 1 1  0 0 0
... ... oo.3oo. *c3ox.&#x   1  4 0 |  0  4 0 0  6  0  0 |  0  0  0  6  0  4  0  0  0  0 | 0 0  0  0  0  4  0  0  0  1  0  0  0  0 0 0 | *  *  *  * 16  *  * *  *  *  *  * * | 0 1 0  1 0 0
oxo xox ... ...    oxo&#xt  2  4 2 |  1  8 2 2  2  8  1 |  0  4  4  4  8  0  4  4  4  0 | 0 0  2  0  2  0  4  4  0  0  2  0  2  0 0 0 | *  *  *  *  * 24  * *  *  *  *  * * | 0 0 2  0 0 0
... ... ooo ... *c3oxo&#x   1  3 1 |  0  3 1 0  3  3  0 |  0  0  0  3  3  1  0  0  3  0 | 0 0  0  0  0  1  0  3  0  0  0  0  0  1 0 0 | *  *  *  *  *  * 64 *  *  *  *  * * | 0 0 1  1 0 0
... .o.3.o.3.o. *c3.x.      0  8 0 |  0  0 0 0 24  0  0 |  0  0  0  0  0 32  0  0  0  0 | 0 0  0  0  0  0  0  0  8  8  0  0  0  0 0 0 | *  *  *  *  *  *  * 2  *  *  *  * * | 0 1 0  0 0 1
.xo .ox3.oo ...    ...&#x   0  2 3 |  0  0 0 1  0  6  3 |  0  0  0  0  0  0  3  6  0  1 | 0 0  0  0  0  0  0  0  0  0  3  2  0  0 0 0 | *  *  *  *  *  *  * * 32  *  *  * * | 0 0 1  0 1 0
... .ox3.oo3.oo    ...&#x   0  1 4 |  0  0 0 0  0  4  6 |  0  0  0  0  0  0  0  6  0  4 | 0 0  0  0  0  0  0  0  0  0  0  4  0  0 1 0 | *  *  *  *  *  *  * *  * 16  *  * * | 0 0 0  0 1 1
... .ox3.oo ... *c3.xo&#x   0  4 4 |  0  0 0 0  6 12  6 |  0  0  0  0  0  4  0 12 12  4 | 0 0  0  0  0  0  0  0  1  0  0  4  6  4 0 1 | *  *  *  *  *  *  * *  *  * 16  * * | 0 0 1  0 0 1
... ... .oo3.oo *c3.xo&#x   0  4 1 |  0  0 0 0  6  4  0 |  0  0  0  0  0  4  0  0  6  0 | 0 0  0  0  0  0  0  0  0  1  0  0  0  4 0 0 | *  *  *  *  *  *  * *  *  *  * 16 * | 0 0 0  1 0 1
... ..x3..o3..o *c3..o      0  0 8 |  0  0 0 0  0  0 24 |  0  0  0  0  0  0  0  0  0 32 | 0 0  0  0  0  0  0  0  0  0  0  0  0  0 8 8 | *  *  *  *  *  *  * *  *  *  *  * 1 | 0 0 0  0 0 2
---------------------------+--------+--------------------+-------------------------------+---------------------------------------------+-------------------------------------+-------------
ox. xo.3oo.3oo.    ...&#x   4  2 0 |  6  8 0 1  0  0  0 |  4  4 12  0  0  0  0  0  0  0 | 1 0  6  8  0  0  0  0  0  0  0  0  0  0 0 0 | 0  4  2  0  0  0  0 0  0  0  0  0 0 | 8 * *  * * *
... xo.3oo.3oo. *c3ox.&#x   8  8 0 | 24 32 0 0 24  0  0 | 32  0 48 48  0 32  0  0  0  0 | 8 8  0 32 24 32  0  0  8  8  0  0  0  0 0 0 | 1  0  8  8  8  0  0 1  0  0  0  0 0 | * 2 *  * * *
oxo xox3ooo ... *c3oxo&#xt  4  8 4 |  6 24 4 4 12 24  6 |  4 12 24 24 24  8 12 24 24  4 | 0 1 12  8 12  8 12 24  2  0 12  8 12  8 0 1 | 0  4  0  2  0  6  8 0  4  0  2  0 0 | * * 8  * * *
... ... ooo3ooo *c3oxo&#x   1  4 1 |  0  4 1 0  6  4  0 |  0  0  0  6  4  4  0  0  6  0 | 0 0  0  0  0  4  0  6  0  1  0  0  0  4 0 0 | 0  0  0  0  1  0  4 0  0  0  0  1 0 | * * * 16 * *
.xo .ox3.oo3.oo    ...&#x   0  2 4 |  0  0 0 1  0  8  6 |  0  0  0  0  0  0  4 12  0  4 | 0 0  0  0  0  0  0  0  0  0  6  8  0  0 1 0 | 0  0  0  0  0  0  0 0  4  2  0  0 0 | * * *  * 8 *
... .ox3.oo3.oo *c3.xo&#x   0  8 8 |  0  0 0 0 24 32 24 |  0  0  0  0  0 32  0 48 48 32 | 0 0  0  0  0  0  0  0  8  8  0 32 24 32 8 8 | 0  0  0  0  0  0  0 1  0  8  8  8 1 | * * *  * * 2
or
o.. o..3o..3o.. *c3o..    & | 16  *   6   8 1 0  0 | 12  4  24  12  8  0 |  4  4 12  24 12   8  4 12  0  0 | 1 12  8  8  2  6  8 0 |  4 2 4  2
.o. .o.3.o.3.o. *c3.o.      |  * 16   0   8 0 1  6 |  0  8  12  24  4 12 |  0  0 12   8 12  24  4 12  4  4 | 0  8  2  8  8  6 12 1 |  2 2 4  4
----------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
... x.. ... ...    ...    & |  2  0 | 48   * * *  *   4  0   4   0  0  0 |  2  2  2   8  2   0  0  0  0  0 | 1  4  4  4  0  1  0 0 |  2 2 2  0
oo. oo.3oo.3oo. *c3oo.&#x & |  1  1 |  * 128 * *  *   0  1   3   3  1  0 |  0  0  3   3  3   3  1  3  0  0 | 0  3  1  3  1  3  3 0 |  1 1 3  1
o.o o.o3o.o3o.o *c3o.o&#x   |  2  0 |  *   * 8 *  *   0  0   0   0  8  0 |  0  0  0   0  0   0  4 12  0  0 | 0  0  0  0  0  6  8 0 |  0 0 4  2
.x. ... ... ...    ...      |  0  2 |  *   * * 8  *   0  8   0   0  0  0 |  0  0 12   0  0   0  4  0  0  0 | 0  8  0  0  0  6  0 0 |  2 0 4  0
... ... ... ...    .x.      |  0  2 |  *   * * * 48   0  0   0   4  0  4 |  0  0  0   0  2   8  0  2  2  2 | 0  0  0  4  4  1  4 1 |  0 2 2  2
----------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
... x..3o.. ...    ...    & |  3  0 |  3   0 0 0  0 | 64  *   *   *  *  * |  1  1  0   2  0   0  0  0  0  0 | 1  1  2  2  0  0  0 0 |  1 2 1  0
ox. ... ... ...    ...&#x & |  1  2 |  0   2 0 1  0 |  * 64   *   *  *  * |  0  0  3   0  0   0  1  0  0  0 | 0  3  0  0  0  3  0 0 |  1 0 3  0
... xo. ... ...    ...&#x & |  2  1 |  1   2 0 0  0 |  *  * 192   *  *  * |  0  0  1   2  1   0  0  0  0  0 | 0  2  1  2  0  1  0 0 |  1 1 2  0
... ... ... ...    ox.&#x & |  1  2 |  0   2 0 0  1 |  *  *   * 192  *  * |  0  0  0   0  1   2  0  1  0  0 | 0  0  0  2  1  1  2 0 |  0 1 2  1
ooo ooo3ooo3ooo *c3ooo&#x   |  2  1 |  0   2 1 0  0 |  *  *   *   * 64  * |  0  0  0   0  0   0  1  3  0  0 | 0  0  0  0  0  3  3 0 |  0 0 3  1
... ... .o. ... *c3.x.      |  0  3 |  0   0 0 0  3 |  *  *   *   *  * 64 |  0  0  0   0  0   2  0  0  1  1 | 0  0  0  2  2  0  1 1 |  0 2 1  1
----------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
... x..3o..3o..    ...    &   4  0 |  6   0 0 0  0 |  4  0   0   0  0  0 | 16  *  *   *  *   *  *  *  *  * | 1  0  2  0  0  0  0 0 |  1 2 0  0
... x..3o.. ... *c3o..    &   4  0 |  6   0 0 0  0 |  4  0   0   0  0  0 |  * 16  *   *  *   *  *  *  *  * | 1  0  0  2  0  0  0 0 |  0 2 1  0
ox. xo. ... ...    ...&#x &   2  2 |  1   4 0 1  0 |  0  2   2   0  0  0 |  *  * 96   *  *   *  *  *  *  * | 0  2  0  0  0  1  0 0 |  1 0 2  0
... xo.3oo. ...    ...&#x &   3  1 |  3   3 0 0  0 |  1  0   3   0  0  0 |  *  *  * 128  *   *  *  *  *  * | 0  1  1  1  0  0  0 0 |  1 1 1  0
... xo. ... ...    ox.&#x &   2  2 |  1   4 0 0  1 |  0  0   2   2  0  0 |  *  *  *   * 96   *  *  *  *  * | 0  0  0  2  0  1  0 0 |  0 1 2  0
... ... oo. ... *c3ox.&#x &   1  3 |  0   3 0 0  3 |  0  0   0   3  0  1 |  *  *  *   *  * 128  *  *  *  * | 0  0  0  1  1  0  1 0 |  0 1 1  1
oxo ... ... ...    ...&#x     2  2 |  0   4 1 1  0 |  0  2   0   0  2  0 |  *  *  *   *  *   * 32  *  *  * | 0  0  0  0  0  3  0 0 |  0 0 3  0
... ... ... ...    oxo&#x     2  2 |  0   4 1 0  1 |  0  0   0   2  2  0 |  *  *  *   *  *   *  * 96  *  * | 0  0  0  0  0  1  2 0 |  0 0 2  1
... .o.3.o. ... *c3.x.        0  4 |  0   0 0 0  6 |  0  0   0   0  0  4 |  *  *  *   *  *   *  *  * 16  * | 0  0  0  2  0  0  0 1 |  0 2 1  0
... ... .o.3.o. *c3.x.        0  4 |  0   0 0 0  6 |  0  0   0   0  0  4 |  *  *  *   *  *   *  *  *  * 16 | 0  0  0  0  2  0  0 1 |  0 2 0  1
----------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
... x..3o..3o.. *c3o..    &   8  0 | 24   0 0 0  0 | 32  0   0   0  0  0 |  8  8  0   0  0   0  0  0  0  0 | 2  *  *  *  *  *  * * |  0 2 0  0
ox. xo.3oo. ...    ...&#x &   3  2 |  3   6 0 1  0 |  1  3   6   0  0  0 |  0  0  3   2  0   0  0  0  0  0 | * 64  *  *  *  *  * * |  1 0 1  0
... xo.3oo.3oo.    ...&#x &   4  1 |  6   4 0 0  0 |  4  0   6   0  0  0 |  1  0  0   4  0   0  0  0  0  0 | *  * 32  *  *  *  * * |  1 1 0  0
... xo.3oo. ... *c3ox.&#x &   4  4 |  6  12 0 0  6 |  4  0  12  12  0  4 |  0  1  0   4  6   4  0  0  1  0 | *  *  * 32  *  *  * * |  0 1 1  0
... ... oo.3oo. *c3ox.&#x &   1  4 |  0   4 0 0  6 |  0  0   0   6  0  4 |  0  0  0   0  0   4  0  0  0  1 | *  *  *  * 32  *  * * |  0 1 0  1
oxo xox ... ...    oxo&#xt    4  4 |  2  16 2 2  2 |  0  8   8   8  8  0 |  0  0  4   0  4   0  4  4  0  0 | *  *  *  *  * 24  * * |  0 0 2  0
... ... ooo ... *c3oxo&#x     2  3 |  0   6 1 0  3 |  0  0   0   6  3  1 |  0  0  0   0  0   2  0  3  0  0 | *  *  *  *  *  * 64 * |  0 0 1  1
... .o.3.o.3.o. *c3.x.        0  8 |  0   0 0 0 24 |  0  0   0   0  0 32 |  0  0  0   0  0   0  0  0  8  8 | *  *  *  *  *  *  * 2 |  0 2 0  0
----------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
ox. xo.3oo.3oo.    ...&#x &   4  2 |  6   8 0 1  0 |  4  4  12   0  0  0 |  1  0  6   8  0   0  0  0  0  0 | 0  4  2  0  0  0  0 0 | 16 * *  *
... xo.3oo.3oo. *c3ox.&#x &   8  8 | 24  32 0 0 24 | 32  0  48  48  0 32 |  8  8  0  32 24  32  0  0  8  8 | 1  0  8  8  8  0  0 1 |  * 4 *  *
oxo xox3ooo ... *c3oxo&#xt    8  8 | 12  48 4 4 12 |  8 24  48  48 24  8 |  0  2 24  16 24  16 12 24  2  0 | 0  8  0  4  0  6  8 0 |  * * 8  *
... ... ooo3ooo *c3oxo&#x     2  4 |  0   8 1 0  6 |  0  0   0  12  4  4 |  0  0  0   0  0   8  0  6  0  1 | 0  0  0  0  2  0  4 0 |  * * * 16

xo3oo3ox *b3oo xo ox&#zx   → height = 0
(tegum sum of 2 mutually gyrated, lacings-orthogonal hexips)

o.3o.3o. *b3o. o. o.     | 16  *   6 1   8  0 0 | 12  24  12  8  4  0 |  4  4  24 12 12   8 12  4  0  0 | 1  8  8 12  6  2  8 0 | 2 4  4  2
.o3.o3.o *b3.o .o .o     |  * 16   0 0   8  6 1 |  0  12  24  4  8 12 |  0  0   8 12 12  24 12  4  4  4 | 0  8  2  8  6  8 12 1 | 2 4  2  4
-------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
x. .. ..    .. .. ..     |  2  0 | 48 *   *  * *   4   4   0  0  0  0 |  2  2   8  2  2   0  0  0  0  0 | 1  4  4  4  1  0  0 0 | 2 2  2  0
.. .. ..    .. x. ..     |  2  0 |  * 8   *  * *   0   0   0  8  0  0 |  0  0   0  0  0   0 12  4  0  0 | 0  0  0  0  6  0  8 0 | 0 4  0  2
oo3oo3oo *b3oo oo oo&#x  |  1  1 |  * * 128  * *   0   3   3  1  1  0 |  0  0   3  3  3   3  3  1  0  0 | 0  3  1  3  3  1  3 0 | 1 3  1  1
.. .. .x    .. .. ..     |  0  2 |  * *   * 48 *   0   0   4  0  0  4 |  0  0   0  2  0   8  2  0  2  2 | 0  4  0  0  1  4  4 1 | 2 2  0  2
.. .. ..    .. .. .x     |  0  2 |  * *   *  * 8   0   0   0  0  8  0 |  0  0   0  0 12   0  0  4  0  0 | 0  0  0  8  6  0  0 0 | 0 4  2  0
-------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
x.3o. ..    .. .. ..     |  3  0 |  3 0   0  0 0 | 64   *   *  *  *  * |  1  1   2  0  0   0  0  0  0  0 | 1  2  2  1  0  0  0 0 | 2 1  1  0
xo .. ..    .. .. ..&#x  |  2  1 |  1 0   2  0 0 |  * 192   *  *  *  * |  0  0   2  1  1   0  0  0  0  0 | 0  2  1  2  1  0  0 0 | 1 2  1  0
.. .. ox    .. .. ..&#x  |  1  2 |  0 0   2  1 0 |  *   * 192  *  *  * |  0  0   0  1  0   2  1  0  0  0 | 0  2  0  0  1  1  2 0 | 1 2  0  1
.. .. ..    .. xo ..&#x  |  2  1 |  0 1   2  0 0 |  *   *   * 64  *  * |  0  0   0  0  0   0  3  1  0  0 | 0  0  0  0  3  0  3 0 | 0 3  0  1
.. .. ..    .. .. ox&#x  |  1  2 |  0 0   2  0 1 |  *   *   *  * 64  * |  0  0   0  0  3   0  0  1  0  0 | 0  0  0  3  3  0  0 0 | 0 3  1  0
.. .o3.x    .. .. ..     |  0  3 |  0 0   0  3 0 |  *   *   *  *  * 64 |  0  0   0  0  0   2  0  0  1  1 | 0  2  0  0  0  2  1 1 | 2 1  0  1
-------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
x.3o.3o.    .. .. ..       4  0 |  6 0   0  0 0 |  4   0   0  0  0  0 | 16  *   *  *  *   *  *  *  *  * | 1  2  0  0  0  0  0 0 | 2 1  0  0
x.3o. .. *b3o. .. ..       4  0 |  6 0   0  0 0 |  4   0   0  0  0  0 |  * 16   *  *  *   *  *  *  *  * | 1  0  2  0  0  0  0 0 | 2 0  1  0
xo3oo ..    .. .. ..&#x    3  1 |  3 0   3  0 0 |  1   3   0  0  0  0 |  *  * 128  *  *   *  *  *  *  * | 0  1  1  1  0  0  0 0 | 1 1  1  0
xo .. ox    .. .. ..&#x    2  2 |  1 0   4  1 0 |  0   2   2  0  0  0 |  *  *   * 96  *   *  *  *  *  * | 0  2  0  0  1  0  0 0 | 1 2  0  0
xo .. ..    .. .. ox&#x    2  2 |  1 0   4  0 1 |  0   2   0  0  2  0 |  *  *   *  * 96   *  *  *  *  * | 0  0  0  2  1  0  0 0 | 0 2  1  0
.. oo3ox    .. .. ..&#x    1  3 |  0 0   3  3 0 |  0   0   3  0  0  1 |  *  *   *  *  * 128  *  *  *  * | 0  1  0  0  0  1  1 0 | 1 1  0  1
.. .. ox    .. xo ..&#x    2  2 |  0 1   4  1 0 |  0   0   2  2  0  0 |  *  *   *  *  *   * 96  *  *  * | 0  0  0  0  1  0  2 0 | 0 2  0  1
.. .. ..    .. xo ox&#x    2  2 |  0 1   4  0 1 |  0   0   0  2  2  0 |  *  *   *  *  *   *  * 32  *  * | 0  0  0  0  3  0  0 0 | 0 3  0  0
.o3.o3.x    .. .. ..       0  4 |  0 0   0  6 0 |  0   0   0  0  0  4 |  *  *   *  *  *   *  *  * 16  * | 0  2  0  0  0  0  0 1 | 2 1  0  0
.. .o3.x *b3.o .. ..       0  4 |  0 0   0  6 0 |  0   0   0  0  0  4 |  *  *   *  *  *   *  *  *  * 16 | 0  0  0  0  0  2  0 1 | 2 0  0  1
-------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
x.3o.3o. *b3o. .. ..       8  0 | 24 0   0  0 0 | 32   0   0  0  0  0 |  8  8   0  0  0   0  0  0  0  0 | 2  *  *  *  *  *  * * | 2 0  0  0
xo3oo3ox    .. .. ..&#x    4  4 |  6 0  12  6 0 |  4  12  12  0  0  4 |  1  0   4  6  0   4  0  0  1  0 | * 32  *  *  *  *  * * | 1 1  0  0
xo3oo .. *b3oo .. ..&#x    4  1 |  6 0   4  0 0 |  4   6   0  0  0  0 |  0  1   4  0  0   0  0  0  0  0 | *  * 32  *  *  *  * * | 1 0  1  0
xo3oo ..    .. .. ox&#x    3  2 |  3 0   6  0 1 |  1   6   0  0  3  0 |  0  0   2  0  3   0  0  0  0  0 | *  *  * 64  *  *  * * | 0 1  1  0
xo .. ox    .. xo ox&#zx   4  4 |  2 2  16  2 2 |  0   8   8  8  8  0 |  0  0   0  4  4   0  4  4  0  0 | *  *  *  * 24  *  * * | 0 2  0  0
.. oo3ox *b3oo .. ..&#x    1  4 |  0 0   4  6 0 |  0   0   6  0  0  4 |  0  0   0  0  0   4  0  0  0  1 | *  *  *  *  * 32  * * | 1 0  0  1
.. oo3ox    .. xo ..&#x    2  3 |  0 1   6  3 0 |  0   0   6  3  0  1 |  0  0   0  0  0   2  3  0  0  0 | *  *  *  *  *  * 64 * | 0 1  0  1
.o3.o3.x *b3.o .. ..       0  8 |  0 0   0 24 0 |  0   0   0  0  0 32 |  0  0   0  0  0   0  0  0  8  8 | *  *  *  *  *  *  * 2 | 2 0  0  0
-------------------------+-------+---------------+---------------------+---------------------------------+-----------------------+----------
xo3oo3ox *b3oo .. ..&#x    8  8 | 24 0  32 24 0 | 32  48  48  0  0 32 |  8  8  32 24  0  32  0  0  8  8 | 1  8  8  0  0  8  0 1 | 4 *  *  *
xo3oo3ox    .. xo ox&#zx   8  8 | 12 4  48 12 4 |  8  48  48 24 24  8 |  2  0  16 24 24  16 24 12  2  0 | 0  4  0  8  6  0  8 0 | * 8  *  *
xo3oo .. *b3oo .. ox&#x    4  2 |  6 0   8  0 1 |  4  12   0  0  4  0 |  0  1   8  0  6   0  0  0  0  0 | 0  0  2  4  0  0  0 0 | * * 16  *
.. oo3ox *b3oo xo ..&#x    2  4 |  0 1   8  6 0 |  0   0  12  4  0  4 |  0  0   0  0  0   8  6  0  0  1 | 0  0  0  0  0  2  4 0 | * *  * 16
or
o.3o.3o. *b3o. o. o.     & | 32   6  1   8 |  12  36  12 |  4  4  32 12  24  4 | 1  8 10  20  6 | 2 4  6
---------------------------+----+-----------+-------------+---------------------+----------------+-------
x. .. ..    .. .. ..     & |  2 | 96  *   *    4   4   0 |  2  2   8  2   2  0 | 1  4  4   4  1 | 2 2  2
.. .. ..    .. x. ..     & |  2 |  * 16   *    0   0   8 |  0  0   0  0  12  4 | 0  0  0   8  6 | 0 4  2
oo3oo3oo *b3oo oo oo&#x    |  2 |  *  * 128    0   6   2 |  0  0   6  3   6  1 | 0  3  2   6  3 | 1 3  2
---------------------------+----+-----------+-------------+---------------------+----------------+-------
x.3o. ..    .. .. ..     & |  3 |  3  0   0 | 128   *   * |  1  1   2  0   0  0 | 1  2  2   1  0 | 2 1  1
xo .. ..    .. .. ..&#x  & |  3 |  1  0   2 |   * 384   * |  0  0   2  1   1  0 | 0  2  1   2  1 | 1 2  1
.. .. ..    .. xo ..&#x  & |  3 |  0  1   2 |   *   * 128 |  0  0   0  0   3  1 | 0  0  0   3  3 | 0 3  1
---------------------------+----+-----------+-------------+---------------------+----------------+-------
x.3o.3o.    .. .. ..     &   4 |  6  0   0 |   4   0   0 | 32  *   *  *   *  * | 1  2  0   0  0 | 2 1  0
x.3o. .. *b3o. .. ..     &   4 |  6  0   0 |   4   0   0 |  * 32   *  *   *  * | 1  0  2   0  0 | 2 0  1
xo3oo ..    .. .. ..&#x  &   4 |  3  0   3 |   1   3   0 |  *  * 256  *   *  * | 0  1  1   1  0 | 1 1  1
xo .. ox    .. .. ..&#x      4 |  2  0   4 |   0   4   0 |  *  *   * 96   *  * | 0  2  0   0  1 | 1 2  0
xo .. ..    .. .. ox&#x  &   4 |  1  1   4 |   0   2   2 |  *  *   *  * 192  * | 0  0  0   2  1 | 0 2  1
.. .. ..    .. xo ox&#x      4 |  0  2   4 |   0   0   4 |  *  *   *  *   * 32 | 0  0  0   0  3 | 0 3  0
---------------------------+----+-----------+-------------+---------------------+----------------+-------
x.3o.3o. *b3o. .. ..     &   8 | 24  0   0 |  32   0   0 |  8  8   0  0   0  0 | 4  *  *   *  * | 2 0  0
xo3oo3ox    .. .. ..&#x      8 | 12  0  12 |   8  24   0 |  2  0   8  6   0  0 | * 32  *   *  * | 1 1  0
xo3oo .. *b3oo .. ..&#x  &   5 |  6  0   4 |   4   6   0 |  0  1   4  0   0  0 | *  * 64   *  * | 1 0  1
xo3oo ..    .. .. ox&#x  &   5 |  3  1   6 |   1   6   3 |  0  0   2  0   3  0 | *  *  * 128  * | 0 1  1
xo .. ox    .. xo ox&#zx     8 |  4  4  16 |   0  16  16 |  0  0   0  4   8  4 | *  *  *   * 24 | 0 2  0
---------------------------+----+-----------+-------------+---------------------+----------------+-------
xo3oo3ox *b3oo .. ..&#x     16 | 48  0  32 |  64  96   0 | 16 16  64 24   0  0 | 2  8 16   0  0 | 4 *  *
xo3oo3ox    .. xo ox&#zx    16 | 24  8  48 |  16  96  48 |  4  0  32 24  48 12 | 0  4  0  16  6 | * 8  *
xo3oo .. *b3oo .. ox&#x  &   6 |  6  1   8 |   4  12   4 |  0  1   8  0   6  0 | 0  0  2   4  0 | * * 32

xoxo3oooo3oxox *b3oooo&#xr   → all cyclical heights = 1/sqrt(2) = 0.707107

o...3o...3o... *b3o...     & | 32   6   8  1 |  12  36  12 |  4  4  32 12  24  4 | 1  8 10  20  6 | 2  6 4
-----------------------------+----+-----------+-------------+---------------------+----------------+-------
x... .... ....    ....     & |  2 | 96   *  *    4   4   0 |  2  2   8  2   2  0 | 1  4  4   4  1 | 2  2 2
oo..3oo..3oo.. *b3oo..&#x  & |  2 |  * 128  *    0   6   2 |  0  0   6  3   6  1 | 0  3  2   6  3 | 1  2 3
o.o.3o.o.3o.o. *b3o.o.&#x  & |  2 |  *   * 16    0   0   8 |  0  0   0  0  12  4 | 0  0  0   8  6 | 0  2 4
-----------------------------+----+-----------+-------------+---------------------+----------------+-------
x...3o... ....    ....     & |  3 |  3   0  0 | 128   *   * |  1  1   2  0   0  0 | 1  2  2   1  0 | 2  1 1
xo.. .... ....    ....&#x  & |  3 |  1   2  0 |   * 384   * |  0  0   2  1   1  0 | 0  2  1   2  1 | 1  1 2
ooo.3ooo.3ooo. *b3ooo.&#x  & |  3 |  0   2  1 |   *   * 128 |  0  0   0  0   3  1 | 0  0  0   3  3 | 0  1 3
-----------------------------+----+-----------+-------------+---------------------+----------------+-------
x...3o...3o...    ....     &   4 |  6   0  0 |   4   0   0 | 32  *   *  *   *  * | 1  2  0   0  0 | 2  0 1
x...3o... .... *b3o...     &   4 |  6   0  0 |   4   0   0 |  * 32   *  *   *  * | 1  0  2   0  0 | 2  1 0
xo..3oo.. ....    ....&#x  &   4 |  3   3  0 |   1   3   0 |  *  * 256  *   *  * | 0  1  1   1  0 | 1  1 1
xo.. .... ox..    ....&#x  &   4 |  2   4  0 |   0   4   0 |  *  *   * 96   *  * | 0  2  0   0  1 | 1  0 2
.... .... oxo.    ....&#x  &   4 |  1   4  1 |   0   2   2 |  *  *   *  * 192  * | 0  0  0   2  1 | 0  1 2
oooo3oooo3oooo *b3oooo&#x      4 |  0   4  2 |   0   0   4 |  *  *   *  *   * 32 | 0  0  0   0  3 | 0  0 3
-----------------------------+----+-----------+-------------+---------------------+----------------+-------
x...3o...3o... *b3o...     &   8 | 24   0  0 |  32   0   0 |  8  8   0  0   0  0 | 4  *  *   *  * | 2  0 0
xo..3oo..3ox..    ....&#x  &   8 | 12  12  0 |   8  24   0 |  2  0   8  6   0  0 | * 32  *   *  * | 1  0 1
xo..3oo.. .... *b3oo..&#x  &   5 |  6   4  0 |   4   6   0 |  0  1   4  0   0  0 | *  * 64   *  * | 1  1 0
.... ooo.3oxo.    ....&#x  &   5 |  3   6  1 |   1   6   3 |  0  0   2  0   3  0 | *  *  * 128  * | 0  1 1
xoxo .... oxox    ....&#xr     8 |  4  16  4 |   0  16  16 |  0  0   0  4   8  4 | *  *  *   * 24 | 0  0 2
-----------------------------+----+-----------+-------------+---------------------+----------------+-------
xo..3oo.. ox.. *b3oo..&#x  &  16 | 48  32  0 |  64  96   0 | 16 16  64 24   0  0 | 2  8 16   0  0 | 4  * *
.... ooo.3oxo. *b3ooo.&#x  &   6 |  6   8  1 |   4  12   4 |  0  1   8  0   6  0 | 0  0  2   4  0 | * 32 *
xoxo3oooo3oxox    ....&#xr    16 | 24  48  8 |  16  96  48 |  4  0  32 24  48 12 | 0  4  0  16  6 | *  * 8

oxoo3ooxo xoxo3oooo3oxox&#xt   → all heights = 1/sqrt(6) = 0.408248
(tet || pseudo tet-dual tratet || pseudo {3}-dual tratet || dual tet)

o...3o... o...3o...3o...     & | 8  *   3  9  3  0  0  0 | 3  9 18  9  18  3 0  0  0   0 | 1  3 18  9  9  3  9  9  18 1 0  0  0  0 |  6  9 3  9  9  6  3  0 0 | 3 3  3 3
.o..3.o.. .o..3.o..3.o..     & | * 24   0  3  1  2  3  6 | 0  6  3  6  12  2 1  3  9  18 | 0  3  6  1  3  3  9  9  18 1 1 12  8  6 |  3  2 1  9 12  8  3  5 2 | 1 3  5 3
-------------------------------+------+-------------------+-------------------------------+-----------------------------------------+--------------------------+---------
.... .... x... .... ....     & | 2  0 | 12  *  *  *  *  *  2  0  6  0   0  0 0  0  0   0 | 1  0  6  6  3  0  0  0   0 0 0  0  0  0 |  2  6 3  3  0  0  0  0 0 | 2 3  0 1
oo..3oo.. oo..3oo..3oo..&#x  & | 1  1 |  * 72  *  *  *  *  0  2  2  2   2  0 0  0  0   0 | 0  1  4  1  2  1  2  1   4 0 0  0  0  0 |  2  2 1  4  2  2  1  0 0 | 1 2  1 2
o.o.3o.o. o.o.3o.o.3o.o.&#x  & | 1  1 |  *  * 24  *  *  *  0  0  0  0   6  2 0  0  0   0 | 0  0  0  0  0  0  3  6   6 1 0  0  0  0 |  0  0 0  3  6  2  3  0 0 | 0 1  2 3
.x.. .... .... .... ....     & | 0  2 |  *  *  * 24  *  *  0  3  0  0   0  1 1  0  3   0 | 0  3  3  0  0  0  3  3   0 1 0  3  0  0 |  3  1 0  3  3  0  3  1 0 | 1 1  1 3
.... .... .... .... .x..     & | 0  2 |  *  *  *  * 36  *  0  0  0  2   0  0 0  2  0   4 | 0  0  0  0  1  2  0  0   4 0 1  2  4  2 |  0  0 1  3  2  4  0  2 2 | 0 3  2 1
.oo.3.oo. .oo.3.oo.3.oo.&#x    | 0  2 |  *  *  *  *  * 72  0  0  0  0   2  0 0  0  2   4 | 0  0  0  0  0  0  2  2   4 0 0  4  2  2 |  0  0 0  4  4  2  1  2 1 | 0 2  2 2
-------------------------------+------+-------------------+-------------------------------+-----------------------------------------+--------------------------+---------
.... .... x...3o... ....     & | 3  0 |  3  0  0  0  0  0 | 8  *  *  *   *  * *  *  *   * | 1  0  0  3  0  0  0  0   0 0 0  0  0  0 |  0  3 3  0  0  0  0  0 0 | 1 3  0 0
ox.. .... .... .... ....&#x  & | 1  2 |  0  2  0  1  0  0 | * 72  *  *   *  * *  *  *   * | 0  1  2  0  0  0  1  0   0 0 0  0  0  0 |  2  1 0  2  0  0  1  0 0 | 1 1  0 2
.... .... xo.. .... ....&#x  & | 2  1 |  1  2  0  0  0  0 | *  * 72  *   *  * *  *  *   * | 0  0  2  1  1  0  0  0   0 0 0  0  0  0 |  1  2 1  2  0  0  0  0 0 | 1 2  0 1
.... .... .... .... ox..&#x  & | 1  2 |  0  2  0  0  1  0 | *  *  * 72   *  * *  *  *   * | 0  0  0  0  1  1  0  0   2 0 0  0  0  0 |  0  0 1  2  1  2  0  0 0 | 0 2  1 1
ooo.3ooo. ooo.3ooo.3ooo.&#x  & | 1  2 |  0  1  1  0  0  1 | *  *  *  * 144  * *  *  *   * | 0  0  0  0  0  0  1  1   2 0 0  0  0  0 |  0  0 0  2  2  1  1  0 0 | 0 1  1 2
.... o.x. .... .... ....&#x  & | 1  2 |  0  0  2  1  0  0 | *  *  *  *   * 24 *  *  *   * | 0  0  0  0  0  0  0  3   0 1 0  0  0  0 |  0  0 0  0  3  0  3  0 0 | 0 0  1 3
.x..3.o.. .... .... ....     & | 0  3 |  0  0  0  3  0  0 | *  *  *  *   *  * 8  *  *   * | 0  3  0  0  0  0  0  0   0 1 0  0  0  0 |  3  0 0  0  0  0  3  0 0 | 1 0  0 3
.... .... .... .o..3.x..     & | 0  3 |  0  0  0  0  3  0 | *  *  *  *   *  * * 24  *   * | 0  0  0  0  0  1  0  0   0 0 1  0  2  0 |  0  0 1  0  0  2  0  1 0 | 0 3  1 0
.xo. .... .... .... ....&#x  & | 0  3 |  0  0  0  1  0  2 | *  *  *  *   *  * *  * 72   * | 0  0  0  0  0  0  1  1   0 0 0  2  0  0 |  0  0 0  2  2  0  1  1 0 | 0 1  1 2
.... .... .ox. .... ....&#x  & | 0  3 |  0  0  0  0  1  2 | *  *  *  *   *  * *  *  * 144 | 0  0  0  0  0  0  0  0   1 0 0  1  1  1 |  0  0 0  2  1  1  0  1 1 | 0 2  1 1
-------------------------------+------+-------------------+-------------------------------+-----------------------------------------+--------------------------+---------
.... .... x...3o...3o...     &  4  0 |  6  0  0  0  0  0 | 4  0  0  0   0  0 0  0  0   0 | 2  *  *  *  *  *  *  *   * * *  *  *  * |  0  0 3  0  0  0  0  0 0 | 0 3  0 0
ox..3oo.. .... .... ....&#x  &  1  3 |  0  3  0  3  0  0 | 0  3  0  0   0  0 1  0  0   0 | * 24  *  *  *  *  *  *   * * *  *  *  * |  2  0 0  0  0  0  1  0 0 | 1 0  0 2
ox.. .... xo.. .... ....&#x  &  2  2 |  1  4  0  1  0  0 | 0  2  2  0   0  0 0  0  0   0 | *  * 72  *  *  *  *  *   * * *  *  *  * |  1  1 0  1  0  0  0  0 0 | 1 1  0 1
.... .... xo..3oo.. ....&#x  &  3  1 |  3  3  0  0  0  0 | 1  0  3  0   0  0 0  0  0   0 | *  *  * 24  *  *  *  *   * * *  *  *  * |  0  2 1  0  0  0  0  0 0 | 1 2  0 0
.... .... xo.. .... ox..&#x  &  2  2 |  1  4  0  0  1  0 | 0  0  2  2   0  0 0  0  0   0 | *  *  *  * 36  *  *  *   * * *  *  *  * |  0  0 1  2  0  0  0  0 0 | 0 2  0 1
.... .... .... oo..3ox..&#x  &  1  3 |  0  3  0  0  3  0 | 0  0  0  3   0  0 0  1  0   0 | *  *  *  *  * 24  *  *   * * *  *  *  * |  0  0 1  0  0  2  0  0 0 | 0 2  1 0
oxo. .... .... .... ....&#x  &  1  3 |  0  2  1  1  0  2 | 0  1  0  0   2  0 0  0  1   0 | *  *  *  *  *  * 72  *   * * *  *  *  * |  0  0 0  2  0  0  1  0 0 | 0 1  0 2
.... oox. .... .... ....&#x  &  1  3 |  0  1  2  1  0  2 | 0  0  0  0   2  1 0  0  1   0 | *  *  *  *  *  *  * 72   * * *  *  *  * |  0  0 0  0  2  0  1  0 0 | 0 0  1 2
.... .... .... .... oxo.&#x  &  1  3 |  0  2  1  0  1  2 | 0  0  0  1   2  0 0  0  0   1 | *  *  *  *  *  *  *  * 144 * *  *  *  * |  0  0 0  1  1  1  0  0 0 | 0 1  1 1
o.o.3o.x. .... .... ....&#x  &  1  3 |  0  0  3  3  0  0 | 0  0  0  0   0  3 1  0  0   0 | *  *  *  *  *  *  *  *   * 8 *  *  *  * |  0  0 0  0  0  0  3  0 0 | 0 0  0 3
.... .... .o..3.o..3.x..     &  0  4 |  0  0  0  0  6  0 | 0  0  0  0   0  0 0  4  0   0 | *  *  *  *  *  *  *  *   * * 6  *  *  * |  0  0 1  0  0  0  0  0 2 | 0 3  0 0
.xo. .... .ox. .... ....&#x  &  0  4 |  0  0  0  1  1  4 | 0  0  0  0   0  0 0  0  2   2 | *  *  *  *  *  *  *  *   * * * 72  *  * |  0  0 0  1  1  0  0  1 0 | 0 1  1 1
.... .... .ox.3.oo. ....&#x  &  0  4 |  0  0  0  0  3  3 | 0  0  0  0   0  0 0  1  0   3 | *  *  *  *  *  *  *  *   * * *  * 48  * |  0  0 0  0  0  1  0  1 1 | 0 2  1 0
.... .... .ox. .... .xo.&#x     0  4 |  0  0  0  0  2  4 | 0  0  0  0   0  0 0  0  0   4 | *  *  *  *  *  *  *  *   * * *  *  * 36 |  0  0 0  2  0  0  0  0 1 | 0 2  0 1
-------------------------------+------+-------------------+-------------------------------+-----------------------------------------+--------------------------+---------
ox..3oo.. xo.. .... ....&#x  &  2  3 |  1  6  0  3  0  0 | 0  6  3  0   0  0 1  0  0   0 | 0  2  3  0  0  0  0  0   0 0 0  0  0  0 | 24  * *  *  *  *  *  * * | 1 0  0 1
ox.. .... xo..3oo.. ....&#x  &  3  2 |  3  6  0  1  0  0 | 1  3  6  0   0  0 0  0  0   0 | 0  0  3  2  0  0  0  0   0 0 0  0  0  0 |  * 24 *  *  *  *  *  * * | 1 1  0 0
.... .... xo..3oo..3ox..&#x  &  4  4 |  6 12  0  0  6  0 | 4  0 12 12   0  0 0  4  0   0 | 1  0  0  4  6  4  0  0   0 0 1  0  0  0 |  *  * 6  *  *  *  *  * * | 0 2  0 0
oxo. .... xox. .... oxo.&#xt &  2  6 |  1  8  2  2  3  8 | 0  4  4  4   8  0 0  0  4   8 | 0  0  2  0  2  0  4  0   4 0 0  2  0  2 |  *  * * 36  *  *  *  * * | 0 1  0 1
.... oox. .... .... oxo.&#x  &  1  4 |  0  2  2  1  1  4 | 0  0  0  1   4  1 0  0  2   2 | 0  0  0  0  0  0  0  2   2 0 0  1  0  0 |  *  * *  * 72  *  *  * * | 0 0  1 1
.... .... .... ooo.3oxo.&#x  &  1  4 |  0  3  1  0  3  3 | 0  0  0  3   3  0 0  1  0   3 | 0  0  0  0  0  1  0  0   3 0 0  0  1  0 |  *  * *  *  * 48  *  * * | 0 1  1 0
oxoo3ooxo .... .... ....&#xr    2  6 |  0  6  6  6  0  6 | 0  6  0  0  12  6 2  0  6   0 | 0  2  0  0  0  0  6  6   0 2 0  0  0  0 |  *  * *  *  *  * 12  * * | 0 0  0 2  cycle: (ABDC)
.xo. .... .ox.3.oo. ....&#x  &  0  5 |  0  0  0  1  3  6 | 0  0  0  0   0  0 0  1  3   6 | 0  0  0  0  0  0  0  0   0 0 0  3  2  0 |  *  * *  *  *  *  * 24 * | 0 1  1 0
.... .... .ox.3.oo.3.xo.&#x     0  8 |  0  0  0  0 12 12 | 0  0  0  0   0  0 0  8  0  24 | 0  0  0  0  0  0  0  0   0 0 2  0  8  6 |  *  * *  *  *  *  *  * 6 | 0 2  0 0
-------------------------------+------+-------------------+-------------------------------+-----------------------------------------+--------------------------+---------
ox..3oo.. xo..3oo.. ....&#x  &  3  3 |  3  9  0  3  0  0 | 1  9  9  0   0  0 1  0  0   0 | 0  3  9  3  0  0  0  0   0 0 0  0  0  0 |  3  3 0  0  0  0  0  0 0 | 8 *  * *
oxo. .... xox.3ooo.3oxo.&#xt &  4 12 |  6 24  4  4 18 24 | 4 12 24 24  24  0 0 12 12  48 | 1  0 12  8 12  8 12  0  24 0 3 12 16 12 |  0  4 2  6  0  8  0  4 2 | * 6  * *
.... oox. .... ooo.3oxo.&#xt &  1  5 |  0  3  2  1  3  6 | 0  0  0  3   6  1 0  1  3   6 | 0  0  0  0  0  1  0  3   6 0 0  3  2  0 |  0  0 0  0  3  2  0  1 0 | * * 24 *
oxoo3ooxo xoxo .... oxox&#xt    4 12 |  2 24 12 12  6 24 | 0 24 12 12  48 12 4  0 24  24 | 0  8 12  0  6  0 24 24  24 4 0 12  0  6 |  4  0 0  6 12  0  4  0 0 | * *  * 6

xo3oo3ox xo3oo3ox&#zx   → height = 0
(tegum sum of 2 mutually bidual tetdips)

o.3o.3o. o.3o.3o.     | 16  *   3  3   9  0  0 |  3  3  18   9  18   9  0  0 | 1 1  9 12  24  3  18  9  9  3 0 0 |  3  9  9  6  6  9  3 | 3  3 3  3
.o3.o3.o .o3.o3.o     |  * 16   0  0   9  3  3 |  0  0   9  18   9  18  3  3 | 0 0  3 12  24  9  18  3  9  9 1 1 |  3  6  9  9  9  6  3 | 3  3 3  3
----------------------+-------+-----------------+-----------------------------+-----------------------------------+----------------------+----------
x. .. .. .. .. ..     |  2  0 | 24  *   *  *  *   2  0   6   0   0   0  0  0 | 1 0  6  3   6  0   0  0  0  0 0 0 |  3  6  3  2  0  0  0 | 3  2 1  0
.. .. .. x. .. ..     |  2  0 |  * 24   *  *  *   0  2   0   0   6   0  0  0 | 0 1  0  0   0  0   6  6  3  0 0 0 |  0  0  3  0  2  6  3 | 1  0 3  2
oo3oo3oo oo3oo3oo&#x  |  1  1 |  *  * 144  *  *   0  0   2   2   2   2  0  0 | 0 0  1  2   4  1   4  1  2  1 0 0 |  1  2  4  2  2  2  1 | 2  1 2  1
.. .. .x .. .. ..     |  0  2 |  *  *   * 24  *   0  0   0   6   0   0  2  0 | 0 0  0  3   0  6   6  0  0  0 1 0 |  3  0  3  0  6  2  0 | 3  0 1  2
.. .. .. .. .. .x     |  0  2 |  *  *   *  * 24   0  0   0   0   0   6  0  2 | 0 0  0  0   6  0   0  0  3  6 0 1 |  0  2  3  6  0  0  3 | 1  2 3  0
----------------------+-------+-----------------+-----------------------------+-----------------------------------+----------------------+----------
x.3o. .. .. .. ..     |  3  0 |  3  0   0  0  0 | 16  *   *   *   *   *  *  * | 1 0  3  0   0  0   0  0  0  0 0 0 |  3  3  0  0  0  0  0 | 3  1 0  0
.. .. .. x.3o. ..     |  3  0 |  0  3   0  0  0 |  * 16   *   *   *   *  *  * | 0 1  0  0   0  0   0  3  0  0 0 0 |  0  0  0  0  0  3  3 | 0  0 3  1
xo .. .. .. .. ..&#x  |  2  1 |  1  0   2  0  0 |  *  * 144   *   *   *  *  * | 0 0  1  1   2  0   0  0  0  0 0 0 |  1  2  2  1  0  0  0 | 2  1 1  0
.. .. ox .. .. ..&#x  |  1  2 |  0  0   2  1  0 |  *  *   * 144   *   *  *  * | 0 0  0  1   0  1   2  0  0  0 0 0 |  1  0  2  0  2  1  0 | 2  0 1  1
.. .. .. xo .. ..&#x  |  2  1 |  0  1   2  0  0 |  *  *   *   * 144   *  *  * | 0 0  0  0   0  0   2  1  1  0 0 0 |  0  0  2  0  1  2  1 | 1  0 2  1
.. .. .. .. .. ox&#x  |  1  2 |  0  0   2  0  1 |  *  *   *   *   * 144  *  * | 0 0  0  0   2  0   0  0  1  1 0 0 |  0  1  2  2  0  0  1 | 1  1 2  0
.. .o3.x .. .. ..     |  0  3 |  0  0   0  3  0 |  *  *   *   *   *   * 16  * | 0 0  0  0   0  3   0  0  0  0 1 0 |  3  0  0  0  3  0  0 | 3  0 0  1
.. .. .. .. .o3.x     |  0  3 |  0  0   0  0  3 |  *  *   *   *   *   *  * 16 | 0 0  0  0   0  0   0  0  0  3 0 1 |  0  0  0  3  0  0  3 | 0  1 3  0
----------------------+-------+-----------------+-----------------------------+-----------------------------------+----------------------+----------
x.3o.3o. .. .. ..       4  0 |  6  0   0  0  0 |  4  0   0   0   0   0  0  0 | 4 *  *  *   *  *   *  *  *  * * * |  3  0  0  0  0  0  0 | 3  0 0  0
.. .. .. x.3o.3o.       4  0 |  0  6   0  0  0 |  0  4   0   0   0   0  0  0 | * 4  *  *   *  *   *  *  *  * * * |  0  0  0  0  0  0  3 | 0  0 3  0
xo3oo .. .. .. ..&#x    3  1 |  3  0   3  0  0 |  1  0   3   0   0   0  0  0 | * * 48  *   *  *   *  *  *  * * * |  1  2  0  0  0  0  0 | 2  1 0  0
xo .. ox .. .. ..&#x    2  2 |  1  0   4  1  0 |  0  0   2   2   0   0  0  0 | * *  * 72   *  *   *  *  *  * * * |  1  0  2  0  0  0  0 | 2  0 1  0
xo .. .. .. .. ox&#x    2  2 |  1  0   4  0  1 |  0  0   2   0   0   2  0  0 | * *  *  * 144  *   *  *  *  * * * |  0  1  1  1  0  0  0 | 1  1 1  0
.. oo3ox .. .. ..&#x    1  3 |  0  0   3  3  0 |  0  0   0   3   0   0  1  0 | * *  *  *   * 48   *  *  *  * * * |  1  0  0  0  2  0  0 | 2  0 0  1
.. .. ox xo .. ..&#x    2  2 |  0  1   4  1  0 |  0  0   0   2   2   0  0  0 | * *  *  *   *  * 144  *  *  * * * |  0  0  1  0  1  1  0 | 1  0 1  1
.. .. .. xo3oo ..&#x    3  1 |  0  3   3  0  0 |  0  1   0   0   3   0  0  0 | * *  *  *   *  *   * 48  *  * * * |  0  0  0  0  0  2  1 | 0  0 2  1
.. .. .. xo .. ox&#x    2  2 |  0  1   4  0  1 |  0  0   0   0   2   2  0  0 | * *  *  *   *  *   *  * 72  * * * |  0  0  2  0  0  0  1 | 1  0 2  0
.. .. .. .. oo3ox&#x    1  3 |  0  0   3  0  3 |  0  0   0   0   0   3  0  1 | * *  *  *   *  *   *  *  * 48 * * |  0  0  0  2  0  0  1 | 0  1 2  0
.o3.o3.x .. .. ..       0  4 |  0  0   0  6  0 |  0  0   0   0   0   0  4  0 | * *  *  *   *  *   *  *  *  * 4 * |  3  0  0  0  0  0  0 | 3  0 0  0
.. .. .. .o3.o3.x       0  4 |  0  0   0  0  6 |  0  0   0   0   0   0  0  4 | * *  *  *   *  *   *  *  *  * * 4 |  0  0  0  0  0  0  3 | 0  0 3  0
----------------------+-------+-----------------+-----------------------------+-----------------------------------+----------------------+----------
xo3oo3ox .. .. ..&#x    4  4 |  6  0  12  6  0 |  4  0  12  12   0   0  4  0 | 1 0  4  6   0  4   0  0  0  0 1 0 | 12  *  *  *  *  *  * | 2  0 0  0
xo3oo .. .. .. ox&#x    3  2 |  3  0   6  0  1 |  1  0   6   0   0   3  0  0 | 0 0  2  0   3  0   0  0  0  0 0 0 |  * 48  *  *  *  *  * | 1  1 0  0
xo .. ox xo .. ox&#zx   4  4 |  2  2  16  2  2 |  0  0   8   8   8   8  0  0 | 0 0  0  4   4  0   4  0  4  0 0 0 |  *  * 36  *  *  *  * | 1  0 1  0
xo .. .. .. oo3ox&#x    2  3 |  1  0   6  0  3 |  0  0   3   0   0   6  0  1 | 0 0  0  0   3  0   0  0  0  2 0 0 |  *  *  * 48  *  *  * | 0  1 1  0
.. oo3ox xo .. ..&#x    2  3 |  0  1   6  3  0 |  0  0   0   6   3   0  1  0 | 0 0  0  0   0  2   3  0  0  0 0 0 |  *  *  *  * 48  *  * | 1  0 0  1
.. .. ox xo3oo ..&#x    3  2 |  0  3   6  1  0 |  0  1   0   3   6   0  0  0 | 0 0  0  0   0  0   3  2  0  0 0 0 |  *  *  *  *  * 48  * | 0  0 1  1
.. .. .. xo3oo3ox&#x    4  4 |  0  6  12  0  6 |  0  4   0   0  12  12  0  4 | 0 1  0  0   0  0   0  4  6  4 0 1 |  *  *  *  *  *  * 12 | 0  0 2  0
----------------------+-------+-----------------+-----------------------------+-----------------------------------+----------------------+----------
xo3oo3ox xo .. ox&#zx   8  8 | 12  4  48 12  4 |  8  0  48  48  24  24  8  0 | 2 0 16 24  24 16  24  0 12  0 2 0 |  4  8  6  0  8  0  0 | 6  * *  *
xo3oo .. .. oo3ox&#x    3  3 |  3  0   9  0  3 |  1  0   9   0   0   9  0  1 | 0 0  3  0   9  0   0  0  0  3 0 0 |  0  3  0  3  0  0  0 | * 16 *  *
xo .. ox xo3oo3ox&#zx   8  8 |  4 12  48  4 12 |  0  8  24  24  48  48  0  8 | 0 2  0 12  24  0  24 16 24 16 0 2 |  0  0  6  8  0  8  4 | *  * 6  *
.. oo3ox xo3oo ..&#x    3  3 |  0  3   9  3  0 |  0  1   0   9   9   0  1  0 | 0 0  0  0   0  3   9  3  0  0 0 0 |  0  0  0  0  3  3  0 | *  * * 16
or
o.3o.3o. o.3o.3o.     & | 32   6   9 |  6  54 |  2  24  18  36 |  6  30  9 |  6  6
------------------------+----+--------+--------+----------------+-----------+------
x. .. .. .. .. ..     & |  2 | 96   *   2   6 |  1   6   3   6 |  3   8  3 |  4  2
oo3oo3oo oo3oo3oo&#x    |  2 |  * 144   0   8 |  0   4   4   8 |  2   8  4 |  4  2
------------------------+----+--------+--------+----------------+-----------+------
x.3o. .. .. .. ..     & |  3 |  3   0 | 64   * |  1   3   0   0 |  3   3  0 |  3  1
xo .. .. .. .. ..&#x  & |  3 |  1   2 |  * 576 |  0   1   1   2 |  1   3  2 |  3  1
------------------------+----+--------+--------+----------------+-----------+------
x.3o.3o. .. .. ..     &   4 |  6   0 |  4   0 | 16   *   *   * |  3   0  0 |  3  0
xo3oo .. .. .. ..&#x  &   4 |  3   3 |  1   3 |  * 192   *   * |  1   2  0 |  2  1
xo .. ox .. .. ..&#x  &   4 |  2   4 |  0   4 |  *   * 144   * |  1   0  2 |  3  0
xo .. .. .. .. ox&#x  &   4 |  2   4 |  0   4 |  *   *   * 288 |  0   2  1 |  2  1
------------------------+----+--------+--------+----------------+-----------+------
xo3oo3ox .. .. ..&#x  &   8 | 12  12 |  8  24 |  2   8   6   0 | 24   *  * |  2  0
xo3oo .. .. .. ox&#x  &   5 |  4   6 |  1   9 |  0   2   0   3 |  * 192  * |  1  1
xo .. ox xo .. ox&#zx     8 |  8  16 |  0  32 |  0   0   8   8 |  *   * 36 |  2  0
------------------------+----+--------+--------+----------------+-----------+------
xo3oo3ox xo .. ox&#zx &  16 | 32  48 | 16 144 |  4  32  36  48 |  4  16  6 | 12  *
xo3oo .. .. oo3ox&#x  &   6 |  6   9 |  2  18 |  0   6   0   9 |  0   6  0 |  * 32

xxoo xoxo xoox oxxo oxox ooxx&#zx   → all heights = 0

o... o... o... o... o... o...     & | 32   3  12 |  36  24 | 12 12  48  8 |  3  30 12 |  6  6
------------------------------------+----+--------+---------+--------------+-----------+------
x... .... .... .... .... ....     & |  2 | 48   *    8   0 |  4  4   8  0 |  2   8  4 |  2  4
oo.. oo.. oo.. oo.. oo.. oo..&#x  & |  2 |  * 192    4   4 |  2  2  10  2 |  1   8  5 |  2  4
------------------------------------+----+--------+---------+--------------+-----------+------
.... xo.. .... .... .... ....&#x  & |  3 |  1   2 | 384   * |  1  1   2  0 |  1   3  2 |  1  3
ooo. ooo. ooo. ooo. ooo. ooo.&#x  & |  3 |  0   3 |   * 256 |  0  0   3  1 |  0   3  3 |  1  3
------------------------------------+----+--------+---------+--------------+-----------+------
.... xo.. .... ox.. .... ....&#x  &   4 |  2   4 |   4   0 | 96  *   *  * |  1   2  0 |  0  3
.... xo.. .... .... ox.. ....&#x  &   4 |  2   4 |   4   0 |  * 96   *  * |  1   0  2 |  1  2
.... .... xoo. .... .... ....&#x  &   4 |  1   5 |   2   2 |  *  * 384  * |  0   2  1 |  1  2
oooo oooo oooo oooo oooo oooo&#x      4 |  0   6 |   0   4 |  *  *   * 64 |  0   0  3 |  0  3
------------------------------------+----+--------+---------+--------------+-----------+------
.... xo.. xo.. ox.. ox.. ....&#zx &   8 |  8  16 |  32   0 |  8  8   0  0 | 12   *  * |  0  2
.... .... xoo. .... oxo. ....&#x  &   5 |  2   8 |   6   4 |  1  0   4  0 |  * 192  * |  1  1
.... xoxo .... .... oxox ....&#xr &   8 |  4  20 |  16  16 |  0  4   8  4 |  *   * 48 |  0  2
------------------------------------+----+--------+---------+--------------+-----------+------
.... .... xoo. .... oxo. oox.&#x  &   6 |  3  12 |  12   8 |  0  3  12  0 |  0   6  0 | 32  *
.... xoxo xoox oxxo oxox ....&#x  &  16 | 16  64 |  96  64 | 24 16  64 16 |  2  16  8 |  * 12	prism (AB)(CD)

© 2004-2024
top of page