mod IRADDISH is inc ALLOPS .

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

{XOut | IR


}{CLm | empty

}{CLi | empty

}{CLc |
Abl1
Nemo


}{NUc |
Atm
Atr
Brca1
Cdkn1a-gene
Chek1
Chek2
Claspin
Creb1
Fancd2
Mdc1
Mdm2-gene
Mre11
Nbs1
Pirh2-gene
Rad50
Rap80
Rnf8
Smc1a
Tip60
Tp53
Tp53aip1-gene
Tp53bp1
Trim28


}{CHR  | H2ax


}) .

endm
