{"shas":[["4c3979a4b5a31a51d59b699db456970aa37a948d","946bdf9646b4bac65d644fc16cc38a86c367f3dc@cs.kuleuven.be","Finished redirecting symmetry breaking to extra module.","Broes De Cat"]],"ref":"refs/heads/symjo","size":1,"head":"4c3979a4b5a31a51d59b699db456970aa37a948d","push_id":35758245}