{"head":"3f8baf5ca242402d4b1897271a1a2ce648a5abcc","size":1,"push_id":44286226,"shas":[["3f8baf5ca242402d4b1897271a1a2ce648a5abcc","5886a5de6d60d19d381789992a98557fba6cdc22@fit.vutbr.cz","LTE caching in bottom-up inclusion for explicit automata","Jiri Simacek"]],"ref":"refs/heads/master"}