{"head":"a72984c5ed27c2ad1ba642e258f3cefdd80a546c","size":1,"push_id":45183326,"shas":[["a72984c5ed27c2ad1ba642e258f3cefdd80a546c","e7b16791bb505733357139208fac489d81c7842a@googlemail.com","puzzle v2 finished","Martin J. Kurz"]],"ref":"refs/heads/master"}