num_models = 6

index:  0
phone:  one-two+three
num_states:  13
transitions:  3
states: 0 1 2 3 4 5 6 7 8 9 10 11 0

index:  1
phone:  one-three+two
num_states:  13
transitions:  4
states: 0 12 13 14 15 16 17 18 19 20 21 22 0

index:  2
phone:  two-three+one
num_states:  13
transitions:  4
states: 0 23 24 25 26 27 28 29 30 31 32 33 0

index:  3
phone:  four-five+six
num_states:  13
transitions:  6
states: 0 34 35 36 37 38 39 40 41 42 43 44 0

index:  4
phone:  seven-eight+nine
num_states:  13
transitions:  9
states: 0 45 46 47 48 49 50 51 52 53 54 55 0

index:  5
phone:  zero-oh+sil
num_states:  13
transitions:  12
states: 0 56 57 58 59 60 61 62 63 64 65 66 0

