(;FF[4]SZ[8]EV[rev.ch.8.5.1]PB[keops]PW[leandro]SO[https://www.littlegolem.net])