{"payload":{"header_redesign_enabled":false,"results":[{"id":"136225950","archived":false,"color":null,"followers":39,"has_funding_file":false,"hl_name":"matt-noonan/gdp-paper","hl_trunc_description":"Ghosts of Departed Proofs","language":"SMT","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":136225950,"name":"gdp-paper","owner_id":14229603,"owner_login":"matt-noonan","updated_at":"2018-08-13T14:49:17.201Z","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":57,"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%253Amatt-noonan%252Fgdp-paper%2B%2Blanguage%253ASMT","metadata":null,"csrf_tokens":{"/matt-noonan/gdp-paper/star":{"post":"0CBjsHTq-4s4-MC7Odp74S_8aRxxmt05My4dBcmgqAG6-M-qs4AKDvYw7_kmp4gZvzidxaAsNVSfRHq5iltg9Q"},"/matt-noonan/gdp-paper/unstar":{"post":"t6e5MSMGOojfZ_T8ZiG7Qnlo4PJ4iXp1TvgaNhxLWwMaFvtfcYbL06tzTcMWjo3tabNJUw3zEeOvhuuB4fhwAA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"MZz4L_1uY7knLZ-UKgq26vP-n0pDR-PVi3WYWQP3-lhiizNdKoYB2iX1DYP0KYn3e9urxzuu7ZxzGjXmHoowDw"}}},"title":"Repository search results"}