$${80\, \mathrm{TWh}}$$