$0=2^int(1+13/9*log($0))