The bounds used in this table are mainly based on
Table III of the paper
[CRSS98].
For the construction of the quantum circuits a modified version of the
algorithm presented in [ClGo97] was used.
The algorithm is implemented in
MAGMA.
In addition to the stabilizer, encoded X-operators
(seed generators) are given. The first gates of the circuits
operate on the input qubits only. Those gates can be omitted, but
with them the encoded X-operators correspond directly
to X-operators on the input qubits.