{"shas":[["44fcfe80303c1068947853321cdfd8943c2eff49","9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk","Data updates (w.r.t. SplittingViaOKsolver).","Oliver Kullmann"]],"ref":"refs/heads/master","size":1,"head":"44fcfe80303c1068947853321cdfd8943c2eff49","push_id":33209801}