{"shas":[["8fc741978f048f1cdae1c469b13243f679a163a0","c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","simplifying lp2yices's output a bit","Masahiro Sakai"]],"ref":"refs/heads/master","size":1,"head":"8fc741978f048f1cdae1c469b13243f679a163a0","push_id":38025054}