(;FF[CATCHUP]SZ[6]VA[RANDOM2]EV[catchup.cv.RANDOM2.4.1.1]PB[ypercube]PW[Rolle]SO[https://www.littlegolem.net])