pub const READ_NUM_EVAL_IDX: usize = 12;
The index of the column containing the index of the first wire being evaluated.