(;FF[4]SZ[10]EV[rev10.ch.4.3.4]PB[CoPLaS (cpls)]PW[MrMojoRisin]SO[https://www.littlegolem.net];b[fg])