Automata learning algorithm. Sufferings in africa pdf. NetLog JSON. Ток за прасета.