Graphical structures for design and verification of quantum error correction