{"shas":[["50a1bcde8db617019e288be5de372e2d808fd29c","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Begin better restriction merging","Henning Günther"]],"ref":"refs/heads/improved-ltl2buchi","size":1,"head":"50a1bcde8db617019e288be5de372e2d808fd29c","push_id":36258757}