digraph "finite_state_machine" {
	graph [
		fontsize = "14"
		fontname = "Times-Roman"
		fontcolor = "black"
		color = "black"
	]
	node [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	edge [
		fontsize = "14"
		fontname = "Times-Roman"
		fontcolor = "black"
		color = "black"
	]
	"start" [
		fontsize = "1"
		fontname = "Times-Roman"
		fontcolor = "white"
		height = ".001"
		shape = "box"
		color = "white"
		width = ".001"
	]
	"0" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "doublecircle"
		color = "black"
		width = ".001"
	]
	"1" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"2" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"3" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"4" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"5" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"6" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"7" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"8" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"9" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"10" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"11" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"12" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"13" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"14" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"15" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"16" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"17" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		height = ".001"
		shape = "circle"
		color = "black"
		width = ".001"
	]
	"start" -> "0" [
		fontsize = "14"
		fontname = "Times-Roman"
		fontcolor = "black"
		color = "black"
	]
	"0" -> "1" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"1" -> "2" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"2" -> "3" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"2" -> "4" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"3" -> "5" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"3" -> "6" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"4" -> "5" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"4" -> "0" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"5" -> "7" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"5" -> "1" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"6" -> "8" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
	"7" -> "9" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"7" -> "2" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"8" -> "10" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"8" -> "7" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"9" -> "11" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"9" -> "3" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"10" -> "9" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"10" -> "12" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"11" -> "6" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"11" -> "13" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
	"12" -> "14" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"12" -> "15" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"12" -> "8" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
	"13" -> "16" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"13" -> "8" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"14" -> "17" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a2"
		color = "black"
		constraint = "false"
	]
	"14" -> "12" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"14" -> "10" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
	"15" -> "17" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "a1"
		color = "black"
		constraint = "false"
	]
	"15" -> "12" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"15" -> "13" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
	"16" -> "15" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"16" -> "10" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"17" -> "15" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b1"
		color = "black"
		constraint = "false"
	]
	"17" -> "14" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "b2"
		color = "black"
		constraint = "false"
	]
	"17" -> "16" [
		fontsize = "18"
		fontname = "Times-Roman"
		fontcolor = "black"
		label = "d1"
		color = "black"
		constraint = "false"
	]
}