num_models = 6index:  0phone:  one-two+threenum_states:  13transitions:  3states: 0 1 2 3 4 5 6 7 8 9 10 11 0index:  1phone:  one-three+twonum_states:  13transitions:  4states: 0 12 13 14 15 16 17 18 19 20 21 22 0index:  2phone:  two-three+onenum_states:  13transitions:  4states: 0 23 24 25 26 27 28 29 30 31 32 33 0index:  3phone:  four-five+sixnum_states:  13transitions:  6states: 0 34 35 36 37 38 39 40 41 42 43 44 0index:  4phone:  seven-eight+ninenum_states:  13transitions:  9states: 0 45 46 47 48 49 50 51 52 53 54 55 0index:  5phone:  zero-oh+silnum_states:  13transitions:  12states: 0 56 57 58 59 60 61 62 63 64 65 66 0