(;FF[4]EV[gmk.ch.19.4.3]PB[carnot02]PW[fun-fun]SO[https://www.littlegolem.net];B[ll])