{"shas":[["b54fcb408ce4beebe656fa06a5e690014663f2c8","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Parse timed operators","Henning Günther"]],"ref":"refs/heads/time-concepts","size":1,"head":"b54fcb408ce4beebe656fa06a5e690014663f2c8","push_id":37346233}