digraph learnedModel {
	s0 [label=s0];
	s1 [label=s1];
	s2 [label=s2];
	s0 -> s1  [label="connect/CONNACK"];
	s0 -> s0  [label="disconnect/CONCLOSED_ALL"];
	s0 -> s0  [label="subscribe/CONCLOSED_ALL"];
	s0 -> s0  [label="unsubscribe/CONCLOSED_ALL"];
	s0 -> s0  [label="publish/CONCLOSED_ALL"];
	s1 -> s0  [label="connect/CONCLOSED_ALL"];
	s1 -> s1  [label="connect/CONNACK"];
	s1 -> s1  [label="connect/CONCLOSED_UNSUB_ALL"];
	s1 -> s0  [label="disconnect/CONCLOSED_ALL"];
	s1 -> s1  [label="disconnect/CONCLOSED"];
	s1 -> s1  [label="disconnect/CONCLOSED_UNSUB_ALL"];
	s1 -> s2  [label="subscribe/SUBACK"];
	s1 -> s1  [label="subscribe/CONCLOSED"];
	s1 -> s1  [label="unsubscribe/UNSUBACK_ALL"];
	s1 -> s1  [label="unsubscribe/CONCLOSED"];
	s1 -> s1  [label="publish/PUBACK"];
	s1 -> s1  [label="publish/CONCLOSED"];
	s2 -> s0  [label="connect/CONCLOSED_ALL"];
	s2 -> s2  [label="connect/CONNACK"];
	s2 -> s2  [label="connect/CONCLOSED"];
	s2 -> s1  [label="connect/CONCLOSED_UNSUB_ALL"];
	s2 -> s0  [label="disconnect/CONCLOSED_ALL"];
	s2 -> s2  [label="disconnect/CONCLOSED"];
	s2 -> s1  [label="disconnect/CONCLOSED_UNSUB_ALL"];
	s2 -> s2  [label="subscribe/SUBACK"];
	s2 -> s2  [label="subscribe/CONCLOSED"];
	s2 -> s1  [label="unsubscribe/UNSUBACK_ALL"];
	s2 -> s2  [label="unsubscribe/CONCLOSED"];
	s2 -> s2  [label="unsubscribe/UNSUBACK"];
	s2 -> s2  [label="publish/CONCLOSED"];
	s2 -> s2  [label="publish/PUBACK_PUBLISH"];
	__start0 [label="", shape=none];
	__start0 -> s0  [label=""];
}