{"shas":[["9a347aa50720b7a28852e6bc1a23a8a7aed0a30a","3ea98972f80ef80c4e9177db5db873a352fb9e52@gmail.com","CSolver cleanup","Pengu MC"]],"ref":"refs/heads/solver-improvement","size":1,"head":"9a347aa50720b7a28852e6bc1a23a8a7aed0a30a","push_id":33327504}