Have you tried using a textual .dump followed by a compression stage, be it `gzip`, `bzip2`, `xz`, or `zstd` ? Would that get you back into a size range you would consider acceptable ? Note that AFAIK no binary .dump format has been defined for sqlite itself.