My computations show that, if you are given the encoding , then, letting (integer part of (...)), you have and you deduce .

A hint about the origin of my formula: the number inside the integer part is the positive solution to the equation . And you must have (if you know where your formula comes from, this should be clear)