bugfix in fingerprint indexing; pretty printing of index
bugfix in fingerprint indexing; pretty printing of index

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition