Ordering of nested square roots of 2 according to the Gray code