(;FF[4]SZ[8]EV[rev.ch.3.3.1]PB[logicman]PW[mark]SO[https://www.littlegolem.net])