A12    classes=[(1, 2, 3)]  marginals>0: True  D_0(+)=5/16, D_0(-)=-5/8  strict: True
A24    classes=[(1, 2, 3)]  marginals>0: True  D_0(+)=1/5, D_0(-)=-1/2  strict: True
D12    classes=[(1, 2, 3)]  marginals>0: True  D_0(+)=3/20, D_0(-)=-11/20  strict: True
B12    classes=[(1, 2, 3)]  marginals>0: True  D_0(+)=1/12, D_0(-)=-3/8  strict: True
C12    classes=[(1, 2, 3)]  marginals>0: True  D_0(+)=1/4, D_0(-)=-13/20  strict: True
rep1   classes=[(1,), (2, 3)]  marginals>0: True  D_0(+)=1/40, D_0(-)=-11/40  D_1(+)=1/10, D_1(-)=-3/10  strict: True
rep2   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/4, D_0(-)=-3/8  D_1(+)=1/4, D_1(-)=-1/16  strict: True
rep3   classes=[(1, 3), (2,)]  marginals>0: True  D_0(+)=1/20, D_0(-)=-1/4  D_1(+)=1/40, D_1(-)=-11/40  strict: True
rep5   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/10, D_0(-)=-3/10  D_1(+)=1/4, D_1(-)=-1/20  strict: True
rep6   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/5, D_0(-)=-2/5  D_1(+)=1/4, D_1(-)=-1/20  strict: True
rep7   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/10, D_0(-)=-3/10  D_1(+)=1/5, D_1(-)=-1/10  strict: True
rep8   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/20, D_0(-)=-1/4  D_1(+)=11/40, D_1(-)=-1/40  strict: True
rep9   classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/10, D_0(-)=-3/10  D_1(+)=11/40, D_1(-)=-1/40  strict: True
rep10  classes=[(1, 2), (3,)]  marginals>0: True  D_0(+)=1/12, D_0(-)=-1/4  D_1(+)=1/8, D_1(-)=0  strict: False
        face point F_c(s)=-1 for the flat (c,s)=[(3, -1)]: Gamma=0, other classes: D_0(+)=1/12, D_0(-)=-1/4, strict: True
        face point F_c(s)=0 for the flat (c,s)=[(3, -1)]: Gamma=0, other classes: D_0(+)=13/96, D_0(-)=-5/32, strict: True
        face point F_c(s)=1 for the flat (c,s)=[(3, -1)]: Gamma=0, other classes: D_0(+)=3/16, D_0(-)=-1/16, strict: True
        every k: class (1, 2), s=+1: s*A_1=13/96, alpha_j=[Fraction(1, 48), Fraction(1, 32)], s*dGamma/dF(z) >= 1/12 * prod_(i>=2) marginals > 0 on the whole face
        every k: class (1, 2), s=-1: s*A_1=5/32, alpha_j=[Fraction(1, 96), Fraction(1, 12)], s*dGamma/dF(z) >= 1/16 * prod_(i>=2) marginals > 0 on the whole face
