; Chad E Brown
; Jan 27 2012
; Default flag settings except with INSTANTIATE_WITH_FUNC_DISEQN_SIDES false, SPLIT_GLOBAL_DISJUNCTIONS true, LEIBEQ_TO_PRIMEQ true
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
SPLIT_GLOBAL_DISJUNCTIONS
true
LEIBEQ_TO_PRIMEQ
true
