code 34301;
    procedure DECSOL(A, N, AUX, B); value N; integer N;
    array A, AUX, B;
    begin integer array P[1:N];
        DEC(A, N, AUX, P);
        if AUX[3] = N then SOL(A, N, P, B)
    end DECSOL;
        eop