{"head":"e97854f89660cd55e2e372ab1391a41d08cb19e2","size":1,"push_id":45756388,"shas":[["e97854f89660cd55e2e372ab1391a41d08cb19e2","13ba2e9de9ead0ea0b5f47504fb3a80bb9b1ee3b@uni-ulm.de","corrected cost functions","Simon G"]],"ref":"refs/heads/master"}