code 34302; procedure DECINV(A, N, AUX); value N; integer N; array A, AUX; begin integer array P[1:N]; DEC(A, N, AUX, P); if AUX[3] = N then INV(A, N, P) end DECINV eop