Output the skiplist in graphviz dot format for visualisation and debugging purposes.
Reads the state value from the buffer