loop-invariants/1/div-output - Output of the division program.
Lecture 13 - slide 32 : 32
Program 2
Div(10, 2) = 5 Div(100, 25) = 4 Div(1234567, 89) = 13871