; Dec 18 2012 - Combo of (mode257 mode306 mode307)
SPLIT_GLOBAL_DISJUNCTIONS
true
ENUM_ITER_DEEP
true
ENUM_ITER_DEEP_INIT
1
ENUM_CHOICE
20
ENUM_SORT
20
ENUM_FALSE
0
ENUM_NEG
0
USE_E
true
E_PERIOD
1000
E_TIMEOUT
3
E_EQO_EQUIV
true
