{"payload":{"header_redesign_enabled":false,"results":[{"id":"20069933","archived":false,"color":"#e34c26","followers":323,"has_funding_file":false,"hl_name":"thomasjball/PyExZ3","hl_trunc_description":"Python Exploration with Z3","language":"HTML","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":20069933,"name":"PyExZ3","owner_id":7671657,"owner_login":"thomasjball","updated_at":"2018-06-02T23:53:10.480Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":91,"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%253Athomasjball%252FPyExZ3%2B%2Blanguage%253AHTML","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/thomasjball/PyExZ3/star":{"post":"qsvpY4ElnW-5Mev6AOQTUN5KSdc29bqZLiuw_dpDSJVSCtZLVL_WOoDSNuOrY96YDcMNRnRm0pYr_Gnb7UpJEA"},"/thomasjball/PyExZ3/unstar":{"post":"2BAis4Iprn22Ml3r1B-5cXZC1pUllREzaW8FOcm8URp79tkE9zMxL_W2mB-RGTH21lKqYY4Jxd7HCE1hYpDuRw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"uzXKZPPire4F2fzHQl4zHigfQbBv3QCdzRRvgQdBTM1oKooyIk-D1cMZBZu8Z9FAo312Fn73iE6u98LJrXU8Cw"}}},"title":"Repository search results"}