digraph finite_state_machine {

            fontname="Helvetica,Arial,sans-serif"

            node [fontname="Helvetica,Arial,sans-serif"]

            edge [fontname="Helvetica,Arial,sans-serif"]

            rankdir=LR;

            node [shape = circle];

        
 10 -> 18 [label = "1"];
 12 -> 18 [label = "1"];
 6 -> 0 [label = "49"];
 6 -> 11 [label = "1"];
 11 -> 18 [label = "1"];
 11 -> 2 [label = "1"];
 11 -> 1 [label = "1"];
 5 -> 0 [label = "19"];
 5 -> 9 [label = "1"];
 9 -> 18 [label = "1"];
 17 -> 6 [label = "1"];
 17 -> 5 [label = "1"];
 17 -> 18 [label = "1"];
 4 -> 17 [label = "1"];
 4 -> 0 [label = "1"];
 15 -> 3 [label = "1"];
 15 -> 2 [label = "1"];
 15 -> 18 [label = "1"];
 14 -> 18 [label = "1"];
 7 -> 14 [label = "1"];
 8 -> 1 [label = "1"];
 8 -> 18 [label = "1"];
 2 -> 0 [label = "11"];
 2 -> 8 [label = "1"];
 16 -> 5 [label = "1"];
 16 -> 4 [label = "1"];
 16 -> 18 [label = "1"];
 16 -> 2 [label = "1"];
 3 -> 0 [label = "13"];
 3 -> 12 [label = "1"];
 3 -> 16 [label = "1"];
 13 -> 18 [label = "1"];
 13 -> 2 [label = "1"];
 13 -> 3 [label = "1"];
 1 -> 10 [label = "1"];
 1 -> 15 [label = "1"];
 1 -> 13 [label = "1"];
 1 -> 0 [label = "12"];
 0 -> 3 [label = "2"];
 0 -> 6 [label = "1"];
 0 -> 5 [label = "1"];
 0 -> 2 [label = "1"];
 0 -> 4 [label = "1"];
 0 -> 7 [label = "1"];
 0 -> 1 [label = "3"];
}