{"shas":[["3f3f7afc146a5e208ba35986ef6c4c1bfd4ac425","7613b07a577b85b61e1f2e49246c4cd13eba7dac@gmx.ch","lates latex","Gabriel Nützi"]],"ref":"refs/heads/contactGraph","size":1,"head":"3f3f7afc146a5e208ba35986ef6c4c1bfd4ac425","push_id":38706735}