(;FF[4]SZ[8]EV[rev.ch.12.5.4]PB[kingmob]PW[CoPLaS (cpls)]SO[https://www.littlegolem.net])