(;FF[4]SZ[10]EV[rev10.ch.5.3.3]PB[CoPLaS (cpls)]PW[Nina]SO[https://www.littlegolem.net])