Figure 11.

(a) Oriented state expansion; (b) Reduction rules for the arrow polynomial; and (c) a component with one (${\mathsf{\Lambda }}_1$) and two zig-zags (${\mathsf{\Lambda }}_2$), respectively.