Instant pot White Beans Soup (30 minutes)

Name: Instant pot White Beans Soup (30 minutes)
Prep time: 10 min
Cook time: 20 min
Total time: 30 min
Cuisine: European
Ingredients: 500 g. (17oz) dried white beans (soaked overnight ); 4 tbsp. oil (olive oil or vegetable oil); 1/2 cup carrots (diced); 1 onion (minced); 1 minced red bell pepper (fresh or dry); 2 tbsp. tomato paste (or 1/3 canned tomatoes ); 1 tsp. lovage (dried); 1 tsp. spearmint (dried); 1 tsp. savory (dried ); salt and black pepper to taste; 1 liter of water (0.26 gallons); 1 tsp. chili pepper flakes (optional); 200 g ham, chopped for garnish (optional)