Find!
x1=g1 restarts x3=g2=c1=k2, with repetition / recurrence / instance x3=k1, for the x4=k3'rd time; x1 does x2, a restart of x3 for the x4'th time.