寝てる間の元気計算だけど、起きてるときと同様にタイムリーに計算されてる説を推す。
寝る前と寝たあとで
ドードリオ114→114で2.5倍計算、バタフリー45→100で2倍計算だった。
平均ぽい数字で計算されてる。
寝てる間は2.2倍説とか、元気50固定説とかもあるけど、寝る前の元気で説明つく。