{"payload":{"header_redesign_enabled":false,"results":[{"id":"70186243","archived":true,"color":"#3572A5","followers":18,"has_funding_file":false,"hl_name":"sosy-lab/sv-witnesses","hl_trunc_description":"An Exchange Format for Verification Witnesses (MOVED, please follow the link)","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":70186243,"name":"sv-witnesses","owner_id":16129993,"owner_login":"sosy-lab","updated_at":"2022-09-24T07:37:17.092Z","has_issues":true}},"sponsorable":false,"topics":["verification","software-verification","witness","witness-validation"],"type":"Public archive","help_wanted_issues_count":2,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":67,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Asosy-lab%252Fsv-witnesses%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/sosy-lab/sv-witnesses/star":{"post":"FNLK-ecDsvq3WW2sO8MRlA_WBnNQT8_JxoIiGw-oQf-3aXpBVGp3Ma7hCh7pVOk-RawUhLl_NGI2yYFAGA9rUg"},"/sosy-lab/sv-witnesses/unstar":{"post":"wFZXBAS9ZzRzGNSwZ-PG2i-Hlxc_35SSTUOjJzOWxY0Uth1D7c-IhqDTxIqFTR7u4kOhxfTRBbbFgDvLAzW5Eg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"yAZh7Eq9-RYl1gCgnZ7syOC_aBGpvhhw6FbCq5cXDZnRE6Bx366AFOhXuXheOTbYwjZJlfdng8RP8nycmwcnUA"}}},"title":"Repository search results"}