{"shas":[["93fbe176644ff06a11b96230aba843f15a954510","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","NDSymbolicTDTreeAutomaton: improve deallocation code","Ondra Lengal"]],"repo":"ondrik/libsfta","actor":"ondrik","ref":"refs/heads/antichain_temp","size":1,"head":"93fbe176644ff06a11b96230aba843f15a954510","actor_gravatar":"80a0d3345a4fd510aef1d3260f0e3545","push_id":27794065}