This is in python language but do identify the loop invariant

For the following function, identify the loop invariant. The function is supposed to take as input a non- empty list Ist, and an integer target. def jump search (Ist, target) : Ist += [Ist[0]] i = 1 while i 0 : i = -i else : i = -i+1 return FalseFor the following function, identify the loop invariant. The function is supposed to take as input a list of integers Ist. def average (Ist) : res = last = 0 for i in range (len (Ist) ) : last = last + 1st[i] res += [last/ (i+1) ] return res