(;FF[4]EV[connect6.DEFAULT.mc.2011.final]PB[euhuang]PW[carnot02]SO[https://www.littlegolem.net];B[j10])