> States:  1 2 3 4 5
> Start state: 1
> Accepting states: 1 2 3 4
> Dead state: 5
>
> (1,a) -> 2
> (1,b) -> 3
> (1,c) -> 4
> (2,b) -> 2
> (2,c) -> 2
> (3,a) -> 3
> (3,c) -> 3
> (4,a) -> 4
> (4,b) -> 4
> (2,a) -> 5
> (3,b) -> 5
> (4,c) -> 5


  1.  u=[    ]  w = +1.00000
  2.  u=[aa  ]  w = -2.00000
  3.  u=[bb  ]  w = -2.00000
  4.  u=[cc  ]  w = -2.00000
  5.  u=[ab  ]  w = +7.00000
  6.  u=[ac  ]  w = +7.00000
  7.  u=[ba  ]  w = +7.00000
  8.  u=[bc  ]  w = +7.00000
  9.  u=[ca  ]  w = +7.00000
 10.  u=[cb  ]  w = +7.00000
 11.  u=[aab ]  w = -44.00000
 12.  u=[aac ]  w = -44.00000
 13.  u=[aba ]  w = -44.00000
 14.  u=[aca ]  w = -44.00000
 15.  u=[bab ]  w = -44.00000
 16.  u=[bba ]  w = -44.00000
 17.  u=[bbc ]  w = -44.00000
 18.  u=[bcb ]  w = -44.00000
 19.  u=[cac ]  w = -44.00000
 20.  u=[cbc ]  w = -44.00000
 21.  u=[cca ]  w = -44.00000
 22.  u=[ccb ]  w = -44.00000
 23.  u=[abc ]  w = +535.00000
 24.  u=[acb ]  w = +535.00000
 25.  u=[bac ]  w = +535.00000
 26.  u=[bca ]  w = +535.00000
 27.  u=[cab ]  w = +535.00000
 28.  u=[cba ]  w = +535.00000
 29.  u=[aabc]  w = -3254.00000
 30.  u=[aacb]  w = -3254.00000
 31.  u=[abac]  w = -3254.00000
 32.  u=[abca]  w = -3254.00000
 33.  u=[acab]  w = -3254.00000
 34.  u=[acba]  w = -3254.00000
 35.  u=[babc]  w = -3254.00000
 36.  u=[bacb]  w = -3254.00000
 37.  u=[bbac]  w = -3254.00000
 38.  u=[bbca]  w = -3254.00000
 39.  u=[bcab]  w = -3254.00000
 40.  u=[bcba]  w = -3254.00000
 41.  u=[cabc]  w = -3254.00000
 42.  u=[cacb]  w = -3254.00000
 43.  u=[cbac]  w = -3254.00000
 44.  u=[cbca]  w = -3254.00000
 45.  u=[ccab]  w = -3254.00000
 46.  u=[ccba]  w = -3254.00000