; Feb 4 2011
ENUM_ITER_DEEP
true
ENUM_START
0
ENUM_ITER_DEEP_INIT
4
ENUM_FALSE
400
ENUM_IMP
100
ENUM_FORALL
100
ENUM_EQ
0
ENUM_CHOICE
0
ENUM_ARROW
100
ENUM_O
100
ENUM_SORT
0
IMITATE_DELAY
0
PROJECT_DELAY
0
FORALL_DELAY
30
EXISTS_DELAY
30
POST_CONFRONT2_DELAY
200
POST_CONFRONT4_DELAY
200
NEW_HEAD_ENUM_DELAY
200
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false

