----------------------------------------
|context> => |context: permutation table>

supported-ops |X> => |op: Pab> + |op: Pac> + |op: Pbc>
Pab |X> => |0>
Pac |X> => |0>
Pbc |X> => |0>

supported-ops |*> => |op: Pba> + |op: Pca> + |op: Pcb> + |op: Pabc> + |op: Pacb>
Pba |*> #=> Pab |_self>
Pca |*> #=> Pac |_self>
Pcb |*> #=> Pbc |_self>
Pabc |*> #=> Pac Pab |_self>
Pacb |*> #=> Pbc Pab |_self>

supported-ops |Y> => |op: Pab> + |op: Pac> + |op: Pbc>
Pab |Y> => |Y>
Pac |Y> => |Y>
Pbc |Y> => |Y>

supported-ops |X1> => |op: Pab> + |op: Pac> + |op: Pbc>
Pab |X1> => |0>
Pac |X1> => -1.0|X3>
Pbc |X1> => |X2>

supported-ops |X2> => |op: Pab> + |op: Pac> + |op: Pbc>
Pab |X2> => |X3>
Pac |X2> => |0>
Pbc |X2> => |X1>

supported-ops |X3> => |op: Pab> + |op: Pac> + |op: Pbc>
Pab |X3> => |X2>
Pac |X3> => -1.0|X1>
Pbc |X3> => |0>

supported-ops |Y1> => |op: Pac> + |op: Pab> + |op: Pbc>
Pac |Y1> => |Y3>
Pab |Y1> => |Y1>
Pbc |Y1> => |Y2>

supported-ops |Y2> => |op: Pac> + |op: Pab> + |op: Pbc>
Pac |Y2> => |Y2>
Pab |Y2> => |Y3>
Pbc |Y2> => |Y1>

supported-ops |Y3> => |op: Pac> + |op: Pab> + |op: Pbc>
Pac |Y3> => |Y1>
Pab |Y3> => |Y2>
Pbc |Y3> => |Y3>

supported-ops |0> => |op: Pac> + |op: Pab> + |op: Pbc>
Pac |0> => |0>
Pab |0> => |0>
Pbc |0> => |0>
----------------------------------------