clear all
make initial state
HLT
Felsch
steps
Reidemeister Schreier
reduction
table form
data form
0
not finished