{"shas":[["a545e134e503079694d4a780f2306f4afcde5441","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Implement baProduct","Henning Günther"]],"ref":"refs/heads/improved-ltl2buchi","size":1,"head":"a545e134e503079694d4a780f2306f4afcde5441","push_id":36594814}