Coloque los jarretes de jamón y el agua en la olla a presión a fuego medio. Cubra y bloquee; lleve a 15 libras de presión, reduzca el fuego a bajo y cocine durante 20 minutos. Libere la presión inmediatamente utilizando el método recomendado por el fabricante. Retire los jarretes de jamón cocidos con una cuchara ranurada; transfiéralos a un tazón para que se enfríen. Separe la carne del hueso. Transfiera el caldo de jamón a otro tazón para usarlo más tarde.

Caliente el aceite de oliva en la olla a presión a fuego medio; cocine y revuelva la cebolla, las zanahorias, el apio y el ajo hasta que estén tiernos y reducidos, aproximadamente 20 minutos.

Agregue las lentejas, 8 tazas de caldo de jamón, tomillo y hoja de laurel; cubra y bloquee. Lleve la presión a 15 libras durante 6 minutos; libere la presión inmediatamente.