We study a coset vertex operator algebra (VOA)
in the lattice VOA
. We show that
the coset VOA
is generated by nine Ising vectors such that any two Ising vectors generate a
subVOA
, and
the group generated by the corresponding Miyamoto involutions has shape
.
This gives an explicit example for Majorana representations of the group
of
-pure
type.