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