pub const ENCODING_ENC_CNOT_Z_P_Z_: ENCODING = 2792;