(;FF[4]SZ[8]EV[rev.ch.17.5.3]PB[Manon]PW[roborally]SO[https://www.littlegolem.net])