reverted lock time formula