{"shas":[["722cc53bc92759437191ed9245cd260c71738177","da5bda15429069acc6ed61fb455704a0a12c24c3@epfl.ch","runs on minimal input","Jacques Rougemont"]],"ref":"refs/heads/master","size":1,"head":"722cc53bc92759437191ed9245cd260c71738177","push_id":40483725}