{{REWRITTEN_CODE}}
#include <stdio.h>

// C program for Banker's Algorithm (Safety & Resource Request Loop)
// Optimized for minimal code size (e.g., for writing on paper)

int main() {
    int p, r, i, j, k, pid, req_pid = -1; // req_pid: -1=initial/between reqs, >=0 processing req
    printf("P R:"); scanf("%d%d", &p, &r); // Input num processes and resources
    int av[r], max[p][r], al[p][r], nd[p][r], req[r]; // av=avail, al=alloc, nd=need
    int w[r], fin[p], seq[p]; // w=work, fin=finish, seq=safe sequence

    // Input available, max, allocation matrices
    printf("Av:"); for(j=0; j<r; j++) scanf("%d", &av[j]);
    printf("Max:\n"); for(i=0; i<p; i++) for(j=0; j<r; j++) scanf("%d", &max[i][j]);
    printf("Alloc:\n"); for(i=0; i<p; i++) for(j=0; j<r; j++) scanf("%d", &al[i][j]);

    // Calculate need matrix: need = max - alloc
    for(i=0; i<p; i++) for(j=0; j<r; j++) nd[i][j] = max[i][j] - al[i][j];

S:; // Safety Check Algorithm Label
    int s_idx = 0, c = 0, safe = 0; // s_idx=seq index, c=count finished, safe=flag
    for(j=0; j<r; j++) w[j] = av[j]; // work = avail
    for(i=0; i<p; i++) fin[i] = 0; // finish[p] = {false}
    // Find sequence using safety algorithm logic
    while(c < p) { // Loop until all processes are finished or deadlock
        int found = 0; // Flag to check if a process was found in this pass
        for(i=0; i<p; i++) { // Iterate through processes
            if(!fin[i]) { // If process i not finished
                int possible = 1; // Check if need <= work
                for(j=0; j<r; j++) if(nd[i][j] > w[j]) { possible = 0; break; }
                if(possible) { // If need <= work
                    for(k=0; k<r; k++) w[k] += al[i][k]; // work = work + alloc
                    fin[i] = 1; seq[s_idx++] = i; c++; found = 1; // Mark finished, add to seq
                }
            }
        }
        if(!found) break; // If no process found in a full pass, break (unsafe state)
    }
    if(c == p) safe = 1; // If all processes finished, state is safe

    // --- End Safety Check ---

    // --- Post-Safety Check Decision Logic ---
    if (req_pid != -1) { // Phase 3: Result of a specific request check
        if (safe) { // Request granted
             printf("Req OK. Seq:"); for(i=0; i<p; i++) printf(" P%d", seq[i]); puts("");
             // State remains modified (available, alloc, need updated)
        } else { // Request denied
            puts("Req DENIED (unsafe)");
            // Rollback state to before tentative allocation
            pid = req_pid; // Restore pid for rollback
            for(j=0; j<r; j++) { av[j]+=req[j]; al[pid][j]-=req[j]; nd[pid][j]+=req[j]; }
        }
        req_pid = -1; // Reset for next request cycle
        goto R; // Go ask for the next request or exit
    } else { // Phase 1: Result of the initial state check
        if (safe) {
            printf("SAFE. Seq:"); for(i=0; i<p; i++) printf(" P%d", seq[i]); puts("");
            // Initial state is safe, proceed to handle requests
        } else {
            puts("UNSAFE"); // Initial state unsafe, cannot proceed
            goto end;
        }
    }

R:; // Phase 2: Resource Request Loop Label
    printf("PID Req (-1 to exit):"); scanf("%d", &pid);
    if (pid < 0) goto end; // Exit condition
    // Basic check if PID is valid, can add pid >= p check if needed
    if (pid >= p) { puts("Invalid PID."); goto R;}

    printf("Req:"); for(j=0; j<r; j++) scanf("%d", &req[j]); // Get request vector

    // Check 1: Request <= Need
    int check_fail = 0;
    for(j=0; j<r; j++) if(req[j] > nd[pid][j]) { check_fail = 1; break; }
    if (check_fail) { puts("Err:Req>Need"); goto R; } // Ask for next request

    // Check 2: Request <= Available
    check_fail = 0;
    for(j=0; j<r; j++) if(req[j] > av[j]) { check_fail = 1; break; }
    if (check_fail) { puts("Wait:Req>Avail"); goto R; } // Ask for next request

    // Tentatively allocate resources
    for(j=0; j<r; j++) { av[j]-=req[j]; al[pid][j]+=req[j]; nd[pid][j]-=req[j]; }
    req_pid = pid; // Set flag indicating we are checking this specific request
    puts("Checking req safety...");
    goto S; // Re-run safety check on the new tentative state

end: return 0; // End of program
}

/*
```
P R: 5 3
Av: 3 3 2
Max:
7 5 3
3 2 2
9 0 2
2 2 2
4 3 3
Alloc:
0 1 0
2 0 0
3 0 2
2 1 1
0 0 2
```
*/