; Chad E Brown
; Apr 03 2012
; mode0d with BASETYPESFINITE true, BASETYPESMAXSIZE 1
; Can only be used with -N option
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
SPLIT_GLOBAL_DISJUNCTIONS
true
LEIBEQ_TO_PRIMEQ
true
BASETYPESFINITE
true
BASETYPESMAXSIZE
1
