{"shas":[["e09806743b0a84e4c90ba15d0f0a49ce2daba0f0","c8abd265b9497fc346f8e16520f19f029e5998d0@gmail.com","New terminal predicate and dining philosophers problem","Gian Perrone"]],"ref":"refs/heads/master","size":1,"head":"e09806743b0a84e4c90ba15d0f0a49ce2daba0f0","push_id":38427233}