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