//This file was generated from UPPAAL 4.0.6 (rev. 2987), March 2007

/*
Vraag Uppaal om de kortste trace te genereren die laat zien dat bovenstaande eigenschap geldt.

*/
E<> forall (a : vriendinnen) forall (b : vriendinnen) (weet_roddel[a][b] == 1)