s833 -> s835 [fontsize=11, fontname="Courier", arrowsize=.7, label = "EOF", arrowhead = normal];
