mod INSDISH is inc ALLOPS .

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

{XOut | Ins
}{InsRC | InsR


}{CLm |
empty

}{CLi |
Pld1
Pld2
[Hras - GDP]
[Rala - GDP]
[Rhoq - GDP]



}{CLc |
[Eef2 - phos(T 57)]
[Gsk3s - act]
Akt1
Atf2
Crk
Dok1
Eef2k
Eif3
Eif4a1
Eif4b
Eif4e
Eif4ebp1
Eif4g1
Erks
Grb2
Grb10
Irs1
Irs2
Jnks
Mlst8
Mtor
Pi3k
Pras40
RalGds
Raptor
Rasa1
Rictor
Rin1
Rps6
S6k1
Sh2b1
Shc1
Sin1
Sos1
Tsc2
Ywhab


}{RNAC |
capped-mRNA


}{NUc |
Egr1-gene
Foxo1
Foxo4
Jun

}{CVc | [Rheb - GDP] Tsc1



}) .

endm

