(ASAP)

This function returns True if all the digits of num are even, otherwise it returns False. Identify the loop exit condition, the loop post-condition, and the loop invariant at the end of the loop, which shows the algorithm's correctness. def all_even (num): res = True while num > 0: res - res and num$1082 - 0 num //= 10 return res