digraph g { __start0 [label="" shape="none"]; s0 [shape="circle" label="0"]; s1 [shape="circle" label="1"]; s2 [shape="circle" label="2"]; s3 [shape="circle" label="3"]; s4 [shape="circle" label="4"]; s5 [shape="circle" label="5"]; s6 [shape="circle" label="6"]; s7 [shape="circle" label="7"]; s8 [shape="circle" label="8"]; s9 [shape="circle" label="9"]; s10 [shape="circle" label="10"]; s11 [shape="circle" label="11"]; s12 [shape="circle" label="12"]; s13 [shape="circle" label="13"]; s14 [shape="circle" label="14"]; s15 [shape="circle" label="15"]; s0 -> s0 [label="IACK / ONOK"]; s0 -> s1 [label="IREQ_0_0_0 / OFRAME_1_0_0_0"]; s0 -> s1 [label="IREQ_0_0_1 / OFRAME_1_0_0_0"]; s0 -> s2 [label="IREQ_0_1_0 / OFRAME_1_0_0_0"]; s0 -> s2 [label="IREQ_0_1_1 / OFRAME_1_0_0_0"]; s0 -> s3 [label="IREQ_1_0_0 / OFRAME_1_0_0_1"]; s0 -> s3 [label="IREQ_1_0_1 / OFRAME_1_0_0_1"]; s0 -> s4 [label="IREQ_1_1_0 / OFRAME_1_0_0_1"]; s0 -> s4 [label="IREQ_1_1_1 / OFRAME_1_0_0_1"]; s0 -> s0 [label="ISENDFRAME / Oquiescence"]; s0 -> s0 [label="ITIMEOUT / ONOK"]; s1 -> s5 [label="IACK / OFRAME_0_0_1_0"]; s1 -> s1 [label="IREQ_0_0_0 / ONOK"]; s1 -> s1 [label="IREQ_0_0_1 / ONOK"]; s1 -> s1 [label="IREQ_0_1_0 / ONOK"]; s1 -> s1 [label="IREQ_0_1_1 / ONOK"]; s1 -> s1 [label="IREQ_1_0_0 / ONOK"]; s1 -> s1 [label="IREQ_1_0_1 / ONOK"]; s1 -> s1 [label="IREQ_1_1_0 / ONOK"]; s1 -> s1 [label="IREQ_1_1_1 / ONOK"]; s1 -> s1 [label="ISENDFRAME / Oquiescence"]; s1 -> s1 [label="ITIMEOUT / OFRAME_1_0_0_0"]; s2 -> s6 [label="IACK / OFRAME_0_0_1_1"]; s2 -> s2 [label="IREQ_0_0_0 / ONOK"]; s2 -> s2 [label="IREQ_0_0_1 / ONOK"]; s2 -> s2 [label="IREQ_0_1_0 / ONOK"]; s2 -> s2 [label="IREQ_0_1_1 / ONOK"]; s2 -> s2 [label="IREQ_1_0_0 / ONOK"]; s2 -> s2 [label="IREQ_1_0_1 / ONOK"]; s2 -> s2 [label="IREQ_1_1_0 / ONOK"]; s2 -> s2 [label="IREQ_1_1_1 / ONOK"]; s2 -> s2 [label="ISENDFRAME / Oquiescence"]; s2 -> s2 [label="ITIMEOUT / OFRAME_1_0_0_0"]; s3 -> s5 [label="IACK / OFRAME_0_0_1_0"]; s3 -> s3 [label="IREQ_0_0_0 / ONOK"]; s3 -> s3 [label="IREQ_0_0_1 / ONOK"]; s3 -> s3 [label="IREQ_0_1_0 / ONOK"]; s3 -> s3 [label="IREQ_0_1_1 / ONOK"]; s3 -> s3 [label="IREQ_1_0_0 / ONOK"]; s3 -> s3 [label="IREQ_1_0_1 / ONOK"]; s3 -> s3 [label="IREQ_1_1_0 / ONOK"]; s3 -> s3 [label="IREQ_1_1_1 / ONOK"]; s3 -> s3 [label="ISENDFRAME / Oquiescence"]; s3 -> s3 [label="ITIMEOUT / OFRAME_1_0_0_1"]; s4 -> s6 [label="IACK / OFRAME_0_0_1_1"]; s4 -> s4 [label="IREQ_0_0_0 / ONOK"]; s4 -> s4 [label="IREQ_0_0_1 / ONOK"]; s4 -> s4 [label="IREQ_0_1_0 / ONOK"]; s4 -> s4 [label="IREQ_0_1_1 / ONOK"]; s4 -> s4 [label="IREQ_1_0_0 / ONOK"]; s4 -> s4 [label="IREQ_1_0_1 / ONOK"]; s4 -> s4 [label="IREQ_1_1_0 / ONOK"]; s4 -> s4 [label="IREQ_1_1_1 / ONOK"]; s4 -> s4 [label="ISENDFRAME / Oquiescence"]; s4 -> s4 [label="ITIMEOUT / OFRAME_1_0_0_1"]; s5 -> s7 [label="IACK / OFRAME_0_1_0_0"]; s5 -> s5 [label="IREQ_0_0_0 / ONOK"]; s5 -> s5 [label="IREQ_0_0_1 / ONOK"]; s5 -> s5 [label="IREQ_0_1_0 / ONOK"]; s5 -> s5 [label="IREQ_0_1_1 / ONOK"]; s5 -> s5 [label="IREQ_1_0_0 / ONOK"]; s5 -> s5 [label="IREQ_1_0_1 / ONOK"]; s5 -> s5 [label="IREQ_1_1_0 / ONOK"]; s5 -> s5 [label="IREQ_1_1_1 / ONOK"]; s5 -> s5 [label="ISENDFRAME / Oquiescence"]; s5 -> s5 [label="ITIMEOUT / OFRAME_0_0_1_0"]; s6 -> s7 [label="IACK / OFRAME_0_1_0_0"]; s6 -> s6 [label="IREQ_0_0_0 / ONOK"]; s6 -> s6 [label="IREQ_0_0_1 / ONOK"]; s6 -> s6 [label="IREQ_0_1_0 / ONOK"]; s6 -> s6 [label="IREQ_0_1_1 / ONOK"]; s6 -> s6 [label="IREQ_1_0_0 / ONOK"]; s6 -> s6 [label="IREQ_1_0_1 / ONOK"]; s6 -> s6 [label="IREQ_1_1_0 / ONOK"]; s6 -> s6 [label="IREQ_1_1_1 / ONOK"]; s6 -> s6 [label="ISENDFRAME / Oquiescence"]; s6 -> s6 [label="ITIMEOUT / OFRAME_0_0_1_1"]; s7 -> s8 [label="IACK / OCONF_1"]; s7 -> s7 [label="IREQ_0_0_0 / ONOK"]; s7 -> s7 [label="IREQ_0_0_1 / ONOK"]; s7 -> s7 [label="IREQ_0_1_0 / ONOK"]; s7 -> s7 [label="IREQ_0_1_1 / ONOK"]; s7 -> s7 [label="IREQ_1_0_0 / ONOK"]; s7 -> s7 [label="IREQ_1_0_1 / ONOK"]; s7 -> s7 [label="IREQ_1_1_0 / ONOK"]; s7 -> s7 [label="IREQ_1_1_1 / ONOK"]; s7 -> s7 [label="ISENDFRAME / Oquiescence"]; s7 -> s7 [label="ITIMEOUT / OFRAME_0_1_0_0"]; s8 -> s8 [label="IACK / ONOK"]; s8 -> s9 [label="IREQ_0_0_0 / OFRAME_1_0_1_0"]; s8 -> s9 [label="IREQ_0_0_1 / OFRAME_1_0_1_0"]; s8 -> s10 [label="IREQ_0_1_0 / OFRAME_1_0_1_0"]; s8 -> s10 [label="IREQ_0_1_1 / OFRAME_1_0_1_0"]; s8 -> s11 [label="IREQ_1_0_0 / OFRAME_1_0_1_1"]; s8 -> s11 [label="IREQ_1_0_1 / OFRAME_1_0_1_1"]; s8 -> s12 [label="IREQ_1_1_0 / OFRAME_1_0_1_1"]; s8 -> s12 [label="IREQ_1_1_1 / OFRAME_1_0_1_1"]; s8 -> s8 [label="ISENDFRAME / Oquiescence"]; s8 -> s8 [label="ITIMEOUT / ONOK"]; s9 -> s13 [label="IACK / OFRAME_0_0_0_0"]; s9 -> s9 [label="IREQ_0_0_0 / ONOK"]; s9 -> s9 [label="IREQ_0_0_1 / ONOK"]; s9 -> s9 [label="IREQ_0_1_0 / ONOK"]; s9 -> s9 [label="IREQ_0_1_1 / ONOK"]; s9 -> s9 [label="IREQ_1_0_0 / ONOK"]; s9 -> s9 [label="IREQ_1_0_1 / ONOK"]; s9 -> s9 [label="IREQ_1_1_0 / ONOK"]; s9 -> s9 [label="IREQ_1_1_1 / ONOK"]; s9 -> s9 [label="ISENDFRAME / Oquiescence"]; s9 -> s9 [label="ITIMEOUT / OFRAME_1_0_1_0"]; s10 -> s14 [label="IACK / OFRAME_0_0_0_1"]; s10 -> s10 [label="IREQ_0_0_0 / ONOK"]; s10 -> s10 [label="IREQ_0_0_1 / ONOK"]; s10 -> s10 [label="IREQ_0_1_0 / ONOK"]; s10 -> s10 [label="IREQ_0_1_1 / ONOK"]; s10 -> s10 [label="IREQ_1_0_0 / ONOK"]; s10 -> s10 [label="IREQ_1_0_1 / ONOK"]; s10 -> s10 [label="IREQ_1_1_0 / ONOK"]; s10 -> s10 [label="IREQ_1_1_1 / ONOK"]; s10 -> s10 [label="ISENDFRAME / Oquiescence"]; s10 -> s10 [label="ITIMEOUT / OFRAME_1_0_1_0"]; s11 -> s13 [label="IACK / OFRAME_0_0_0_0"]; s11 -> s11 [label="IREQ_0_0_0 / ONOK"]; s11 -> s11 [label="IREQ_0_0_1 / ONOK"]; s11 -> s11 [label="IREQ_0_1_0 / ONOK"]; s11 -> s11 [label="IREQ_0_1_1 / ONOK"]; s11 -> s11 [label="IREQ_1_0_0 / ONOK"]; s11 -> s11 [label="IREQ_1_0_1 / ONOK"]; s11 -> s11 [label="IREQ_1_1_0 / ONOK"]; s11 -> s11 [label="IREQ_1_1_1 / ONOK"]; s11 -> s11 [label="ISENDFRAME / Oquiescence"]; s11 -> s11 [label="ITIMEOUT / OFRAME_1_0_1_1"]; s12 -> s14 [label="IACK / OFRAME_0_0_0_1"]; s12 -> s12 [label="IREQ_0_0_0 / ONOK"]; s12 -> s12 [label="IREQ_0_0_1 / ONOK"]; s12 -> s12 [label="IREQ_0_1_0 / ONOK"]; s12 -> s12 [label="IREQ_0_1_1 / ONOK"]; s12 -> s12 [label="IREQ_1_0_0 / ONOK"]; s12 -> s12 [label="IREQ_1_0_1 / ONOK"]; s12 -> s12 [label="IREQ_1_1_0 / ONOK"]; s12 -> s12 [label="IREQ_1_1_1 / ONOK"]; s12 -> s12 [label="ISENDFRAME / Oquiescence"]; s12 -> s12 [label="ITIMEOUT / OFRAME_1_0_1_1"]; s13 -> s15 [label="IACK / OFRAME_0_1_1_0"]; s13 -> s13 [label="IREQ_0_0_0 / ONOK"]; s13 -> s13 [label="IREQ_0_0_1 / ONOK"]; s13 -> s13 [label="IREQ_0_1_0 / ONOK"]; s13 -> s13 [label="IREQ_0_1_1 / ONOK"]; s13 -> s13 [label="IREQ_1_0_0 / ONOK"]; s13 -> s13 [label="IREQ_1_0_1 / ONOK"]; s13 -> s13 [label="IREQ_1_1_0 / ONOK"]; s13 -> s13 [label="IREQ_1_1_1 / ONOK"]; s13 -> s13 [label="ISENDFRAME / Oquiescence"]; s13 -> s13 [label="ITIMEOUT / OFRAME_0_0_0_0"]; s14 -> s15 [label="IACK / OFRAME_0_1_1_0"]; s14 -> s14 [label="IREQ_0_0_0 / ONOK"]; s14 -> s14 [label="IREQ_0_0_1 / ONOK"]; s14 -> s14 [label="IREQ_0_1_0 / ONOK"]; s14 -> s14 [label="IREQ_0_1_1 / ONOK"]; s14 -> s14 [label="IREQ_1_0_0 / ONOK"]; s14 -> s14 [label="IREQ_1_0_1 / ONOK"]; s14 -> s14 [label="IREQ_1_1_0 / ONOK"]; s14 -> s14 [label="IREQ_1_1_1 / ONOK"]; s14 -> s14 [label="ISENDFRAME / Oquiescence"]; s14 -> s14 [label="ITIMEOUT / OFRAME_0_0_0_1"]; s15 -> s0 [label="IACK / OCONF_1"]; s15 -> s15 [label="IREQ_0_0_0 / ONOK"]; s15 -> s15 [label="IREQ_0_0_1 / ONOK"]; s15 -> s15 [label="IREQ_0_1_0 / ONOK"]; s15 -> s15 [label="IREQ_0_1_1 / ONOK"]; s15 -> s15 [label="IREQ_1_0_0 / ONOK"]; s15 -> s15 [label="IREQ_1_0_1 / ONOK"]; s15 -> s15 [label="IREQ_1_1_0 / ONOK"]; s15 -> s15 [label="IREQ_1_1_1 / ONOK"]; s15 -> s15 [label="ISENDFRAME / Oquiescence"]; s15 -> s15 [label="ITIMEOUT / OFRAME_0_1_1_0"]; __start0 -> s0; }