I've checked this several times and I'm not getting it.
Trip of 124.8 miles, 300 Wh/mi average. 100 kWh battery started at 76%, ended at 33%, so 43 kWh used if no degradation.
124.8 miles * 0.300 kWh/mi = 37.44 kWh
+ 33 kWh remaining = 70.44 kWh starting.
Wait... that's 5.56 kWh short...