Are there any examples of reading a graph back from this representation? It doesn't seem straightforward, unless I'm missing something. How do you handle the nondeterminism caused by the lossy transform in to a vector?
Regarding handling lossiness, it's not clear to what extent it needs to be handled, but the `k` mentioned in the definition of symbolic vectors is a parameter, and the larger `k` is, the less lossy the representation.