Consider Program P8.3 in Example 8.17. Consider three mutants of 8.17 obtained as follows: M1: At line 4, replace index w by atWeight ≥ w. M3: At line 5, replace atWeight > w by atWeight > abs(w)....

Consider Program P8.3 in Example 8.17. Consider three mutants of 8.17 obtained as follows: M1: At line 4, replace index <><> w by atWeight ≥ w. M3: At line 5, replace atWeight > w by atWeight > abs(w). For each of the three mutants, derive a test case that distinguishes it from the parent or prove that it is an equivalent mutant.