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