syopb = {b2 -> bz, b1 -> bz, a1f2 -> azfz, a1f3 -> azf3, a2f1 -> azfz, a2f3 -> azf3, a3f1 -> a3fz, a3f2 -> a3fz, a12 -> azz, a13 -> az3, a21 -> azz, a23 -> az3, a31 -> a3z, a32 -> a3z, af21 -> afzz, af23 -> afz3, af32 -> af3z, af13 -> afz3, af31 -> af3z, af12 -> afzz, u2b1r23 -> uzbzrz3, u3b2r31 -> u3bzr3z, uzb3rzz -> uzb3rzz, u1b2r13 -> uzbzrz3, u3b1r32 -> u3bzr3z, u2b3r21 -> uzb3rzz, u3b12r3 -> u3bzzr3, u1b23r1 -> uzbz3rz, u2b31r2 -> uzb3zrz, u3b21r3 -> u3bzzr3, u2b13r2 -> uzbz3rz, u1b32r1 -> uzb3zrz, u2b12r3 -> uzbzzr3, u3b23r1 -> u3bz3rz, u1b31r2 -> uzb3zrz, u1b21r3 -> uzbzzr3, u3b13r2 -> u3bz3rz, u2b32r1 -> uzb3zrz, u3b1r23 -> u3bzrz3, u1b2r31 -> uzbzr3z, u2b3r12 -> uzb3rzz, u3b2r13 -> u3bzrz3, u2b1r32 -> uzbzr3z, u1b3r21 -> uzb3rzz}