{
    "creationtime": "2019-02-08T13:35 CET (comp)",
    "error-programhash": "Key 'programhash' not present.",
    "error-specification-exists": "Key 'specification' not present.",
    "witness-file": "fileByHash/70d6ff6a5990fa32d1b0f7bc8218e41a6708816cc553cf4e75a6a6b282e1f883.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "70d6ff6a5990fa32d1b0f7bc8218e41a6708816cc553cf4e75a6a6b282e1f883",
    "witness-size": 241,
    "witness-type": "test-suite"
}