; Feb 4 2011
; Target Injective Cantor with Choice.
ENUM_ITER_DEEP
true
ENUM_START
0
ENUM_ITER_DEEP_INIT
6
ENUM_FALSE
4
ENUM_IMP
0
ENUM_FORALL
100
ENUM_EQ
0
ENUM_CHOICE
0
ENUM_ARROW
1
ENUM_O
1
ENUM_SORT
1
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

