#include<stdio.h>

int main() {
  FILE* iptr;
  char c;
  int n1, n2;

  iptr = fopen("access.dat","r");

  while((c = getc(iptr)) != EOF) {
    switch(c) {
    case '+': 
      fscanf(iptr,"%d %d",&n1,&n2);
      printf("process %d arrives, size %d\n",n1,n2);
      break;
    case 'r':
      fscanf(iptr,"%d %d",&n1,&n2);
      printf("process %d reads page %d\n",n1,n2);
      break; 
    case 'w':
      fscanf(iptr,"%d %d",&n1,&n2);
      printf("process %d reads page %d\n",n1,n2);
      break; 
    case '-':
      fscanf(iptr,"%d",&n1);
      printf("process %d leaves\n",n1);
      break; 
    }
  }
}