TeX source:
t=-5\log_2(72)