5 cups water
1/2 cup pinto or romano beans
1 bay leaf
1 teaspoon celery seed
1/2 cup dry onion flakes
1 1/2 teaspoons paprika
1/2 cup red kidney beans
1/2 cup lima beans
1/2 cup split yellow peas
1 teaspoon dill weed
2 teaspoons salt
1/2 teaspoon pepper
2 cups vegetables, cubed