What are the following transitions to the following FST in Prolog format?

For example, the straightforward transitions are:

transition(0, z, 1, z).

transition(0, s, 1, s).

transition(0, x, 1, x).

What would be the following transitions for states 1, 2, 3, 4 and 5?

other 1. other , 2,5,x/95) 2,S,X / s(): *#.other Z, X # #, other