For the following function, identify the loop invariant, the loop exit condition, and the loop post-condition which shows the algorithm's correctness. You can simply list the assertions, or you can copy and paste the function into the answer field and add assertion annotations as comments.

def sumlist(lst): """ Input: A non-empty list lst of integers Output: The sum of all integers in lst For example: >>> sumlist([1,3,2,5]) 11 """ while len(lst) > 1: a = lst.pop() b = lst.pop() lst.append(a+b) return lst[0]