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