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];

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