Automaton Simulator, v1.0
dfa {
	alphabet {01*}
	state {
		initial {yes}
		coord {88 223}
	}
	state {
		coord {196 103}
	}
	state {
		final {yes}
		coord {199 357}
	}
	state {
		coord {298 217}
	}
	state {
		final {yes}
		coord {466 217}
	}
	state {
		coord {566 103}
	}
	state {
		final {yes}
		coord {567 350}
	}
	state {
		final {yes}
		coord {656 221}
	}
	edge 0 1 {
		transits {1}
		offset {0.27364910913308904}
	}
	edge 0 0 {
		transits {0}
		offset {2.356194490192345}
	}
	edge 1 5 {
		transits {1}
		offset {0.12964228167273606}
	}
	edge 1 3 {
		transits {0}
		offset {0.5235987755982988}
	}
	edge 5 7 {
		transits {1}
		offset {0.5235987755982988}
	}
	edge 5 6 {
		transits {0}
		offset {0.24967522825655863}
	}
	edge 7 6 {
		transits {0}
		offset {0.5235987755982988}
	}
	edge 7 7 {
		transits {1}
		offset {0.12435499454676144}
	}
	edge 6 4 {
		transits {1}
		offset {0.5235987755982988}
	}
	edge 6 2 {
		transits {0}
		offset {0.38402838032473374}
	}
	edge 4 5 {
		transits {1}
		offset {0.5235987755982988}
	}
	edge 4 3 {
		transits {0}
		offset {0.5235987755982988}
	}
	edge 3 4 {
		transits {1}
		offset {0.5235987755982988}
	}
	edge 3 2 {
		transits {0}
		offset {0.5235987755982988}
	}
	edge 2 1 {
		transits {1}
		offset {0.5235987755982988}
	}
	edge 2 0 {
		transits {0}
		offset {0.5235987755982988}
	}
	label {
		text {Cover DFA}
		font {SansSerif 12 -}
		coord {491 30}
	}
	label {
		text {}
		font {SansSerif 12 -}
		coord {456 72}
	}
}
