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