recipes-in-latex/instant-pot-pinto-beans/build/instant-pot-hard-boiled-eggs.aux