//This file was generated from UPPAAL 4.0.2 (rev. 2491), August 2006

/*

*/
E<>process1.l_g