0  NoSelection
a  SelectNegativeLiterals
b  PSelectNegativeLiterals
e  SelectLargestNegLit
f  PSelectLargestNegLit
g  SelectSmallestNegLit
h  PSelectSmallestNegLit
i  SelectDiffNegLit
j  PSelectDiffNegLit
m  SelectOptimalLit
n  PSelectOptimalLit
y  SelectNonRROptimalLit
z  PSelectNonRROptimalLit
A  SelectNonStrongRROptimalLit
B  PSelectNonStrongRROptimalLit
C  SelectAntiRROptimalLit
D  PSelectAntiRROptimalLit
E  SelectNonAntiRROptimalLit
F  PSelectNonAntiRROptimalLit
G  SelectStrongRRNonRROptimalLit
H  PSelectStrongRRNonRROptimalLit
I  SelectUnlessUniqMax
J  PSelectUnlessUniqMax
K  SelectUnlessPosMax
L  PSelectUnlessPosMax
M  SelectUnlessUniqPosMax
N  PSelectUnlessUniqPosMax
O  SelectMinOptimalLit
P  PSelectMinOptimalLit
O1 SelectMinOptimalNoTypePred
P1 PSelectMinOptimalNoTypePred
O2 SelectMinOptimalNoXTypePred
P2 PSelectMinOptimalNoXTypePred
O3 SelectMinOptimalNoRXTypePred
P3 PSelectMinOptimalNoRXTypePred
Q  SelectUnlessUniqMaxPos
R  PSelectUnlessUniqMaxPos
S  SelectComplex
T  PSelectComplex
U  SelectComplexExceptRRHorn
V  PSelectComplexExceptRRHorn
W  SelectLComplex
X  SelectLComplex
Y  SelectMaxLComplex
Z  PSelectMaxLComplex
Y1 SelectMaxLComplexNoTypePred 
Z1 PSelectMaxLComplexNoTypePred 
Y2 SelectMaxLComplexNoXTypePred 
Z2 PSelectMaxLComplexNoXTypePred 
1  SelectComplexPreferNEQ
2  PSelectComplexPreferNEQ
3  SelectComplexPreferEQ
4  PSelectComplexPreferEQ
5  SelectComplexExceptUniqMaxHorn
6  PSelectComplexExceptUniqMaxHorn
7  SelectLargestOrientable
8  PSelectLargestOrientable
9  SelectSmallestOrientable
aa PSelectSmallestOrientable
a0 SelectMinInfpos
a1 PSelectMinInfpos
b0 SelectMin2Infpos
b1 PSelectMin2Infpos
c0 SelectComplexExceptUniqMaxPosHorn
c1 PSelectComplexExceptUniqMaxPosHorn
I1 SelectUnlessUniqMaxSmallestOrientable
I2 PSelectUnlessUniqMaxSmallestOrientable
S1 SelectNewComplex
T1 PSelectNewComplex
51 SelectNewComplexExceptUniqMaxHorn
61 PSelectNewComplexExceptUniqMaxHorn




