(12) ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 0 N ( W 1 , K ( k − , k + ) ∪ L ∪ J , α ) {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\mathcal{S}_{0}^{N}(W_{1};K(k^{-},k^{+})\cup L\cup J,\alpha)} ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 0 N ( W 1 , K ( k − + s − , k + + s + ) ∪ L , α ) {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\mathcal{S}_{0}^{N}(W_{1};K(k^{-}+s^{-},k^{+}+s^{+})\cup L,\alpha)} ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 ¯ 0 N , α ( W 1 , K , L ∪ J ) {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\underline{\mathcal{S}\mkern-3.0mu}\mkern 3.0mu_{0}^{N,\alpha}(W_{1};K,L\cup J)} ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 ¯ 0 N , α ( W 1 , K , L ) {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\underline{\mathcal{S}\mkern-3.0mu}\mkern 3.0mu_{0}^{N,\alpha}(W_{1};K,L)} ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 0 N ( W 2 , L ∪ J , α ) {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\mathcal{S}_{0}^{N}(W_{2};L\cup J,\alpha)} ⨁ α ∈ ⟨ α ′ ⟩ 𝒮 0 N ( W 2 , L , α ) . {\lx@inpgf@ignorespaces\underset{\alpha\in\langle\alpha^{\prime}\rangle}{\bigoplus}\mathcal{S}_{0}^{N}(W_{2};L,\alpha).} Ψ I × ∂ W 1 ; Σ − , α ′ \scriptstyle{\lx@inpgf@ignorespaces\Psi_{I\times\partial W_{1};\Sigma_{-},\alpha^{\prime}}} Ψ ¯ I × ∂ W 1 ; Σ − , α ′ \scriptstyle{\lx@inpgf@ignorespaces\underline{\Psi}_{I\times\partial W_{1};\Sigma_{-},\alpha^{\prime}}} Φ \scriptstyle{\lx@inpgf@ignorespaces\Phi} ≅ \scriptstyle{\lx@inpgf@ignorespaces\cong} Φ \scriptstyle{\lx@inpgf@ignorespaces\Phi} ≅ \scriptstyle{\lx@inpgf@ignorespaces\cong} Ψ I × Y ; Δ − , α ′ \scriptstyle{\lx@inpgf@ignorespaces\Psi_{I\times Y;\Delta_{-},\alpha^{\prime}}}