Find!
x1=k1 is x2=t1's attempt of x3=t2 by means x4=t3 for the x5=k3th time.
See also: reftoi (retry). This lujvo appends krefu and keeps krefu1.