C1

C2

C3

C4

D1

A1

{(s2, 0.599), (s3, 0.401)}

{(s0, 0.205), (s1, 0.41),

(s2, 0.375), (s3, 0.01)}

{(s6, 1)}

{(s1, 0.006), (s2, 0.155),

(s3, 0.678), (s4, 0.155),

(s5, 0.006)}

A2

{(s0, 1)}

{(s0, 0.20), (s1, 0.69),

(s2, 0.11)}

{(s3, 0.401), (s4, 0.599)}

{(s4, 0.011), (s5, 0.35),

(s6, 0.639)}

A3

{(s4, 0.199), (s5, 0.801)}

{(s3, 0.213), (s4, 0.373),

(s5, 0.28), (s6, 0.134)}

{(s4, 0.199), (s5, 0.801)}

{(s0, 0.639), (s1, 0.35),

(s2, 0.011)}

A4

{(s6, 1)}

{(s4, 0.6), (s5, 0.4)}

{(s0, 1)}

{(s0, 0.639), (s1, 0.35),

(s2, 0.011)}

D2

A1

{(s0, 1)}

{(s0, 0.098), (s1, 0.255),

(s2, 0.236), (s3, 0.236),

(s4, 0.175)}

{(s2, 1)}

{(s4, 0.011), (s5, 0.35),

(s6, 0.639)}

A2

{(s0, 1)}

{(s2, 0.33), (s3, 0.33),

(s4, 0.33)}

{(s6, 1)}

{(s0, 0.018), (s1, 0.482),

(s2, 0.482), (s3, 0.018)}

A3

{(s6, 1)}

{(s2, 0.175), (s3, 0.236),

(s4, 0.236), (s5, 0.255),

(s6, 0.098)}

{(s4, 1)}

{(s1, 0.006), (s2, 0.155),

(s3, 0.678), (s4, 0.155),

(s5, 0.006)}

A4

{(s6, 1)}

{(s2, 0.33), (s3, 0.33),

(s4, 0.33)}

{(s0, 1)}

{(s0, 0.018), (s1, 0.482),

(s2, 0.482), (s3, 0.018)}

D3

A1

{(s0, 1)}

{(s0, 0.428), (s1, 0.572)}

{(s0, 1)}

{(s4, 0.011), (s5, 0.35),

(s6, 0.639)}

A2

{(s4, 1)}

{(s3, 1)}

{(s6, 1)}

{(s3, 0.018), (s4, 0.482),

(s5, 0.482), (s6, 0.018)}

A3

{(s5, 1)}

{(s3, 0.035), (s4, 0.4),

(s5, 0.407), (s6, 0.157)}

{(s4, 1)}

{(s0, 0.018), (s1, 0.482),

(s2, 0.482), (s3, 0.018)}

A4

{(s6, 1)}

{(s3, 0.035), (s4, 0.4),

(s5, 0.407), (s6, 0.157)}

{(s2, 1)}

{(s0, 0.639), (s1, 0.35),

(s2, 0.011)}