The dictionary of strings was taking a lot of space, and is now replaced by a binary tree flattened into a string plus a small loookup function. Signed-off-by: Francesco Gazzetta <fgaz@fgaz.me>
Signed-off-by: Francesco Gazzetta <fgaz@fgaz.me>