(;FF[4]SZ[8]EV[rev.ch.11.5.2]PB[Shannon]PW[Mario Aguero]SO[https://www.littlegolem.net])