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 dried white beans, (soaked overnight ); 4 tbsp. oil, (olive oil or vegetable oil); 2 small 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 spice, (dried ); sea salt and black pepper to taste; 1 liter water; 1 tsp. chili pepper flakes (optional); 200 g ham, chopped for garnish (optional)