{"payload":{"header_redesign_enabled":false,"results":[{"id":"277525693","archived":false,"color":"#e34c26","followers":0,"has_funding_file":false,"hl_name":"theoremprover-museum/SEQUEL","hl_trunc_description":"Mark Tarver's SEQUEL system versions 7.0 and 5.3","language":"HTML","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":277525693,"name":"SEQUEL","owner_id":16983003,"owner_login":"theoremprover-museum","updated_at":"2020-07-06T11:40:11.329Z","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":84,"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%253Atheoremprover-museum%252FSEQUEL%2B%2Blanguage%253AHTML","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/theoremprover-museum/SEQUEL/star":{"post":"gBIwlljpkhIqXmIt7SwWbmdC7Migt1vWnpW8z6veeeO_accF08r9q3HQ6125PZZbdRnC2KecCfNyI4BZry0zvw"},"/theoremprover-museum/SEQUEL/unstar":{"post":"qHx7ox1MdOD7X-fzL0WDpJB3icOb4JUEVQ70C9C6cT91RFb3pkgXvkAeIlBc9SALjtmwefOrte8YZF2U7CssGA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"2vlTuJHN9aoN0sP1AzCQ7mumr5-hkzJGF4eLbr4oIMxbsC3xqcZ7g6zk0SWmwyWpv9otSVHCqBjc6j2t3pKlSA"}}},"title":"Repository search results"}