; modification of mode245 targeting easy HO instantiations like \x y.r x y or \x y.r y x.
; major changes to the various delay flags
; targets SEV069^5.p, SEV050^5.p - does neither.
; Chad E Brown, Mar 30, 2011
ENUM_ITER_DEEP
true
ENUM_ITER_DEEP_INIT
7
ENUM_ITER_DEEP_DELAY
5
PATTERN_CLAUSES_FORALL_AS_LIT
false
SPLIT_GLOBAL_DISJUNCTIONS
true
ENABLE_PATTERN_CLAUSES
true
PATTERN_CLAUSES_DELAY
2
EXISTS_DELAY
2
FORALL_DELAY
2
DEFAULTELT_DELAY
0
DEFAULTELTINST_DELAY
0
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
0
ENUM_START
1
ENUM_ARROW
100
ENUM_O
200
ENUM_SORT
200
ENUM_NEG
50
ENUM_IMP
50
ENUM_FALSE
50
ENUM_CHOICE
50
ENUM_EQ
500
IMITATE_DEFNS
false
LEIBEQ_TO_PRIMEQ
true
IMITATE_DEFN_DELAY
1000
IMITATE_DELAY
1
PROJECT_DELAY
1
NEW_HEAD_ENUM_DELAY
4
CHOICE_EMPTY_DELAY
1
CHOICE_IN_DELAY
1
POST_OR_L_DELAY
1
POST_OR_R_DELAY
1
POST_EQO_L_DELAY
1
POST_EQO_R_DELAY
1
POST_EQO_NL_DELAY
1
POST_EQO_NR_DELAY
1
POST_NEQO_L_DELAY
1
POST_NEQO_R_DELAY
1
POST_NEQO_NL_DELAY
1
POST_NEQO_NR_DELAY
1
POST_DEC_DELAY
1000
POST_MATING_DELAY
1000
POST_FEQ_DELAY
1
POST_NFEQ_DELAY
1
POST_CONFRONT1_DELAY
1
POST_CONFRONT2_DELAY
1
POST_CONFRONT3_DELAY
1
POST_CONFRONT4_DELAY
1
DEFAULTELT_DELAY
1
DEFAULTELTINST_DELAY
1
CONFR_DIFF_DELAY
1
CONFR_SAME1_DELAY
1
CONFR_SAME2_DELAY
1
INITIAL_SUBTERMS_AS_INSTANTIATIONS
false