Chunky vegetable instant pot soup

Name: Chunky vegetable instant pot soup
Cuisine: Asian
Ingredients: 1 yellow onion diced; 2 cloves of garlic minced; 3 ribs of celery cut into quarter inch crescents; 6 medium carrots peeled and cut into rounds; 2 yellow potatoes washed and large diced; 1.5 cups frozen Lima beans; 1 14.5 ounce can of fire roasted diced tomatoes; 1 can chickpeas drained and rinsed; 1 tsp dried basil; 1 tsp dried marjoram; 2 tbsp tamari; 4 cups vegetable broth; 1 cup water; 1/3+ cup of quinoa rinsed; 1 pinch Red pepper flakes (optional); 1 cup of uncooked ditalini pasta; 0.5 dry green lentils (rinsed)