(;EV[amzn.ch.12.4.3]PB[CoPLaS (cpls)]PW[victor]SO[https://www.littlegolem.net];W[d1-d7/d9])