# Mult  calculates  m times n  the old-fashioned way:
#   by adding  m + m + ... + m  for n times.

m = int(raw_input("Type a nonnegative int: "))
n = int(raw_input("Type a nonnegative int: "))

assert (m >= 0) and (n >= 0)  # prevents further execution
                              # if either input is bad
total = 0
count = n

while count != 0 :
    assert  total == ((n - count) * m)       # invariant

    print "total =", total, "; count =", count

    total = total + m
    count = count - 1

assert  total == (m * n)  # checks that answer is correct

print "total =", total, "; count =", count

raw_input("Press Enter")