simple scripts to operate on automaton dumps
maybe store cooccur in dbm too to save bits