{"shas":[["24392c424c4c0b3ceb90522eef22a5b90f5cb670","7e64cf1ce727bfa26d853b0e69ede0e92e0173dd@polytechnique.edu","minor adaptation","David Chavalarias"]],"ref":"refs/heads/master","size":1,"head":"24392c424c4c0b3ceb90522eef22a5b90f5cb670","push_id":36703409}