print vector clock as JSON