digraph { rankdir=LR in [shape=point style=invis] 0 [color=yellow label="0"] 1 [label="1"] 2 [color=green shape=doublecircle label="2\np=0\nac=0"] 3 [label="3"] 4 [label="4"] 5 [label="5"] 6 [color=green shape=doublecircle label="6\np=1\nac=1"] 7 [label="7"] 8 [label="8"] 9 [label="9"] 10 [label="10"] 11 [label="11"] 12 [color=green shape=doublecircle label="12\np=2\nac=2"] 13 [label="13"] 14 [label="14"] 15 [label="15"] 16 [label="16"] 17 [label="17"] 18 [color=green shape=doublecircle label="18\np=3\nac=3"] 19 [label="19"] 20 [label="20"] 21 [label="21"] 22 [label="22"] 23 [label="23"] 24 [color=green shape=doublecircle label="24\np=4\nac=4"] 25 [label="25"] 26 [label="26"] 27 [label="27"] 28 [label="28"] 29 [label="29"] 30 [color=green shape=doublecircle label="30\np=5\nac=5"] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=" "] 1 -> 2 [label=" "] 1 -> 2 [label=" "] 1 -> 2 [label=" "] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=""] 1 -> 2 [label=" "] 1 -> 2 [label="!"] 1 -> 2 [label="""] 1 -> 2 [label="#"] 1 -> 2 [label="$"] 1 -> 2 [label="%"] 1 -> 2 [label="&"] 1 -> 2 [label="'"] 1 -> 2 [label="("] 1 -> 2 [label=")"] 1 -> 2 [label="*"] 1 -> 2 [label="+"] 1 -> 2 [label=","] 1 -> 2 [label="-"] 1 -> 2 [label="."] 1 -> 2 [label="/"] 1 -> 2 [label="0"] 1 -> 2 [label="1"] 1 -> 2 [label="2"] 1 -> 2 [label="3"] 1 -> 2 [label="4"] 1 -> 2 [label="5"] 1 -> 2 [label="6"] 1 -> 2 [label="7"] 1 -> 2 [label="8"] 1 -> 2 [label="9"] 1 -> 2 [label=":"] 1 -> 2 [label=";"] 1 -> 2 [label="<"] 1 -> 2 [label="="] 1 -> 2 [label=">"] 1 -> 2 [label="?"] 1 -> 2 [label="@"] 1 -> 2 [label="A"] 1 -> 2 [label="B"] 1 -> 2 [label="C"] 1 -> 2 [label="D"] 1 -> 2 [label="E"] 1 -> 2 [label="F"] 1 -> 2 [label="G"] 1 -> 2 [label="H"] 1 -> 2 [label="I"] 1 -> 2 [label="J"] 1 -> 2 [label="K"] 1 -> 2 [label="L"] 1 -> 2 [label="M"] 1 -> 2 [label="N"] 1 -> 2 [label="O"] 1 -> 2 [label="P"] 1 -> 2 [label="Q"] 1 -> 2 [label="R"] 1 -> 2 [label="S"] 1 -> 2 [label="T"] 1 -> 2 [label="U"] 1 -> 2 [label="V"] 1 -> 2 [label="W"] 1 -> 2 [label="X"] 1 -> 2 [label="Y"] 1 -> 2 [label="Z"] 1 -> 2 [label="["] 1 -> 2 [label="\"] 1 -> 2 [label="]"] 1 -> 2 [label="^"] 1 -> 2 [label="_"] 1 -> 2 [label="`"] 1 -> 2 [label="a"] 1 -> 2 [label="b"] 1 -> 2 [label="c"] 1 -> 2 [label="d"] 1 -> 2 [label="e"] 1 -> 2 [label="f"] 1 -> 2 [label="g"] 1 -> 2 [label="h"] 1 -> 2 [label="i"] 1 -> 2 [label="j"] 1 -> 2 [label="k"] 1 -> 2 [label="l"] 1 -> 2 [label="m"] 1 -> 2 [label="n"] 1 -> 2 [label="o"] 1 -> 2 [label="p"] 1 -> 2 [label="q"] 1 -> 2 [label="r"] 1 -> 2 [label="s"] 1 -> 2 [label="t"] 1 -> 2 [label="u"] 1 -> 2 [label="v"] 1 -> 2 [label="w"] 1 -> 2 [label="x"] 1 -> 2 [label="y"] 1 -> 2 [label="z"] 1 -> 2 [label="{"] 1 -> 2 [label="|"] 1 -> 2 [label="}"] 1 -> 2 [label="~"] 1 -> 2 [label=""] 4 -> 5 [label="a"] 7 -> 8 [label="a"] 10 -> 11 [label="a"] 14 -> 15 [label="a"] 20 -> 21 [label="a"] 22 -> 23 [label="b"] 26 -> 27 [label="a"] 28 -> 29 [label="b"] 0 -> 1 [label="ε"] 0 -> 3 [label="ε"] 0 -> 7 [label="ε"] 0 -> 13 [label="ε"] 0 -> 19 [label="ε"] 0 -> 25 [label="ε"] 3 -> 4 [label="ε"] 3 -> 6 [label="ε"] 5 -> 4 [label="ε"] 5 -> 6 [label="ε"] 8 -> 9 [label="ε"] 9 -> 10 [label="ε"] 9 -> 12 [label="ε"] 11 -> 10 [label="ε"] 11 -> 12 [label="ε"] 13 -> 14 [label="ε"] 13 -> 16 [label="ε"] 15 -> 18 [label="ε"] 16 -> 17 [label="ε"] 17 -> 18 [label="ε"] 19 -> 20 [label="ε"] 19 -> 24 [label="ε"] 21 -> 22 [label="ε"] 23 -> 20 [label="ε"] 23 -> 24 [label="ε"] 25 -> 26 [label="ε"] 25 -> 28 [label="ε"] 27 -> 30 [label="ε"] 29 -> 30 [label="ε"] in -> 0 }