Szymanski.promela 1.1 KB