pub const M_0_IDX: usize = 15;
The index of the column containing the multiplicity of the first wire.