On Reducing Specification Length Using a Radix-Like Data Structure