//This file was generated from (Academic) UPPAAL 4.0.10 (rev. 4417), September 2009

/*

*/
E<> Wolf.Daar && Geit.Daar && Kool.Daar && Veerman.Daar && Regels.OK