(;FF[4]SZ[10]EV[rev10.ch.5.3.3]PB[Stanley Kozera]PW[CoPLaS (cpls)]SO[https://www.littlegolem.net];b[ed])