@KitRedgrave HAHA AWESOME
if I'm reading this write it loads it all into racket hashtables and then serializes them as racket files https://github.com/webyrd/mediKanren/blob/master/code/db.rkt