(;FF[4]SZ[10]EV[rev10.ch.13.3.1]PB[Lyons11]PW[FatPhil]SO[https://www.littlegolem.net])