DATも整数型にしてちゃんと詰め込めば小さくはなるけど、詰め込み変換が難しいならTXTのほうがいいかもね。