Instant Pot Bean Soup Recipe

Name: Instant Pot Bean Soup Recipe
Ingredients: 1/2 ounce pinto beans; 1/2 ounce black beans; 1/2 ounce lentils; 1/2 ounce split peas; 1 ounce kidney beans; 2 ounces chickpeas; 1 tablespoon olive oil; 1 1/2 ounces ham; 1 teaspoon garlic (~ 1 clove, finely chopped); 2 ounces onions (finely chopped); 2 ounces carrots (diced); 1 ounce celery (diced); 1 ounce corn; 1 bay leaf; 1 tablespoon unsalted butter; 2 1/2 cups unsalted chicken broth; 1/4 teaspoon salt; 1/4 teaspoon ground black pepper; 1 tablespoon coriander (finely chopped, more if desired)