{"head":"02e05073ebf9d2da085eb856f1757ed926373c74","size":1,"push_id":44735583,"shas":[["02e05073ebf9d2da085eb856f1757ed926373c74","cf8cc836d28b700e16f73072706458c0c2e7bfc9@geogebra.org","Versionnumber","Christoph Reinisch"]],"ref":"refs/heads/master"}