https://www.clocktowerhistoricstaunton.com/cooking/often-asked-how-long-to-cook-red-lentils-in-instant-pot/