- C(0):IDL
& C(1):IDL
& SRV:LST
# 1287BA01AD68118D

- C(0):WAT
& C(1):IDL
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
# CD52EDFB8D90269B

- C(0):CHK
& C(1):IDL
& SRV:LST
| C(0) -> CHK(C=0) -> MGR
# 55BCB6CE79BB7E76

- C(0):IDL
& C(1):WAT
& SRV:LST
| C(1) -> REQ(C=1) -> SRV
# E3A92C3EEFA4734B

- C(0):IDL
& C(1):CHK
& SRV:LST
| C(1) -> CHK(C=1) -> MGR
# 2B953D5D90D28CE0

- C(0):WAT
& C(1):WAT
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
& C(1) -> REQ(C=1) -> SRV
# 3C7C7BC4CF5C445D

- C(0):WAT
& C(1):CHK
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
& C(1) -> CHK(C=1) -> MGR
# F4406AA7B02ABBF6

- C(0):WAT
& C(1):IDL
& SRV:WRK(C=0)
# AB6A45A288076146

- C(0):CHK
& C(1):WAT
& SRV:LST
| C(0) -> CHK(C=0) -> MGR
& C(1) -> REQ(C=1) -> SRV
# A49220F13B771CB0

- C(0):CHK
& C(1):CHK
& SRV:LST
| C(0) -> CHK(C=0) -> MGR
& C(1) -> CHK(C=1) -> MGR
# 6CAE31924401E31B

- C(0):CHK
& C(1):IDL
& SRV:LST
| MGR -> * CNF -> C(0)
# D8ACF9332EE59DF2

- C(0):IDL
& C(1):WAT
& SRV:WRK(C=1)
# AE21D423273A03B5

- C(0):IDL
& C(1):CHK
& SRV:LST
| MGR -> * CNF -> C(1)
# C1A326C68939439E

- C(0):WAT
& C(1):WAT
& SRV:WRK(C=0)
| C(1) -> REQ(C=1) -> SRV
# 5A44D39DCACB0380

- C(0):WAT
& C(1):WAT
& SRV:WRK(C=1)
| C(0) -> REQ(C=0) -> SRV
# 71F483D907C234A3

- C(0):WAT
& C(1):CHK
& SRV:WRK(C=0)
| C(1) -> CHK(C=1) -> MGR
# 9278C2FEB5BDFC2B

- C(0):WAT
& C(1):CHK
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
& MGR -> * CNF -> C(1)
# 1E76713CA9C17488

- C(0):WAT
& C(1):IDL
& SRV:LST
| SRV -> RSP -> C(0)
# 0A9E948079EF39F4

- C(0):CHK
& C(1):WAT
& SRV:LST
| C(1) -> REQ(C=1) -> SRV
& MGR -> * CNF -> C(0)
# 29826F0C6C29FF34

- C(0):CHK
& C(1):WAT
& SRV:WRK(C=1)
| C(0) -> CHK(C=0) -> MGR
# E91AD8ECF3E96C4E

- C(0):CHK
& C(1):CHK
& SRV:LST
| C(1) -> CHK(C=1) -> MGR
& MGR -> * CNF -> C(0)
# E1BE7E6F135F009F

- C(0):CHK
& C(1):CHK
& SRV:LST
| C(0) -> CHK(C=0) -> MGR
& MGR -> * CNF -> C(1)
# 86982A095DEA2C65

- C(0):IDL
& C(1):WAT
& SRV:LST
| SRV -> RSP -> C(1)
# 07CD67FEE905C37E

- C(0):WAT
& C(1):WAT
& SRV:LST
| C(1) -> REQ(C=1) -> SRV
& SRV -> RSP -> C(0)
# FBB002BF3B235B32

- C(0):WAT
& C(1):WAT
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
& SRV -> RSP -> C(1)
# D8183004C9FDF468

- C(0):WAT
& C(1):CHK
& SRV:LST
| C(1) -> CHK(C=1) -> MGR
& SRV -> RSP -> C(0)
# 338C13DC4455A499

- C(0):WAT
& C(1):CHK
& SRV:WRK(C=0)
| MGR -> * CNF -> C(1)
# 784ED965AC563355

- C(0):CHK
& C(1):WAT
& SRV:LST
| C(0) -> CHK(C=0) -> MGR
& SRV -> RSP -> C(1)
# 40F66B313DD6AC85

- C(0):CHK
& C(1):WAT
& SRV:WRK(C=1)
| MGR -> * CNF -> C(0)
# 640A9711A4B78FCA

- C(0):WAT
& C(1):WAT
& SRV:WRK(C=1)
| SRV -> RSP -> C(0)
# B638FAA2F3BD2BCC

- C(0):WAT
& C(1):WAT
& SRV:WRK(C=0)
| SRV -> RSP -> C(1)
# BE20985DCC6AB3B5

- C(0):WAT
& C(1):CHK
& SRV:LST
| MGR -> * CNF -> C(1)
& SRV -> RSP -> C(0)
# D9BA08475DBE6BE7

- C(0):CHK
& C(1):WAT
& SRV:LST
| MGR -> * CNF -> C(0)
& SRV -> RSP -> C(1)
# CDE624CC6A884F01

- C(0):WAT
& C(1):WAT
& SRV:LST
| SRV -> RSP -> C(0)
& SRV -> RSP -> C(1)
# 1FD4497F3D82EB07