{"payload":{"header_redesign_enabled":false,"results":[{"id":"164835598","archived":false,"color":"#3572A5","followers":0,"has_funding_file":false,"hl_name":"euske/symex","hl_trunc_description":"Symbolic Execution for Python","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":164835598,"name":"symex","owner_id":143989,"owner_login":"euske","updated_at":"2020-10-26T05:55:14.968Z","has_issues":true}},"sponsorable":false,"topics":["python","testing","symbolic-execution","z3","program-analysis"],"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":58,"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%253Aeuske%252Fsymex%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/euske/symex/star":{"post":"yoYrDDmSNteumY0nrbT4yVGe-jGTIPM_OptyyyPT17HfWdHjjfMOFOdhtnAGayuptZ-zdr99giJ7pjbaZpr0BA"},"/euske/symex/unstar":{"post":"OO_tGARUdbPPvjSjBxKCUUhrETpxtVNAmi5gkLXHBD07gym6PCx7EStLeOB8jy1MWr-68k43ycMSuxL5o1d6NQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"SnaWSS4Z1NiNiNaSskUWA-MEorRWi_pkWx2Fs7zZXrH0Y7uwjn-dRAL6AiKd-cYItHH_nRm47KZwyM4OVzOSeQ"}}},"title":"Repository search results"}