{"shas":[["2273ab63467d40059db984321b96bc945a735625","847778aa388f77f93e4d866e4b859ec40f55ccd0@gmail.com","Proved that games terminate. (Again, to precise.)","Wojtek"]],"ref":"refs/heads/SplitingImplementationAndLemmas","size":1,"head":"2273ab63467d40059db984321b96bc945a735625","push_id":34074621}