; April 2 2013, Chad E. Brown
; Combination of (mode312 iordmask1)
TREAT_CONJECTURE_AS_SPECIAL
true
AXIOM_DELAY
1
ENUM_START
1
ENUM_NEG
100
ENUM_FALSE
100
ENUM_EQ
2
ENUM_CHOICE
2
IMITATE_DELAY
5
PROJECT_DELAY
3
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
ALL_DEFS_AS_EQNS
true
USE_E
true
E_PERIOD
10
E_TIMEOUT
1
INSTANTIATION_ORDER_MASK
1
