I think more important than the raw energy and oxygen is sourcing the water

yeah i actually believe that too. i calculated somewhere that it takes around 10 kWh per kg of water extracted from the soil, assuming you follow this process and assuming a 30% water content in the regolith.

So yes, total energy consumption is a bit higher, but it’s only a rough estimate to give you an idea of the order of magnitude that we’re talking about.

Also i wrote about food production here.