%s _overintegers --initialIdeal -m
