mod UVDISH is inc ALLOPS .

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

{XOut | UV

}{CLm |
empty

}{CLi |
empty

}{CLc |
Akt1
Atf2
Bad
Eif4e
Eif4ebp1
Erks
Hipk2
Jnks
Map4k5
Mapkapk2
Mkk3
Mkk4
Mkk6
Mkk7
Mnk1
Mnk2
P38s
Pak1
Pi3k
Pin1
Rsk2
Rsk3
Stat3
Tab1


}{NUc |
Atf1
Atm
Atr
Atrip
Bax-gene
Brca1
Cdkn1a-gene
Chek1
Chek2
Creb1
Egr1-gene
Fos-gene
HistH3
Jun-gene
Junb-gene
Mdm2-gene
Msk1
Msk2
Nbs1
Rad17
Rad50
Smc1a
Tp53
Tp53aip1-gene
TrailR2-gene


}{CHR | H2ax



}) .

endm

