Does it exists a tool that makes a conversion from a binary NTv1, NTv2 or CTABLE format to an ascii format ? If not, does it exists some documentation about these formats ? thanks!