Part 2: Written Assignment (10 points) For the written portion of the assignment, you will determine the two loop invariants for the outer for loop of Selection Sort (pseudocode provided below) and prove their correctness using the initialization, maintenance, and termination structure described in class. selectionSort (arr) for startofunsorted in 0 to arr.length // Find index of smallest member of unsorted region. smallestinUnsorted =max value indexofsmallest =1 for i in startofunsorted to arr.length int current =arr[i] if arr[i]