; April 2 2013, Chad E. Brown
; Combination of (mode300 iordmask1)
ENUM_ITER_DEEP
true
ENUM_ITER_DEEP_INIT
6
ENUM_ITER_DEEP_DELAY
5000
TREAT_CONJECTURE_AS_SPECIAL
true
AXIOM_DELAY
1
ENUM_START
1
ENUM_SORT
0
ENUM_NEG
0
ENUM_EQ
0
ENUM_IMP
100
ENUM_O
100
ENUM_FALSE
100
ENUM_CHOICE
200
IMITATE_DELAY
0
PROJECT_DELAY
0
FORALL_DELAY
1
EXISTS_DELAY
15
POST_CONFRONT2_DELAY
200
POST_CONFRONT4_DELAY
200
NEW_HEAD_ENUM_DELAY
200
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
INSTANTIATION_ORDER_MASK
1
