0  NoSelection
a  SelectNegativeLiterals
b  PSelectNegativeLiterals
c  SelectPureVarNegLiterals
d  PSelectPureVarNegLiterals
e  SelectLargestNegLit
f  PSelectLargestNegLit
g  SelectSmallestNegLit
h  PSelectSmallestNegLit
i  SelectDiffNegLit
j  PSelectDiffNegLit
k  SelectGroundNegLit
l  PSelectGroundNegLit
m  SelectOptimalLit
n  PSelectOptimalLit
o  SelectCondOptimalLit
p  PSelectCondOptimalLit
q  SelectAllCondOptimalLit
r  PSelectAllCondOptimalLit
s  SelectOptimalRestrDepth2
t  PSelectOptimalRestrDepth2
u  SelectOptimalRestrPDepth2
v  PSelectOptimalRestrPDepth2
w  SelectOptimalRestrNDepth2
x  PSelectOptimalRestrNDepth2
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
60 MSelectComplexExceptUniqMaxHorn
70 MSelectLargestOrientable
aD MSelectSmallestOrientable
a0 SelectMinInfpos
a1 PSelectMinInfpos
a2 HSelectMinInfpos
a3 GSelectMinInfpos
a4 SelectMinInfposNoTypePred
a5 PSelectMinInfposNoTypePred
b0 SelectMin2Infpos
b1 PSelectMin2Infpos
c0 SelectComplexExceptUniqMaxPosHorn
c1 PSelectComplexExceptUniqMaxPosHorn
I1 SelectUnlessUniqMaxSmallestOrientable
I2 PSelectUnlessUniqMaxSmallestOrientable
S1 SelectNewComplex
T1 PSelectNewComplex
51 SelectNewComplexExceptUniqMaxHorn
61 PSelectNewComplexExceptUniqMaxHorn
0a SelectDivLits
0c SelectDivPreferIntoLits
0e SelectMaxLComplexG
0g SelectMaxLComplexAvoidPosPred
0i SelectMaxLComplexAvoidPosUPred


