Bochkarev
Основная идея алгоритма, если из некоторого множества состояний по 1 символу существуют переходы в разные множества, значит исходное множе
05:02
+300