Replacing a 3 GB SQLite db with a 10 MB FST (finite state transducer) binary