Groutex 603 Kift. Semiz o t wikipedia. Bochum x rb leipzig stats. Autômatos Finitos não determinísticos.