mod NCSDISH is inc ALLOPS .

op NCSDish : -> Dish .
eq NCSDish = PD(    

{XOut | NCS

}{CLm | empty
}{CLi | empty
}{CLc | empty

}{NUc |
Atm
Atr
Chek1
Mre11
Nbs1
Chek2
Mdm4
Smc1a
Trim28
Tp53

}{Sig | empty
}{CVc | empty
}{CHR | H2ax


}) .


endm
