Cycle Shrinking …
A3 = B1 -1 B3 = A0 * k A4 = B2 -1 B4 = A1 * k A5 = B3 -1 B5 = A2 * k A6 = B4 -1 B6 = A3 * k A7 = B5 -1 B7 = A4 * k A8 = B6 -1 B8 = A5 * k
Cycle Shrinking in Distance Varying Loops