python-automaton 925577850dd413344c762032dfae5424b12aa10c 36442c8f295e18331d91fddca42af52f4850fb74