//This file was generated from UPPAAL 3.2.9, April 2002

/*

*/
E<> c == 23