U2,4, P={1,2}|{3,4}: #layer partitions=4, dim(Sigma+R_P)=3, 2dim-dimR_P=4, r~(P)=6
r'(E)=3 (optimal partition sizes [4])
bound d+k-1 = 3 ; sum r(P_i) = 4
