| CaMc,a,i | (∀a ∈ {1, 2}) (∀i ∈ ℐ), |
| CaMn,a,i | (∀a ∈ {1, 2}) (∀i ∈ ℐ), |
| CaMc,1,iCaMc,2,i | (∀i ∈ ℐ), |
| CaMn,1,iCaMn,2,i | (∀i ∈ ℐ), |
| boundi,jCaMc,1,iCaMc,2,i | (∀i ∈ ℐ) (∀j ∈ 𝒥), |
| boundi,jCaMn,1,iCaMn,2,i | (∀i ∈ ℐ) (∀j ∈ 𝒥), |
| Kkpjboundi,j | (∀i ∈ ℐ) (∀j ∈ 𝒥), |
| KkpjKkpj′dimerjj′ | (∀j < j′|j, j′ ∈ 𝒥). |