Lbl FIB r₁→N 0→I 1→J For(K,1,N) I+J→T J→I T→J End J Return