enable(C)?
putt(X1,C)?
putt(X2,C)?
gett(Y2,C)?
gett(Y1,C)?
gett(Y3,C)?
gett(Y4,C)?
putt(X4,C)?
gett(Y5,C)?
enable(D)?
putt(X1,D)?
gett(Y6,C)?
putt(X6,C)?
gett(X1,D)?
putt(X2,D)?
putt(X5,C)?
gett(X1,D)?
putt(X3,C)?
.
enable(C)?
enable(D)?
gett(Y2,C),gc?
gett(Y1,C)?
putt(X2,D)?
putt(X5,C)?
gett(X1,D)?
gc,gett(Y3,C)?
gett(Y4,C)?
putt(X3,C)?
putt(X2,C)?
gc,putt(X6,C)?
gett(X1,D)?
putt(X1,D)?
gett(Y6,C)?
putt(X1,C),gc?
putt(X4,C)?
gett(Y5,C)?
.
