mod CD40DISH is inc ALLOPS .

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

{XOut | Cd40L

}{Cd40C | Cd40

}{CLm | empty
}{CLi | empty

}{CLc |
Ciap1
Ciap2
Traf2
Traf3
Traf6
Ubc13
Nemo
Ikba
Ikk2
Jak3
Mkk4
Mkk7
Mekk1
Nfkb1
P38s
Tak1
Tpl2


}{NUc | empty

}) .




endm
